MathML - логические символы

Ниже приводится список логических символов, доступных в MathML.

Символ MathML	HTML-объект	Шестнадцатеричный код	Описание
¬	&не;	& # x00ac;	Чтобы указать отрицание
∧	&и;	& # x2227;	Чтобы указать логическое соединение
∨	&или же;	& # x2228;	Чтобы указать логическую дизъюнкцию
⊻	& veebar;	& # x22bb;	Чтобы указать исключительную дизъюнкцию
∀	&для всех;	& # x2200;	Чтобы указать универсальную количественную оценку
∃	&существовать;	& # x2203;	Чтобы указать экзистенциальную количественную оценку
⇒	& rarr;	& # x21d2;	Чтобы указать материальное значение
⇔	& harr;	& # x21d4;	Чтобы указать эквивалентность материалов
◻	& emptysmallsquare;	& # x25fb;	Уточнять обязательно
◊	& loz;	& # x25ca;	Указать возможно
⊢	& vdash;	& # x22a2;	Чтобы указать доказуемое
⊨	& vdash;	& # x22a8;	Уточнить влечет
∴	& там4;	& # x2234;	Указать поэтому