MathML-論理記号

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

MathMLシンボル	HTMLエンティティ	16進コード	説明
¬	＆not;	＆＃x00ac;	否定を指定するには
∧	＆そして;	＆＃x2227;	論理積を指定するには
∨	＆または;	＆＃x2228;	論理和を指定するには
⊻	＆veebar;	＆＃x22bb;	排他的論理和を指定するには
∀	＆すべてのために;	＆＃x2200;	全称記号を指定するには
∃	＆exist;	＆＃x2203;	存在記号を指定するには
⇒	＆rarr;	＆＃x21d2;	重要な意味を指定するには
⇔	＆harr;	＆＃x21d4;	材料の同等性を指定するには
◻	＆emptysmallsquare;	＆＃x25fb;	必ず指定する
◊	＆loz;	＆＃x25ca;	可能性を指定するには
⊢	＆vdash;	＆＃x22a2;	証明可能なものを指定するには
⊨	＆vdash;	＆＃x22a8;	を指定するには
∴	＆there4;	＆＃x2234;	したがって、指定するには