MathML - 邏輯符號



以下是 MathML 中可用的邏輯符號列表。

MathML 符號 HTML 實體 十六進位制程式碼 描述
¬ ¬ ¬ 指定否定
∧ ∧ 指定邏輯合取
∨ ∨ 指定邏輯析取
⊻ ⊻ 指定異或
∀ ∀ 指定全稱量詞
∃ ∃ 指定存在量詞
→ ⇒ 指定實質蘊涵
↔ ⇔ 指定實質等價
&emptysmallsquare; ◻ 指定必然性
◊ ◊ 指定可能性
⊢ ⊢ 指定可證性
⊢ ⊨ 指定蘊含
∴ ∴ 指定因此
廣告