MathML - symbole logiczne

Poniżej znajduje się lista symboli logicznych dostępnych w języku MathML.

Symbol MathML	Jednostka HTML	Kod szesnastkowy	Opis
¬	&nie;	& # x00ac;	Określenie negacji
∧	&i;	& # x2227;	Aby określić spójność logiczną
∨	&lub;	& # x2228;	Aby określić logiczne rozłączenie
⊻	& veebar;	& # x22bb;	Aby określić wyłączną rozłączność
∀	&dla wszystkich;	& # x2200;	Określenie uniwersalnej kwantyfikacji
∃	&istnieć;	& # x2203;	Określenie kwantyfikacji egzystencjalnej
⇒	& rarr;	& # x21d2;	Określenie istotnego znaczenia
⇔	& harr;	& # x21d4;	Określenie równoważności materiałowej
◻	& emptysmallsquare;	& # x25fb;	Aby określić koniecznie
◊	& loz;	& # x25ca;	Aby określić ewentualnie
⊢	& vdash;	& # x22a2;	Aby określić możliwe do udowodnienia
⊨	& vdash;	& # x22a8;	Określenie implikacji
∴	& tam4;	& # x2234;	Aby zatem określić