數學符號

例如加號曾經有好幾種，現代數學通用“+”號。“+”號是由拉文“et”（“和”的意思）演變而來的。十六世紀，義大利科學家塔塔里亞用義大利文“plu”（“加”的意思）的第一個字母表示加，草為“μ”最後都變成了“+”號。“-”號是從拉丁文“minus”（“減”的意思）演變來的，一開始簡寫為m，再因快速書寫而簡化為“-”了。

也有人說，賣酒的商人用“-”表示酒桶里的酒賣了多少。以後，當把新酒灌入大桶的時候，就在“-”上加一豎，意思是把原線條勾銷，這樣就成了個“+”號。

到了十五世紀，德國數學家魏德美正式確定：“+”用作加號，“-”用作減號。

乘號曾經用過十幾種，現代數學通用兩種。一個是“×”，最早是英國數學家奧屈特1631年提出的；一個是“·”，最早是英國數學家赫銳奧特首創的。德國數學家萊布尼茨認為：“×”號像拉丁字母“X”，可能引起混淆而加以反對，並贊成用“·”號（事實上點乘在某些情況下亦易與小數點相混淆）。後來他還提出用“∩“表示相乘。這個符號在現代已應用到集合論中了。

到了十八世紀，美國數學家歐德萊確定，把“×”作為乘號。他認為“×”是“+”的旋轉變形，是另一種表示增加的符號。

“÷”最初作為減號，在歐洲大陸長期流行。直到1631年英國數學家奧屈特用“：”表示除或比，另外有人用“－”（除線）表示除。後來瑞士數學家拉哈在他所著的《代數學》里，才根據群眾創造，正式將“÷”作為除號。

平方根號曾經用拉丁文“Radix”（根）的首尾兩個字母合併起來表示，十七世紀初葉，法國數學家笛卡兒在他的《幾何學》中，第一次用“”表示根號。“”是由拉丁字線“r”的變形，“￣”是括線。

十六世紀法國數學家維葉特用“=”表示兩個量的差別。可是英國牛津大學數學、修辭學教授列考爾德覺得：用兩條平行而又相等的直線來表示兩數相等是最合適不過的了，於是等於符號“=”就從1540年開始使用起來。

1591年，法國數學家韋達在菱形中大量使用這個符號，才逐漸為人們接受。十七世紀德國萊布尼茨廣泛使用了“=”號，他還在幾何學中用“∽”表示相似，用“≌”表示全等。

大於號“>”和小於號“<”，是1631年英國著名代數學家赫銳奧特創用。至於“≥”、“≤”、“≠”這三個符號的出現，是很晚很晚的事了。大括弧“{}”和中括弧“[]”是代數創始人之一魏治德創造的。

任意號（全稱量詞）∀來源於英語中的Arbitrary一詞，因為小寫和大寫均容易造成混淆，故將其單詞首字母大寫后倒置。同樣，存在號（存在量詞）∃來源於Exist一詞中E的反寫。

數量符號

如圓周率()，自然率()，斐波那契黃金分割數()，虛數()和畢達哥拉斯常數()等等

運算符號

如加號（+），減號（－），乘號（×或·），除號（÷或/），兩個集合的並集（∪），交集（∩），根號（），對數（log，lg，ln，lb，lim），比（:），絕對值符號||，微分（d），積分（∫），閉合曲面（曲線）積分（∮）等。

關係符號

如“=”是等號，“≈”是近似符號（即約等於），“≠”是不等號，“>”是大於符號，“<”是小於符號，“≥”是大於或等於符號（也可寫作“≮”，即不小於），“≤”是小於或等於符號（也可寫作“≯”，即不大於），“→”表示變數變化的趨勢，“∽”是相似符號，“≌”是全等號，“∥”是平行符號，“⊥”是垂直符號，“∝”是正比例符號（表示反比例時可以利用倒數關係），“∈”是屬於符號，“⊆”是包含於符號，“⊇”是包含符號，“|”表示“能整除”（例如表示“a能整除b”，而||b表示r是a恰能整除b的最大冪次)，x,y等任何字母都可以代表未知數。

結合符號

如小括弧“()”，中括弧“[]”，大括弧“{}”，橫線“—”，比如。

性質符號

如正號“+”，負號“-”，正負號“±”（以及與之對應使用的負正號“∓”）

省略符號

如三角形（△），直角三角形（Rt△），正弦（sin）（見三角函數），

雙曲正弦函數（sinh），x的函數（f(x)），極限（lim），角（∠），

∵因為

∴所以

總和，連加：∑，求積，連乘：∏，從n個元素中取出r個元素所有不同的組合數（n元素的總個數；r參與選擇的元素個數），冪等。

排列組合符號

C組合數

A(或P)排列數

n元素的總個數

r參與選擇的元素個數

階乘

半階乘，雙階乘

∑連加

∏連乘

離散數學符號

全稱量詞、全稱命題

存在量詞、特稱命題

├斷定符（公式在L中可證）

╞滿足符（公式在E上有效，公式在E上可滿足）

命題的“非”運算，如命題的否定為﹁p

