MathML - Biểu tượng logic

Sau đây là danh sách các ký hiệu logic có sẵn trong MathML.

Biểu tượng MathML	Thực thể HTML	Mã Hex	Sự miêu tả
¬	&không phải;	& # x00ac;	Để chỉ định phủ định
∧	& và;	& # x2227;	Để chỉ định kết hợp logic
∨	&hoặc là;	& # x2228;	Để chỉ định sự tách rời hợp lý
⊻	& veebar;	& # x22bb;	Để chỉ định sự tách rời độc quyền
∀	&cho tất cả;	& # x2200;	Để xác định định lượng phổ quát
∃	&hiện hữu;	& # x2203;	Để chỉ định định lượng tồn tại
⇒	& rarr;	& # x21d2;	Để xác định hàm ý vật chất
⇔	& harr;	& # x21d4;	Để xác định tương đương vật liệu
◻	& blanksmallsquare;	& # x25fb;	Để chỉ định nhất thiết
◊	& loz;	& # x25ca;	Để chỉ định có thể
⊢	& vdash;	& # x22a2;	Để chỉ định có thể chứng minh
⊨	& vdash;	& # x22a8;	Để chỉ định yêu cầu
∴	& ở đó4;	& # x2234;	Để chỉ định do đó