Symbol	Entity	Hex	Description
¬	¬	¬	用于指定否定
∧	∧	∧	用于指定逻辑合取
∨	∨	∨	用于指定逻辑析取
⊻	⊻	⊻	用于指定互斥析取
∀	∀	∀	用于指定通用量化
∃	∃	∃	用于指定存在量化
⇒	→	⇒	用于指定实质含义
⇔	↔	⇔	用于指定材料等效性
◻	&emptysmallsquare;	◻	用于指定必要
◊	◊	◊	它用于指定可能
⊢	⊢	⊢	用于指定可证明的
⊨	⊢	⊨	它用于指定包含
∴	∴	∴	因此用于指定