論理記号の一覧
集合論において補集合を表す。例えば、全体集合が了解されている集合 A について、その補集合は ∁ A {\displaystyle \complement A} と表される。
角引用符 (corner quotes) は「クワインの引用符」または「疑似引用符」(quasi-quotation) と呼ばれ、ゲーデル数を意味する。例えば論理式 φ について「⌜φ⌝」は、ゲーデル数化された φ を意味する。