รายการสัญลักษณ์ทางคณิตศาสตร์
สัญลักษณ์พื้นฐาน

| สัญลักษณ์> สัญลักษณ์.สัญลักษณ์ | ชื่อ> คำอ่าน.หมวดหมู่ | คำอธิบาย> คำอธิบาย.คำอธิบาย | ตัวอย่าง> ตัวอย่าง.ตัวอย่าง |
| --- | --- | --- | --- |
|  + | บวก | 4+6 หมายความว่า 4 บวก/และ 6 | 2+7=9 |
|  + | บวก | 4+6 หมายความว่า 4 บวก/และ 6 | 2+7=9 |
|  + | เลขคณิต | 4+6 หมายความว่า 4 บวก/และ 6 | 2+7=9 |
|  + | Disjoint Union (ยูเนี่ยนที่ไม่มีอินเตอร์เซคชัน) |  A_{1}+A_{2}+A_{3} ผลรวมของ   A_{1} และ  A_{2} และ A_{3} |  A_{1}={\{3,4,5,6}\}  \land   A_{2}={\{7,8,9,0}\}  A_{1}+A_{2}={\{(3,1),(4,1),(5,1),(6,1),(7,2),(8,2),(9,2),(10,2)}\} |
|  + | ผลรวมของ...และ... |  A_{1}+A_{2}+A_{3} ผลรวมของ   A_{1} และ  A_{2} และ A_{3} |  A_{1}={\{3,4,5,6}\}  \land   A_{2}={\{7,8,9,0}\}  A_{1}+A_{2}={\{(3,1),(4,1),(5,1),(6,1),(7,2),(8,2),(9,2),(10,2)}\} |
|  + | เซต |  A_{1}+A_{2}+A_{3} ผลรวมของ   A_{1} และ  A_{2} และ A_{3} |  A_{1}={\{3,4,5,6}\}  \land   A_{2}={\{7,8,9,0}\}  A_{1}+A_{2}={\{(3,1),(4,1),(5,1),(6,1),(7,2),(8,2),(9,2),(10,2)}\} |
|  - | ลบ |  36-11 หมายความว่า เอา  11 ออกจาก  36 | 36 − 11 = 25 |
|  - | หักออก, ลบ, เอาออก |  36-11 หมายความว่า เอา  11 ออกจาก  36 | 36 − 11 = 25 |
|  - | เลขคณิต |  36-11 หมายความว่า เอา  11 ออกจาก  36 | 36 − 11 = 25 |
|  - | เครื่องหมายลบ | -3 หมายความว่า ตัวผกผันการบวก ของ 3 | -(-5)=5 |
|  - | ลบ..., ตรงกันข้ามกับ | -3 หมายความว่า ตัวผกผันการบวก ของ 3 | -(-5)=5 |
|  - | เลขคณิต | -3 หมายความว่า ตัวผกผันการบวก ของ 3 | -(-5)=5 |
|  - | คอมพลี เมนต์ของเซต | A-B หมายความว่า นับเฉพาะส่วนของ A ที่ไม่อินเตอร์- เซคชั่นกับ B (หรือใช้ \ แทนคอมพลีเมนต์) | A={1,2,4}, B={1,3,4} A-B={2} |
|  - | ลบ, โดยที่ไม่มี | A-B หมายความว่า นับเฉพาะส่วนของ A ที่ไม่อินเตอร์- เซคชั่นกับ B (หรือใช้ \ แทนคอมพลีเมนต์) | A={1,2,4}, B={1,3,4} A-B={2} |
|  - | เซต | A-B หมายความว่า นับเฉพาะส่วนของ A ที่ไม่อินเตอร์- เซคชั่นกับ B (หรือใช้ \ แทนคอมพลีเมนต์) | A={1,2,4}, B={1,3,4} A-B={2} |
|  \pm  | บวกลบ |  6\pm 3 หมายความว่า 6+3 และ 6-3 | ผลลัพธ์ของ  x=5\pm {\sqrt {4}} มีอยู่สองคำตอบ คือ  x=7 และ  x=3 |
|  \pm  | บวกหรือลบ |  6\pm 3 หมายความว่า 6+3 และ 6-3 | ผลลัพธ์ของ  x=5\pm {\sqrt {4}} มีอยู่สองคำตอบ คือ  x=7 และ  x=3 |
|  \pm  | เลขคณิต |  6\pm 3 หมายความว่า 6+3 และ 6-3 | ผลลัพธ์ของ  x=5\pm {\sqrt {4}} มีอยู่สองคำตอบ คือ  x=7 และ  x=3 |
|  \pm  | บวกลบ | 10 ± 2 หรือเท่ากับ 10 ± 20% หมายความว่า อยู่ในช่วงจำนวนตั้งแต่ 10 − 2 ถึง 10 + 2 | ถ้า a = 100 ± 1 mm แล้ว a ≥ 99 mm และ a ≤ 101 mm |
|  \pm  | บวกหรือลบ | 10 ± 2 หรือเท่ากับ 10 ± 20% หมายความว่า อยู่ในช่วงจำนวนตั้งแต่ 10 − 2 ถึง 10 + 2 | ถ้า a = 100 ± 1 mm แล้ว a ≥ 99 mm และ a ≤ 101 mm |
|  \pm  | การวัด | 10 ± 2 หรือเท่ากับ 10 ± 20% หมายความว่า อยู่ในช่วงจำนวนตั้งแต่ 10 − 2 ถึง 10 + 2 | ถ้า a = 100 ± 1 mm แล้ว a ≥ 99 mm และ a ≤ 101 mm |
|  \mp  | ลบบวก | 6 ± (3 ∓ 5) หมายความว่า 6 + (3 − 5) และ 6 − (3 + 5) | cos(x ± y) = cos(x) cos(y) ∓ sin(x) sin(y) |
|  \mp  | ลบหรือบวก | 6 ± (3 ∓ 5) หมายความว่า 6 + (3 − 5) และ 6 − (3 + 5) | cos(x ± y) = cos(x) cos(y) ∓ sin(x) sin(y) |
|  \mp  | เลขคณิต | 6 ± (3 ∓ 5) หมายความว่า 6 + (3 − 5) และ 6 − (3 + 5) | cos(x ± y) = cos(x) cos(y) ∓ sin(x) sin(y) |
|  \times   \bullet   \cdot  | คูณ | 3 × 4 หรือ 3 ⋅ 4 หมายความว่า นับ 3 ทั้งหมด 4 ครั้ง | 7 ⋅ 8 = 56 |
|  \times   \bullet   \cdot  | ...ครั้ง, คูณ | 3 × 4 หรือ 3 ⋅ 4 หมายความว่า นับ 3 ทั้งหมด 4 ครั้ง | 7 ⋅ 8 = 56 |
|  \times   \bullet   \cdot  | เลขคณิต | 3 × 4 หรือ 3 ⋅ 4 หมายความว่า นับ 3 ทั้งหมด 4 ครั้ง | 7 ⋅ 8 = 56 |
|  \times   \bullet   \cdot  | ผลคูณเชิงสเกลาร์ (ผลคูณจุด) | u ⋅ v หมายความว่า ผลของเวกเตอร์ u และ v | (1, 2, 5) ⋅ (3, 4, −1) = 6 |
|  \times   \bullet   \cdot  | จุด | u ⋅ v หมายความว่า ผลของเวกเตอร์ u และ v | (1, 2, 5) ⋅ (3, 4, −1) = 6 |
|  \times   \bullet   \cdot  | พีชคณิตเชิงเส้น | u ⋅ v หมายความว่า ผลของเวกเตอร์ u และ v | (1, 2, 5) ⋅ (3, 4, −1) = 6 |
|  \times   \bullet   \cdot  | ผลคูณไขว้ | u × v หมายความว่า ผลคูณไขว้ของ u และ v | (1, 2, 5) × (3, 4, −1) =  {\begin{vmatrix}i&j&k\\1&2&5\\3&4&-1\end{vmatrix}} = (−22, 16, −2) |
|  \times   \bullet   \cdot  | คูณไขว้กับ | u × v หมายความว่า ผลคูณไขว้ของ u และ v | (1, 2, 5) × (3, 4, −1) =  {\begin{vmatrix}i&j&k\\1&2&5\\3&4&-1\end{vmatrix}} = (−22, 16, −2) |
|  \times   \bullet   \cdot  | พีชคณิตเชิงเส้น | u × v หมายความว่า ผลคูณไขว้ของ u และ v | (1, 2, 5) × (3, 4, −1) =  {\begin{vmatrix}i&j&k\\1&2&5\\3&4&-1\end{vmatrix}} = (−22, 16, −2) |
|  \times   \bullet   \cdot  | ตัวเชื่อม | A · หมายถึงตัวยึดสำหรับอาร์กิวเมนต์ของฟังก์ชัน บ่งชี้ลักษณะการทำงานของนิพจน์โดยไม่กำหนดสัญลักษณ์เฉพาะสำหรับอาร์กิวเมนต์ | | · | |
|  \times   \bullet   \cdot  | - | A · หมายถึงตัวยึดสำหรับอาร์กิวเมนต์ของฟังก์ชัน บ่งชี้ลักษณะการทำงานของนิพจน์โดยไม่กำหนดสัญลักษณ์เฉพาะสำหรับอาร์กิวเมนต์ | | · | |
|  \times   \bullet   \cdot  | Functional Analysis | A · หมายถึงตัวยึดสำหรับอาร์กิวเมนต์ของฟังก์ชัน บ่งชี้ลักษณะการทำงานของนิพจน์โดยไม่กำหนดสัญลักษณ์เฉพาะสำหรับอาร์กิวเมนต์ | | · | |
|  \div   / | หาร | 6 ÷ 3 หรือ 6 ⁄ 3 หมายความว่า แบ่ง 6 เป็น 3 ครั้ง ครั้งละเท่าๆกัน | 2 ÷ 4 = 0.5 12 ⁄ 4 = 3 |
|  \div   / | หารด้วย, แบ่งด้วย, ส่วนด้วย | 6 ÷ 3 หรือ 6 ⁄ 3 หมายความว่า แบ่ง 6 เป็น 3 ครั้ง ครั้งละเท่าๆกัน | 2 ÷ 4 = 0.5 12 ⁄ 4 = 3 |
|  \div   / | เลขคณิต | 6 ÷ 3 หรือ 6 ⁄ 3 หมายความว่า แบ่ง 6 เป็น 3 ครั้ง ครั้งละเท่าๆกัน | 2 ÷ 4 = 0.5 12 ⁄ 4 = 3 |
|  \div   / | โควเชี่ยนกรุป | G / H หมายถึงผลหารของ G ได้ซับกรุป H | {0, a, 2a, b, b + a, b + 2a} / {0, b} = {{0, b}, {a, b + a}, {2a, b + 2a}} |
|  \div   / | โมดูลา | G / H หมายถึงผลหารของ G ได้ซับกรุป H | {0, a, 2a, b, b + a, b + 2a} / {0, b} = {{0, b}, {a, b + a}, {2a, b + 2a}} |
|  \div   / | ทฤษฎีกรุป | G / H หมายถึงผลหารของ G ได้ซับกรุป H | {0, a, 2a, b, b + a, b + 2a} / {0, b} = {{0, b}, {a, b + a}, {2a, b + 2a}} |
|  \div   / | โควเชี่ยนเซต | A/~ หมายความว่า ชุดทั้งหมด (Equivalence class) ของ ~ A | ถ้ากำหนดให้ ~ โดยที่ x ~ y ⇔ x − y ∈ ℤ, แล้ว ℝ/~ = {x + n : n ∈ ℤ, x ∈ [0,1)} |
|  \div   / | โมดูลา | A/~ หมายความว่า ชุดทั้งหมด (Equivalence class) ของ ~ A | ถ้ากำหนดให้ ~ โดยที่ x ~ y ⇔ x − y ∈ ℤ, แล้ว ℝ/~ = {x + n : n ∈ ℤ, x ∈ [0,1)} |
|  \div   / | เซต | A/~ หมายความว่า ชุดทั้งหมด (Equivalence class) ของ ~ A | ถ้ากำหนดให้ ~ โดยที่ x ~ y ⇔ x − y ∈ ℤ, แล้ว ℝ/~ = {x + n : n ∈ ℤ, x ∈ [0,1)} |
|  \surd  | สแควร์รูท, กรณฑ์ |  {\sqrt {x}} หมายความว่า จำนวนบวกที่ถูกถอดรากคือ x |  {\sqrt {4}}=2 |
|  \surd  | รากที่...ของ... |  {\sqrt {x}} หมายความว่า จำนวนบวกที่ถูกถอดรากคือ x |  {\sqrt {4}}=2 |
|  \surd  | จำนวนจริง |  {\sqrt {x}} หมายความว่า จำนวนบวกที่ถูกถอดรากคือ x |  {\sqrt {4}}=2 |
|  \surd  | สแควร์รูท (จำนวนเชิงซ้อน) | ถ้า z = r exp (iφ) แทนในพิกัดด้วย −π < φ ≤ π แล้ว √z = √r exp (iφ/2). |  {\sqrt {-1}}=i |
|  \surd  | รากที่...ของจำนวนเชิงซ้อน | ถ้า z = r exp (iφ) แทนในพิกัดด้วย −π < φ ≤ π แล้ว √z = √r exp (iφ/2). |  {\sqrt {-1}}=i |
|  \surd  | จำนวนเชิงซ้อน | ถ้า z = r exp (iφ) แทนในพิกัดด้วย −π < φ ≤ π แล้ว √z = √r exp (iφ/2). |  {\sqrt {-1}}=i |
|  \sum  | ผลรวม |  \sum _{k=1}^{N}a_{k} หมายความว่า  a_{1}+a_{2}+\cdot \cdot \cdot +a_{n} |  \sum _{k=1}^{N}k^{2}=1^{2}+2^{2}+3^{2}+4^{2}=1+4+9+16=30 |
|  \sum  | รวมทั้งหมด จาก...ถึง... |  \sum _{k=1}^{N}a_{k} หมายความว่า  a_{1}+a_{2}+\cdot \cdot \cdot +a_{n} |  \sum _{k=1}^{N}k^{2}=1^{2}+2^{2}+3^{2}+4^{2}=1+4+9+16=30 |
|  \sum  | แคลคูลัส |  \sum _{k=1}^{N}a_{k} หมายความว่า  a_{1}+a_{2}+\cdot \cdot \cdot +a_{n} |  \sum _{k=1}^{N}k^{2}=1^{2}+2^{2}+3^{2}+4^{2}=1+4+9+16=30 |
|  \int  | ปฏิยานุพันธ์ |  \int f(x)dx หมายถึง ฟังก์ชันที่มีอนุพันธ์เป็น  f |  \int x^{2}dx=  {\frac {x^{3}}{3}}+c |
|  \int  | ปฏิยานุพันธ์ของ... |  \int f(x)dx หมายถึง ฟังก์ชันที่มีอนุพันธ์เป็น  f |  \int x^{2}dx=  {\frac {x^{3}}{3}}+c |
|  \int  | แคลคูลัส |  \int f(x)dx หมายถึง ฟังก์ชันที่มีอนุพันธ์เป็น  f |  \int x^{2}dx=  {\frac {x^{3}}{3}}+c |
|  \int  | ปริพันธ์ |  \int _{a}^{b}f(x)dx หมายถึงพื้นที่เฉพาะระหว่างแกน x และกราฟของฟังก์ชัน f ระหว่าง x = a และ x = b |  \int _{a}^{b}x^{2}dx=  {\frac {b^{3}-a^{3}}{3}} |
|  \int  | ปริพันธ์ของ...จาก... |  \int _{a}^{b}f(x)dx หมายถึงพื้นที่เฉพาะระหว่างแกน x และกราฟของฟังก์ชัน f ระหว่าง x = a และ x = b |  \int _{a}^{b}x^{2}dx=  {\frac {b^{3}-a^{3}}{3}} |
|  \int  | แคลคูลัส |  \int _{a}^{b}f(x)dx หมายถึงพื้นที่เฉพาะระหว่างแกน x และกราฟของฟังก์ชัน f ระหว่าง x = a และ x = b |  \int _{a}^{b}x^{2}dx=  {\frac {b^{3}-a^{3}}{3}} |
|  \int  | การอินทริกัลตามเส้น |  \int _{C}fdsหมายถึงอิน-ทริกัลของ f ตามเส้นโค้ง C, ∫b  \int _{a}^{b}f(r(t))|r'(t)|dt ที่ๆ r คือ a  พารามีทริเซชั่นของ C (ถ้าเป็นโค้งปิด อาจใช้ ∮ แทน) |  |
|  \int  | อินทริกัลของ...ตาม..ส่วนของ, |  \int _{C}fdsหมายถึงอิน-ทริกัลของ f ตามเส้นโค้ง C, ∫b  \int _{a}^{b}f(r(t))|r'(t)|dt ที่ๆ r คือ a  พารามีทริเซชั่นของ C (ถ้าเป็นโค้งปิด อาจใช้ ∮ แทน) |  |
|  \int  | แคลคูลัส |  \int _{C}fdsหมายถึงอิน-ทริกัลของ f ตามเส้นโค้ง C, ∫b  \int _{a}^{b}f(r(t))|r'(t)|dt ที่ๆ r คือ a  พารามีทริเซชั่นของ C (ถ้าเป็นโค้งปิด อาจใช้ ∮ แทน) |  |
|  \oint  | การอินทริเกรตเชิงซ้อน | คล้ายอินทริกัลธรรมดา แต่ใช้กับรูปโค้งปิดหรือห่วง บางทีก็ใช้กับกฎของเกาส์ หรือจะแทนเรื่องอินทริกัลตามผิวและการตัดกันบนพื้นผิว ถ้าจะใช้ทั้งสองอย่าง จะมีสัญลักษณ์ ∯ โผล่มา และการอินทริกัลสามชั้นจะใช้ ∰  \oint _{C} ใช้เพื่อแสดงว่าเป็นเส้นโค้งปิดรอบจุด C หรืออยู่บนจุด C | ถ้า C คือเส้นโค้งจอร์แดน เป็น 0 แล้ว  \oint _{C} {\frac {1}{z}}dz=2\pi i |
|  \oint  | เป็นอินทริเกรตเชิงซ้อนของ | คล้ายอินทริกัลธรรมดา แต่ใช้กับรูปโค้งปิดหรือห่วง บางทีก็ใช้กับกฎของเกาส์ หรือจะแทนเรื่องอินทริกัลตามผิวและการตัดกันบนพื้นผิว ถ้าจะใช้ทั้งสองอย่าง จะมีสัญลักษณ์ ∯ โผล่มา และการอินทริกัลสามชั้นจะใช้ ∰  \oint _{C} ใช้เพื่อแสดงว่าเป็นเส้นโค้งปิดรอบจุด C หรืออยู่บนจุด C | ถ้า C คือเส้นโค้งจอร์แดน เป็น 0 แล้ว  \oint _{C} {\frac {1}{z}}dz=2\pi i |
|  \oint  | แคลคูลัส | คล้ายอินทริกัลธรรมดา แต่ใช้กับรูปโค้งปิดหรือห่วง บางทีก็ใช้กับกฎของเกาส์ หรือจะแทนเรื่องอินทริกัลตามผิวและการตัดกันบนพื้นผิว ถ้าจะใช้ทั้งสองอย่าง จะมีสัญลักษณ์ ∯ โผล่มา และการอินทริกัลสามชั้นจะใช้ ∰  \oint _{C} ใช้เพื่อแสดงว่าเป็นเส้นโค้งปิดรอบจุด C หรืออยู่บนจุด C | ถ้า C คือเส้นโค้งจอร์แดน เป็น 0 แล้ว  \oint _{C} {\frac {1}{z}}dz=2\pi i |
|  \ldots   \cdots   \vdots   \ddots  | จุดไข่ปลา | ใช้ละประโยค/สมการที่ยาวมากๆ, ต้องแสดงในพื้นที่จำกัด | 1 − 2 + 3 − 4 + · · · |
|  \ldots   \cdots   \vdots   \ddots  | และ... | ใช้ละประโยค/สมการที่ยาวมากๆ, ต้องแสดงในพื้นที่จำกัด | 1 − 2 + 3 − 4 + · · · |
|  \ldots   \cdots   \vdots   \ddots  | ใช้ในทุกหมวดหมู่ | ใช้ละประโยค/สมการที่ยาวมากๆ, ต้องแสดงในพื้นที่จำกัด | 1 − 2 + 3 − 4 + · · · |
|  \therefore  | ดังนั้น | ใช้ในการแสดงถึงผลของประโยคก่อนหน้า | จำนวนคู่ลบคี่แล้วได้จำนวนคี่ 0-1 = 1  \therefore  0 เป็นจำนวนคู่ |
|  \therefore  | ดังนั้น, ถ้า...แล้ว... | ใช้ในการแสดงถึงผลของประโยคก่อนหน้า | จำนวนคู่ลบคี่แล้วได้จำนวนคี่ 0-1 = 1  \therefore  0 เป็นจำนวนคู่ |
|  \therefore  | ใช้ในทุกหมวดหมู่ | ใช้ในการแสดงถึงผลของประโยคก่อนหน้า | จำนวนคู่ลบคี่แล้วได้จำนวนคี่ 0-1 = 1  \therefore  0 เป็นจำนวนคู่ |
|  \because  | เพราะ | ใช้ในการให้เหตุผลของประโยคก่อนหน้า | 1 ไม่เป็นจำนวนเฉพาะ  \because  มีเพียง "1" เป็นตัวประกอบเดียวที่หารตัวมันเองลงตัว  \because  จำนวนเฉพาะมีตัวประกอบ 2 ตัว |
|  \because  | เพราะ, เนื่องจาก | ใช้ในการให้เหตุผลของประโยคก่อนหน้า | 1 ไม่เป็นจำนวนเฉพาะ  \because  มีเพียง "1" เป็นตัวประกอบเดียวที่หารตัวมันเองลงตัว  \because  จำนวนเฉพาะมีตัวประกอบ 2 ตัว |
|  \because  | ใช้ในทุกหมวดหมู่ | ใช้ในการให้เหตุผลของประโยคก่อนหน้า | 1 ไม่เป็นจำนวนเฉพาะ  \because  มีเพียง "1" เป็นตัวประกอบเดียวที่หารตัวมันเองลงตัว  \because  จำนวนเฉพาะมีตัวประกอบ 2 ตัว |
|  ! | แฟคทอเรียล | เมื่อแยก  n! จะได้  1\times 2\times \cdots \times n |  4!=1\times 2\times 3\times 4=24 |
|  ! | แฟคทอเรียล | เมื่อแยก  n! จะได้  1\times 2\times \cdots \times n |  4!=1\times 2\times 3\times 4=24 |
|  ! | คณิตศาสตร์เชิงการจัด | เมื่อแยก  n! จะได้  1\times 2\times \cdots \times n |  4!=1\times 2\times 3\times 4=24 |
|  ! | นิเสธ | !A แสดงว่า A เป็นเท็จ (ที่ใช้ตัว ! บางทีเอาไว้แทนตัว ¬) | !(!A) ⇔ A x ≠ y ⇔  !(x = y) |
|  ! | ไม่, ไม่จริงที่ว่า | !A แสดงว่า A เป็นเท็จ (ที่ใช้ตัว ! บางทีเอาไว้แทนตัว ¬) | !(!A) ⇔ A x ≠ y ⇔  !(x = y) |
|  ! | ตรรกศาสตร์ | !A แสดงว่า A เป็นเท็จ (ที่ใช้ตัว ! บางทีเอาไว้แทนตัว ¬) | !(!A) ⇔ A x ≠ y ⇔  !(x = y) |
|  \neg   \thicksim  | นิเสธ |  \neg A แสดงว่า A เป็นเท็จ (นิยมใช้สัญลักษณ์ ~ และใช้  \neg  รองลงมา ส่วน ! นักวิทยาการคอมพิวเตอร์ นิยมใช้เพื่อหลีกเลี่ยงสัญลักษณ์ทางคณิตศาสตร์) | ¬(¬A) ⇔ A x ≠ y ⇔ ¬(x = y) |
|  \neg   \thicksim  | ไม่, ไม่จริงที่ว่า |  \neg A แสดงว่า A เป็นเท็จ (นิยมใช้สัญลักษณ์ ~ และใช้  \neg  รองลงมา ส่วน ! นักวิทยาการคอมพิวเตอร์ นิยมใช้เพื่อหลีกเลี่ยงสัญลักษณ์ทางคณิตศาสตร์) | ¬(¬A) ⇔ A x ≠ y ⇔ ¬(x = y) |
|  \neg   \thicksim  | ตรรกศาสตร์ |  \neg A แสดงว่า A เป็นเท็จ (นิยมใช้สัญลักษณ์ ~ และใช้  \neg  รองลงมา ส่วน ! นักวิทยาการคอมพิวเตอร์ นิยมใช้เพื่อหลีกเลี่ยงสัญลักษณ์ทางคณิตศาสตร์) | ¬(¬A) ⇔ A x ≠ y ⇔ ¬(x = y) |
|  \propto  | คงที่ต่อ | y ∝ x แสดงว่า y = kx เมื่อ k มีค่าคงที่ | ถ้า y = 2x แล้ว y สมมูลกับ x |
|  \propto  | สมมูลกับ | y ∝ x แสดงว่า y = kx เมื่อ k มีค่าคงที่ | ถ้า y = 2x แล้ว y สมมูลกับ x |
|  \propto  | ใช้ในทุกหมวดหมู่ | y ∝ x แสดงว่า y = kx เมื่อ k มีค่าคงที่ | ถ้า y = 2x แล้ว y สมมูลกับ x |
|  \infty  | อินฟินิตี้, อนันต์ | ∞ รวมจำนวนที่อยู่และต่อจากเส้นจำนวน, ลิมิตของลำดับ |  \lim _{x\to 0}{\frac {1}{|x|}}=\infty  |
|  \infty  | เป็นอนันต์ | ∞ รวมจำนวนที่อยู่และต่อจากเส้นจำนวน, ลิมิตของลำดับ |  \lim _{x\to 0}{\frac {1}{|x|}}=\infty  |
|  \infty  | จำนวน | ∞ รวมจำนวนที่อยู่และต่อจากเส้นจำนวน, ลิมิตของลำดับ |  \lim _{x\to 0}{\frac {1}{|x|}}=\infty  |
|  \blacksquare   \Box   \blacktriangleright  ▮ | สิ้นสุดการพิสูจน์ | ใช้ในตอนท้ายของประโยคเพื่อแสดงว่าสิ้นสุดการพิสูจน์ หรือใช้ ซ.ต.พ. ก็ได้ |  |
|  \blacksquare   \Box   \blacktriangleright  ▮ | จบการพิสูจน์, Q.E.D. | ใช้ในตอนท้ายของประโยคเพื่อแสดงว่าสิ้นสุดการพิสูจน์ หรือใช้ ซ.ต.พ. ก็ได้ |  |
|  \blacksquare   \Box   \blacktriangleright  ▮ | ใช้ในทุกหมวดหมู่ | ใช้ในตอนท้ายของประโยคเพื่อแสดงว่าสิ้นสุดการพิสูจน์ หรือใช้ ซ.ต.พ. ก็ได้ |  |