MathML - สัญลักษณ์ลอจิก

ต่อไปนี้เป็นรายการสัญลักษณ์ลอจิกที่มีอยู่ใน MathML

สัญลักษณ์ MathML	เอนทิตี HTML	รหัส Hex	คำอธิบาย
¬	&ไม่;	& # x00ac;	เพื่อระบุการปฏิเสธ
∧	&และ;	& # x2227;	เพื่อระบุการรวมตรรกะ
∨	&หรือ;	& # x2228;	เพื่อระบุการแยกทางตรรกะ
⊻	& veebar;	& # x22bb;	เพื่อระบุการแยกเฉพาะ
∀	&เพื่อทุกสิ่ง;	& # x2200;	เพื่อระบุปริมาณสากล
∃	& อยู่;	& # x2203;	เพื่อระบุปริมาณที่มีอยู่จริง
⇒	& rarr;	& # x21d2;	เพื่อระบุความหมายของวัสดุ
⇔	& harr;	& # x21d4;	เพื่อระบุความเท่าเทียมกันของวัสดุ
◻	& emptysmallsquare;	& # x25fb;	เพื่อระบุว่าจำเป็น
◊	& loz;	& # x25ca;	เพื่อระบุว่าเป็นไปได้
⊢	& vdash;	& # x22a2;	เพื่อระบุว่าพิสูจน์ได้
⊨	& vdash;	& # x22a8;	เพื่อระบุรายการ
∴	& there4;	& # x2234;	เพื่อระบุดังนั้น