MathML-논리 기호

다음은 MathML에서 사용할 수있는 논리 기호 목록입니다.

MathML 기호	HTML 엔티티	16 진수 코드	기술
¬	&아니;	& # x00ac;	부정을 지정하려면
∧	&과;	& # x2227;	논리적 결합을 지정하려면
∨	&또는;	& # x2228;	논리적 분리를 지정하려면
⊻	& veebar;	& # x22bb;	배타적 분리를 지정하려면
∀	&모든;	& # x2200;	범용 정량화를 지정하려면
∃	&있다;	& # x2203;	실존 적 수량화를 지정하려면
⇒	& rarr;	& # x21d2;	재료 의미를 지정하려면
⇔	& harr;	& # x21d4;	재료 동등성을 지정하려면
◻	& emptysmallsquare;	& # x25fb;	반드시 지정하려면
◊	& loz;	& # x25ca;	가능하게 지정하려면
⊢	& vdash;	& # x22a2;	증명 가능을 지정하려면
⊨	& vdash;	& # x22a8;	지정하려면
∴	& there4;	& # x2234;	따라서 지정하려면