MathML-論理記号

以下はMathMLで利用可能な論理記号のリストです。

MathMLシンボル HTMLエンティティ 16進コード 説明
¬ ¬ ¬ 否定を指定するには
&そして; ∧ 論理積を指定するには
&または; ∨ 論理和を指定するには
⊻ ⊻ 排他的論理和を指定するには
&すべてのために; ∀ 全称記号を指定するには
∃ ∃ 存在記号を指定するには
→ ⇒ 重要な意味を指定するには
↔ ⇔ 材料の同等性を指定するには
&emptysmallsquare; ◻ 必ず指定する
◊ ◊ 可能性を指定するには
⊢ ⊢ 証明可能なものを指定するには
⊢ ⊨ を指定するには
∴ ∴ したがって、指定するには