關系符號:例如，“=”是等號，“≈”是近似符號(即近似等於)，“≦”是不等號，“>”是大於號，”
“≥”是大於或等於的符號(也可寫成“∨”，即不小於)，“≤”是小於或等於的符號(也可寫成“∨”，即不大於)。
“→”表示變量的變化趨勢，“∽”是相似符號，“≑”是完全等號，“∨”是平行符號，“⊥”是垂直符號，“∝”是正比例符號(可以用倒數關系表示反比例)，而“∈”屬於。包含在符號中。
"?"它是壹個包含性符號，“|”表示“可除”(例如a|b表示“A可被B整除”，而||b表示R是A可被B整除的最大冪)，X、Y等任何字母都可以表示壹個未知數。
組合符號:比如方括號()、中括號[]、大括號{}和橫線。
屬性符號:如加號、減號、加號(以及對應的減號)。
省略符號:三角形(△)、直角三角形(Rt△)、正弦(見三角函數)、雙曲正弦函數(sinh)、x的函數(f(x))、極限(lim)、角度(∞)、∵因為∴所以。
和、加:∑、求積、乘:∏、從N個元素中取出R個元素的所有不同組合(N個元素的總數；r參與選擇的元素的數量)，冪等。
排列組合符號:C個組合的個數，A(或P)個排列的個數，N個元素的總數，R，！階乘，比如5！=5×4×3×2×1=120，指定0！=1、!！半階乘(也稱為雙階乘)。
比如:7！！=7×5×3×1=105,10!！=10×8×6×4×2=3840。
離散數學符號:？全稱重，？存在量詞、├行列式(公式可在l中證明)、╞滿足子(公式在e中有效，公式可在e中滿足)、𗍱非運算命題。
比如命題的否定是﹁p，命題的合取，命題的析取，命題的條件運算。
命題的“雙重條件”運算，P
Wff公式:當且僅當，命題的NAND運算，命題的NOR運算，語氣詞的必要性，語氣詞的可能性，以及？空集，∈屬於(如“A∈B”，即“A屬於B”)，？不屬於P(A)集A的冪集。
|A|集合A中的點數，r？=R○R[R，=R，○R]關系R的“復合”？阿萊夫，阿萊夫？包括，？(或者？)真的包含了，除此之外，還有相應的？,?,?等等。
∪集合的並運算:U(P)表示p的定義域、∩集合的交運算、-or \集合的差分運算、⊕集合的對稱差分運算、〡限制、集合關於關系r的等價類
關於A/R集A上R的商集，由[a]的元素A生成的循環群，I環，理想，Z/(n)模n的同余類集，r(R)關系R的自反閉包。
s(R)的關系R的對稱閉包、CP命題的演繹定理(CP規則)、EG存在泛化規則(存在量詞引入規則)、ES存在量詞特定指稱規則(存在量詞消去規則)、UG泛引申規則(泛量詞引入規則)和US泛指稱規則(泛量詞消去規則)。
擴展數據:
更多數學表達式:
∞無窮大，ππ，|x|絕對值，∪並集，∩交集，≥大於等於，≤小於等於，≡常數等於或同余，ln(x)基於e的對數，lg(x)基於10的對數，floor(x)
余數的Xmody，x-floor(x)的小數部分，∫f(x)dx的不定積分，∫[a:b]f(x)dxa logba的定積分，f(x)函數值在自變量x處，sin(x)的正弦函數值在自變量x處，exp(x)。
cosx余弦函數在自變量X，tanx處的值等於sinx/cosx，cotx余切函數的值或cosx/sinx，secx割線內容的值，其值等於1/cosx，cscx余切函數的值，其值等於1/sinx，asinxy正弦函數在X處的反函數的值，即X =
acoxy余弦函數在x處的反函數的值，即x=cosy，atanxy正切函數在x處的反函數，即x=tany，acoxy余切函數在x處的反函數，即x=coty，asecxy x=secy余切函數在x處的反函數，即x=cscy。