論理記号の一覧
アドホックな演算子について用いられる。