MathML - Mantık Sembolleri

Aşağıda MathML'de bulunan mantık sembollerinin bir listesi bulunmaktadır.

MathML Sembolü	HTML Varlığı	Hex Kodu	Açıklama
¬	&değil;	& # x00ac;	Olumsuzluk belirtmek için
∧	&ve;	& # x2227;	Mantıksal birleşimi belirtmek için
∨	&veya;	& # x2228;	Mantıksal ayrılmayı belirtmek için
⊻	& veebar;	& # x22bb;	Dışlayıcı ayrılmayı belirtmek için
∀	&hepsi için;	& # x2200;	Evrensel kantifikasyonu belirtmek için
∃	&var olmak;	& # x2203;	Varoluşsal nicelendirmeyi belirtmek için
⇒	& rarr;	& # x21d2;	Malzeme çıkarımını belirtmek için
⇔	& harr;	& # x21d4;	Malzeme eşdeğerliğini belirtmek için
◻	& emptysmallsquare;	& # x25fb;	Zorunlu olarak belirtmek için
◊	& loz;	& # x25ca;	Muhtemelen belirtmek için
⊢	& vdash;	& # x22a2;	Kanıtlanabilir belirtmek için
⊨	& vdash;	& # x22a8;	Gerektirir belirtmek için
∴	& there4;	& # x2234;	Bu nedenle belirtmek için