- MathML 教程
- MathML - 主页
- MathML - 概述
- MathML - 所有元素
- MathML - 基本元素
- MathML - 进位
- MathML - 封闭
- MathML - 击剑
- MathML - 分数
- MathML - 长除法
- MathML - 矩阵
- MathML - 乘法
- MathML - 上标
- MathML - 填充
- MathML - 幻影
- MathML - 根式
- MathML - 重复小数
- MathML - 风格
- MathML - 下标
- MathML - 下标-上标
- MathML - 上标
- MathML - 下标
- MathML - 下标-上标
- MathML 符号
- MathML - 代数符号
- MathML - 微积分符号
- MathML - 省略号
- MathML - 函数符号
- MathML - 几何符号
- MathML - 希腊字母
- MathML - 隐形运算符
- MathML - 逻辑符号
- MathML - 设置符号
- MathML 有用资源
- MathML - 快速指南
- MathML - 有用的资源
- MathML - 讨论
MathML - 逻辑符号
以下是 MathML 中可用的逻辑符号列表。
| 数学符号 | HTML实体 | 十六进制代码 | 描述 |
|---|---|---|---|
| Ø | ＆不是; | ¬ | 指定否定 |
| ∧ | ＆和; | ∧ | 指定逻辑连接 |
| ∨ | ＆或者; | ∨ | 指定逻辑或 |
| ⊻ | ⚡️ | ⊻ | 指定互斥析取 |
| ∀ | ＆对全部; | ∀ | 指定通用量化 |
| ∃ | ＆存在; | ∃ | 指定存在量化 |
| ⇒ | ➡️ | ⇒ | 明确重大影响 |
| ⇔ | …… | ⇔ | 指定材料等效性 |
| ◻ | &emptysmallsquare; | ◻ | 必须指定 |
| ◊ | ◊ | ◊ | 指定可能 |
| ⊢ | Ⅴ | ⊢ | 指定可证明的 |
| ⊨ | Ⅴ | ⊨ | 指定需要 |
| ∴ | &还有4; | ∴ | 因此要指定 |