- 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 中可用的逻辑符号列表。
| MathML 符号 | HTML 实体 | 十六进制代码 | 描述 |
|---|---|---|---|
| ¬ | ¬ | ¬ | 指定否定 |
| ∧ | ∧ | ∧ | 指定逻辑合取 |
| ∨ | ∨ | ∨ | 指定逻辑析取 |
| ⊻ | ⊻ | ⊻ | 指定异或 |
| ∀ | ∀ | ∀ | 指定全称量词 |
| ∃ | ∃ | ∃ | 指定存在量词 |
| ⇒ | → | ⇒ | 指定实质蕴涵 |
| ⇔ | ↔ | ⇔ | 指定实质等价 |
| ◻ | &emptysmallsquare; | ◻ | 指定必然性 |
| ◊ | ◊ | ◊ | 指定可能性 |
| ⊢ | ⊢ | ⊢ | 指定可证性 |
| ⊨ | ⊢ | ⊨ | 指定蕴含 |
| ∴ | ∴ | ∴ | 指定因此 |
广告