MathML - 逻辑符号

以下是MathML中可用的逻辑符号列表.

MathML符号HTML实体Hex代码描述
¬¬¬指定否定
∧∧∧指定逻辑连接
∨∨∨指定逻辑分离
⊻⊻⊻指定独占分离
∀∀∀指定通用量化
∃&exists;∃指定存在量化
⇒→&# x21d2;指定物质含义
⇔↔⇔指定材料等价
◻&emptysmallsquare;◻要指定
◊◊◊指定可能
⊢⊢⊢指定可证明的
⊨⊢⊨指定需要
∴∴∴因此指定