∧命題的“合取”（“與”）運算、等於集合

∨命題的“析取”（“或”，“可兼或”）運算

命題的“條件”運算

命題的“雙條件”運算的

命題p與q的等價關係

命題p與q的蘊涵關係（p是q的充分條件，q是p的必要條件）

A*公式A的對偶公式，或表示A的數論倒數（此時亦可寫為）

wff合式公式

iff當且僅當

命題的“與非”運算（“與非門”）

命題的“或非”運算（“或非門”）

□模態詞“必然”

◇模態詞“可能”

空集

∋屬於（如"A∈B"，即“A屬於B”）

∌不屬於

P(A)集合A的冪集

|A|集合A的點數

關係R的“複合”

整個數學裡面的數字之和

⊇包含

⊃（或⫋）真包含

另外，還有相應的⊄,⊈,⊉等

集合的並運算、全集

表示P的領域

集合的交運算

-或\集合的差運算

⊕集合的對稱差運算

限制[xₛ]集合關於關係s的等價類

集合A上關於R的商集

[a]元素a產生的循環群

I環，理想

模n的同餘類集合

r(R)關係R的自反閉包

s(R)關係R的對稱閉包

CP命題演繹的定理（CP規則）

EG存在推廣規則（存在量詞引入規則）

ES存在量詞特指規則（存在量詞消去規則）

UG全稱推廣規則（全稱量詞引入規則）

US全稱特指規則（全稱量詞消去規則）

R關係

r相容關係

關係與關係的複合

函數的定義域（前域）

函數的值域

f是x到y的函數

x與y的最大公約數，有時為避免混淆，使用

x與y的最小公倍數，有時為避免混淆，使用

H關於a的左（右）陪集

同態映射f的核（或稱f同態核）

1到n的整數集合

,,或AB點A與點B間的距離

點V的度數

點集為V，邊集為E的圖G

圖G的連通分支數

圖G的點連通度

圖G的最大點度

圖G的鄰接矩陣

圖G的可達矩陣

圖G的關聯矩陣

C複數集

I虛數集

N自然數集，非負整數集（包含元素"0"）

N*（N+）正自然數集，正整數集（其中*表示從集合中去掉元素“0”，如R*表示非零實數）

P素數（質數）集

Q、Q+、Q-有理數集

R實數集

Z整數集

Set集範疇

Top拓撲空間範疇

Ab交換群範疇

Grp群範疇

Mon單元半群範疇

Ring有單位元的（結合）環範疇

Rng環範疇

CRng交換環範疇

R-mod環R的左模範疇

mod-R環R的右模範疇

Field域範疇

Poset偏序集範疇

希臘字母簡表

CRng交換環範疇

R-mod環R的左模範疇

Field域範疇

Poset偏序集範疇

在MicrosoftWord中可以插入一般應用條件下的所有數學符號，以Word2010及2010版以上軟體為例介紹操作方法：第1步，打開Word2010文檔窗口，單擊需要添加數學符號的公式，並將插入條游標定位到目標位置。第2步，在“公式工具/設計”功能區的“符號”分組中，單擊“其他”按鈕打開符號面板。默認顯示的“基礎數學”符號面板。用戶可以在“基礎數學”符號面板中找到最常用的數學符號。同樣地，Alt+41420（即壓下Alt不放，依次按41420（小鍵盤），最後放開Alt就可以打出√。

符號(Symbol)意義(Meaning)

等於isequalto

不等於isnotequalto

約等於approximatelyequalto

小於islessthan

大於isgreaterthan

平行isparallelto

平行且相等

垂直

大於或等於isgreaterthanorequalto

小於或等於islessthanorequalto

恆等於、同餘或全等於

圓周率約為3.1415926536Ratioofcircumferencetodiameter;Pi

自然常數約為2.7182818285Naturalconstant

絕對值或（複數的）模absolutevalueofX

∽相似issimilarto

≌全等isequalto(especiallyforgeometricfigure)

遠大於

遠小於

並集

交集

、⊇空子集

、∋集合

∉、∌不集合

⊂、⊃屬於

⊄、⊅不屬於

∅空集

∀全部

∆三角形

∇倒三角形

‰千分之……

%百分之……

∂微

∵因為

∴所以

∶比例

∷因為所以……

≮不小於

≯不大於

⊕加

⊗乘

⊙圓

除，求商值，部分編程語言中理解為整除

ψ，θ，ω角度

α，β，γ，φ係數

∞無窮大（包括正無窮大與負無窮大）

以e為底的對數（自然對數）

以10為底的對數（常用對數）

以2為底的對數

求極限

或[x],亦可寫為下取整函數（直譯為“地板函數”），又稱高斯函數

亦可寫為上取整函數（直譯為“天花板函數”）

模，求餘數

或{x}表示x的小數部分

，函數的微分（或線性主部）

不定積分，函數f的全體原函數

平面二維紊流模型不同壁函數的對比及研究

函數f(x)在區間(a,n)上的定積分

表示a從m到n逐一遞增對，連加求和（sigma:∑）

表示a從n到x逐一遞增對，連乘求積（pi:Π）