MathML 逻辑符号

2024年8月29日 | 1 分钟阅读
符号实体十六进制描述
¬¬¬用于指定否定
∧∧用于指定逻辑合取
∨∨用于指定逻辑析取
⊻⊻用于指定异或
∀∀用于指定全称量化
∃∃用于指定存在量化
→⇒用于指定实质蕴涵
↔⇔用于指定实质等价
&emptysmallsquare;◻用于指定必然
◊◊用于指定可能
⊢⊢用于指定可证明
⊢⊨用于指定蕴含
∴∴用于指定因此