結果 : universal quantifier character code