MathML逻辑符号

Symbol Entity Hex Description
? & not; & #x00ac; 用于指定否定
& and; & #x2227; 用于指定逻辑合取
& or; & #x2228; 用于指定逻辑析取
? & veebar; & #x22bb; 用于指定互斥析取
? & forall; & #x2200; 用于指定通用量化
? & exist; & #x2203; 用于指定存在量化
? & rarr; & #x21d2; 用于指定实质含义
? & harr; & #x21d4; 用于指定材料等效性
? & emptysmallsquare; & #x25fb; 用于指定必要
? & loz; & #x25ca; 它用于指定可能
? & vdash; & #x22a2; 用于指定可证明的
? & vdash; & #x22a8; 它用于指定包含
& there4; & #x2234; 因此用于指定

    推荐阅读