數學-邏輯符號
關系符號
符號(Symbol) 意義(Meaning)
= 等于 is equal to
≠ 不等于 is not equal to
≈ 大約等于≒
≡ 恒等于或同余
∽ 相似 is similar to
≌ 全等 is equal to(especially for triangle )
> 大于 is greater than
< 小于 is less than
≥ 大于等于（或作≯）is greater than or equal to
≤ 小于等于（或寫作≮）is less than or equal to
>> 遠遠大于號
<< 遠遠小于號
∈ 屬于
∉ 不屬于
⊆ 真包含于
⊇ 真包含
⊂ 包含于
⊃ 包含
∪ 并集
∩ 交集
|| 平行 is parallel to ∥
⊥ 垂直
├ 斷定符（公式在L中可證）
╞ 滿足符（公式在E上有效，公式在E上可滿足）
┐ 命題的“非”運算
∧ 命題的“合取”（“與”）運算
∨ 命題的“析取”（“或”，“可兼或”）運算
→ 命題的“條件”運算
↔ 命題的“雙條件”運算的
A<=>B 命題A 與B 等價關系
A=>B 命題 A與 B的蘊涵關系
A* 公式A 的對偶公式
wff 合式公式
iff 當且僅當
↑ 命題的“與非” 運算（“與非門” ）
↓ 命題的“或非”運算（ “或非門” ）
□ 模態詞“必然”
◇ 模態詞“可能”
R 關系
r 相容關系
運算符號
＋ 加號
－ 減號
× 乘號（或·）
÷ 除號（或／，含分數）
： 比
∩ 交集
П 連乘（集合論中的相乘）
Σ 連加
√ 根號
log 對數（或lg，ln）
dx 微分
∫ 積分
∮ 曲線積分
性質符號
＋ 正號
－ 負號
± 正負號
| | 絕對值（|x| 絕對值 absolute value of X）
結合符號
（） 小括號
［］ 中括號
｛｝ 大括號
省略符號
△ 三角形
Rt△ 直角三角形
∠ 角
⊙ 圓
º 度
|| 平行 is parallel to ∥
⊥ 垂直
Sin 正弦
Cos 余弦
lim 極限
∵ 因為
∴ 所以
∑ 總和
∏ 連乘
C(r)(n)從n個元素中每次取出r個元素所有不同的組合數
冪（A，Ac，Aq，x^n）等。
排列組合符號
C 組合數Combination
A 排列數Arrangement
N 元素的總個數
R 參與選擇的元素個數
! 階乘，如5！=5×4×3×2×1=120
其他符號
∀ 全稱量詞
∃ 存在量詞
φ 空集
∞ 無窮大
π 圓周率
C 復數集
N 自然數集（包含0在內）
N* 正自然數集
P 素數集
Q 有理數集
R 實數集
Z 整數集
