รายการสัญลักษณ์ทางคณิตศาสตร์
อื่นๆ(ที่ไม่ใช่สัญลักษณ์จากอักษร)

| สัญลักษณ์> สัญลักษณ์.สัญลักษณ์ | ชื่อ> คำอ่าน.หมวดหมู่ | คำอธิบาย> คำอธิบาย.คำอธิบาย | ตัวอย่าง> ตัวอย่าง.ตัวอย่าง |
| --- | --- | --- | --- |
|  * | คอนโวลูชั่น | f*g หมายความว่า เป็นคอนโวลูชั่นของ f และ g |  (f*g)(t)=\int _{0}^{t}f(\tau )g(t-\tau )d\tau  |
|  * | คอนโวลูชั่นกับ | f*g หมายความว่า เป็นคอนโวลูชั่นของ f และ g |  (f*g)(t)=\int _{0}^{t}f(\tau )g(t-\tau )d\tau  |
|  * | การประมวลผลเชิงฟังก์ชัน | f*g หมายความว่า เป็นคอนโวลูชั่นของ f และ g |  (f*g)(t)=\int _{0}^{t}f(\tau )g(t-\tau )d\tau  |
|  * | สังยุค | z* หมายความว่า จำนวนเชิงซ้อน z เป็นสังยุค (หรือจะใช้  {\overline {z}} ก็ได้) | (3 + 4i)* = 3 - 4i |
|  * | สังยุคกับ | z* หมายความว่า จำนวนเชิงซ้อน z เป็นสังยุค (หรือจะใช้  {\overline {z}} ก็ได้) | (3 + 4i)* = 3 - 4i |
|  * | จำนวนเชิงซ้อน | z* หมายความว่า จำนวนเชิงซ้อน z เป็นสังยุค (หรือจะใช้  {\overline {z}} ก็ได้) | (3 + 4i)* = 3 - 4i |
|  * | ยูนิตกรุป | R* ประกอบด้วยเซตของยูนิตของริง R ตามการดำเนินการและการคูณ (หรือจะใช้ R× หรือ (U)R) |  (\mathbb {Z} /5|Z)^{*}={\{[1],[2],[3],[4]}\}  \cong C_{4} |
|  * | เป็นยูนิตกรุปของ | R* ประกอบด้วยเซตของยูนิตของริง R ตามการดำเนินการและการคูณ (หรือจะใช้ R× หรือ (U)R) |  (\mathbb {Z} /5|Z)^{*}={\{[1],[2],[3],[4]}\}  \cong C_{4} |
|  * | ทฤษฎีริง | R* ประกอบด้วยเซตของยูนิตของริง R ตามการดำเนินการและการคูณ (หรือจะใช้ R× หรือ (U)R) |  (\mathbb {Z} /5|Z)^{*}={\{[1],[2],[3],[4]}\}  \cong C_{4} |
|  * | Hyperreal numbers | *R หมายความว่า เซตของจำนวนไฮเปอร์เรียล เซตอื่นๆก็ใช้แทน R ได้ | *N เป็นจำนวนเต็มไฮเปอร์ |
|  * | เป็น(เซตของ)ไฮเปอร์เรียล | *R หมายความว่า เซตของจำนวนไฮเปอร์เรียล เซตอื่นๆก็ใช้แทน R ได้ | *N เป็นจำนวนเต็มไฮเปอร์ |
|  * | การประมวลผลแบบนอกมาตรฐาน | *R หมายความว่า เซตของจำนวนไฮเปอร์เรียล เซตอื่นๆก็ใช้แทน R ได้ | *N เป็นจำนวนเต็มไฮเปอร์ |
|  * | โฮจฺ ดูอัล | *v หมายถึงโฮจฺ ดูอัล ของเวกเตอร์ v ถ้า v เป็นเวกเตอร์ k (มัลติเวกเตอร์) ที่อยู่ในพื้นที่การปรับเวกเตอร์มิติของ n แล้ว *v คือ (n-k)-เวกเตอร์ |  |
|  * | โฮจฺ ดูอัล | *v หมายถึงโฮจฺ ดูอัล ของเวกเตอร์ v ถ้า v เป็นเวกเตอร์ k (มัลติเวกเตอร์) ที่อยู่ในพื้นที่การปรับเวกเตอร์มิติของ n แล้ว *v คือ (n-k)-เวกเตอร์ |  |
|  * | พีชคณิตเชิงเส้น | *v หมายถึงโฮจฺ ดูอัล ของเวกเตอร์ v ถ้า v เป็นเวกเตอร์ k (มัลติเวกเตอร์) ที่อยู่ในพื้นที่การปรับเวกเตอร์มิติของ n แล้ว *v คือ (n-k)-เวกเตอร์ |  |
|  * | คลีนี สตาร์ (การดำเนินการแบบคลีนี) | ตาม * ในการใช้กับนิพจน์ปกติแล้ว ถ้า ∑ เป็นเซตบนเส้นใดๆ แล้ว ∑* เป็นเซตทุกเซตที่อยู่บนเส้นใดๆ ที่สามารถสร้างโดยใช้สมาชิกของ ∑ เส้นใดๆบนเส้นเดียวกันก็แยกเป็นหลายเส้นได้ และเส้นว่างก็นับเป็นสมาชิกของ ∑* | ถ้า ∑ = ('a', 'b', 'c') แล้ว ∑* รวม '' , 'a', 'ab', 'aba', 'abac', ฯลฯ (เซตเต็มๆเขียนให้หมดในนี่ไม่ไหวหรอกคุณ) เพราะเป็นเซตนับได้ แต่เส้นแยกแต่ละเส้นจะมีความยาวจำกัด |
|  * | คลีนี สตาร์ | ตาม * ในการใช้กับนิพจน์ปกติแล้ว ถ้า ∑ เป็นเซตบนเส้นใดๆ แล้ว ∑* เป็นเซตทุกเซตที่อยู่บนเส้นใดๆ ที่สามารถสร้างโดยใช้สมาชิกของ ∑ เส้นใดๆบนเส้นเดียวกันก็แยกเป็นหลายเส้นได้ และเส้นว่างก็นับเป็นสมาชิกของ ∑* | ถ้า ∑ = ('a', 'b', 'c') แล้ว ∑* รวม '' , 'a', 'ab', 'aba', 'abac', ฯลฯ (เซตเต็มๆเขียนให้หมดในนี่ไม่ไหวหรอกคุณ) เพราะเป็นเซตนับได้ แต่เส้นแยกแต่ละเส้นจะมีความยาวจำกัด |
|  * | วิทยาการคอมพิวเตอร์,  ตรรกศาสตร์ | ตาม * ในการใช้กับนิพจน์ปกติแล้ว ถ้า ∑ เป็นเซตบนเส้นใดๆ แล้ว ∑* เป็นเซตทุกเซตที่อยู่บนเส้นใดๆ ที่สามารถสร้างโดยใช้สมาชิกของ ∑ เส้นใดๆบนเส้นเดียวกันก็แยกเป็นหลายเส้นได้ และเส้นว่างก็นับเป็นสมาชิกของ ∑* | ถ้า ∑ = ('a', 'b', 'c') แล้ว ∑* รวม '' , 'a', 'ab', 'aba', 'abac', ฯลฯ (เซตเต็มๆเขียนให้หมดในนี่ไม่ไหวหรอกคุณ) เพราะเป็นเซตนับได้ แต่เส้นแยกแต่ละเส้นจะมีความยาวจำกัด |
|  \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. |
|  \propto  | การลดรูปแบบคาร์ป | A ∝ B หมายความว่า A ลดรูปแบบพหุนามได้ปัญหา B | ถ้า L1 ∝ L2 และ L2 ∈ P แล้ว L1 ∈ P |
|  \propto  | ลดรูปแบบคาร์ปได้ | A ∝ B หมายความว่า A ลดรูปแบบพหุนามได้ปัญหา B | ถ้า L1 ∝ L2 และ L2 ∈ P แล้ว L1 ∈ P |
|  \propto  | ทฤษฎีความซับซ้อนในการคำนวณ | A ∝ B หมายความว่า A ลดรูปแบบพหุนามได้ปัญหา B | ถ้า L1 ∝ L2 และ L2 ∈ P แล้ว L1 ∈ P |
|  \setminus  | คอมพลีเมนต์ของเซต | A ∖ B หมายความว่า สมาชิกของเซต A ที่ไม่มีสมาชิกที่อยู่ใน B (ย้อนไปดู - ก็ได้ อธิบายไว้แล้ว) | {1,2,3,4} ∖ {3,4,5,6} = {1,2} |
|  \setminus  | หักออก, ไม่มี, เป็นคอมพลีเมนต์ของ | A ∖ B หมายความว่า สมาชิกของเซต A ที่ไม่มีสมาชิกที่อยู่ใน B (ย้อนไปดู - ก็ได้ อธิบายไว้แล้ว) | {1,2,3,4} ∖ {3,4,5,6} = {1,2} |
|  \setminus  | เซต | A ∖ B หมายความว่า สมาชิกของเซต A ที่ไม่มีสมาชิกที่อยู่ใน B (ย้อนไปดู - ก็ได้ อธิบายไว้แล้ว) | {1,2,3,4} ∖ {3,4,5,6} = {1,2} |
|  | | ความน่าจะเป็นมีเงื่อนไข | ความน่าจะเป็นของเหตุการณ์หนึ่งที่มีความเกี่ยวข้องกับอีกเหตุการณ์หนึ่ง โดย P(A|B) หมายถึงความน่าจะเป็นของเหตุการณ์ A เมื่อรู้ว่าเกิดเหตุการณ์ B | ถ้า X คือ a เป็นวันในปี P(X คือ พ.ค. ที่ 25 | X อยู่ในเดือน พ.ค.) = 1/31 |
|  | | เป็นส่วนของ | ความน่าจะเป็นของเหตุการณ์หนึ่งที่มีความเกี่ยวข้องกับอีกเหตุการณ์หนึ่ง โดย P(A|B) หมายถึงความน่าจะเป็นของเหตุการณ์ A เมื่อรู้ว่าเกิดเหตุการณ์ B | ถ้า X คือ a เป็นวันในปี P(X คือ พ.ค. ที่ 25 | X อยู่ในเดือน พ.ค.) = 1/31 |
|  | | ความน่าจะเป็น | ความน่าจะเป็นของเหตุการณ์หนึ่งที่มีความเกี่ยวข้องกับอีกเหตุการณ์หนึ่ง โดย P(A|B) หมายถึงความน่าจะเป็นของเหตุการณ์ A เมื่อรู้ว่าเกิดเหตุการณ์ B | ถ้า X คือ a เป็นวันในปี P(X คือ พ.ค. ที่ 25 | X อยู่ในเดือน พ.ค.) = 1/31 |
|  | | เซตจำกัด | f|A หมายความว่า ฟังก์ชัน f จำกัดได้ A และโดเมนของฟังก์ชัน A ∩ dom(f) ตาม f | ฟังก์ชัน f : R → R กำหนดโดย f(x) = x2 ไม่ใช่การกระจาย แต่ f|R+ เป็นการกระจาย |
|  | | จำกัดของ... | f|A หมายความว่า ฟังก์ชัน f จำกัดได้ A และโดเมนของฟังก์ชัน A ∩ dom(f) ตาม f | ฟังก์ชัน f : R → R กำหนดโดย f(x) = x2 ไม่ใช่การกระจาย แต่ f|R+ เป็นการกระจาย |
|  | | เซต | f|A หมายความว่า ฟังก์ชัน f จำกัดได้ A และโดเมนของฟังก์ชัน A ∩ dom(f) ตาม f | ฟังก์ชัน f : R → R กำหนดโดย f(x) = x2 ไม่ใช่การกระจาย แต่ f|R+ เป็นการกระจาย |
|  | | เมื่อ | | หมายความว่า เมื่อ... (ใช้ : ตามที่อธิบายไปก็ได้) | S = {(x,y) | 0 < y < f(x)} หมายความว่าเซตของ (x,y) มากกว่า 0 แต่น้อยกว่า f(x) |
|  | | เมื่อ, โดยที่ | | หมายความว่า เมื่อ... (ใช้ : ตามที่อธิบายไปก็ได้) | S = {(x,y) | 0 < y < f(x)} หมายความว่าเซตของ (x,y) มากกว่า 0 แต่น้อยกว่า f(x) |
|  | | ใช้ในทุกหมวดหมู่ | | หมายความว่า เมื่อ... (ใช้ : ตามที่อธิบายไปก็ได้) | S = {(x,y) | 0 < y < f(x)} หมายความว่าเซตของ (x,y) มากกว่า 0 แต่น้อยกว่า f(x) |
|  \mid   \nmid  | ตัวหาร, การหาร | a | b หมายความว่า a หาร b ลงตัว a ∤ b หมายความว่า a หาร b ไม่ลงตัว (สัญลักษณ์พวกนี้มันพิมพ์ยาก คนส่วนใหญ่ก็จะใช้ / กัน) | เพราะ 15 = 3 × 5 เป็นจริง แล้ว 3 ∣ 15  และ 5 ∣ 15 |
|  \mid   \nmid  | หาร | a | b หมายความว่า a หาร b ลงตัว a ∤ b หมายความว่า a หาร b ไม่ลงตัว (สัญลักษณ์พวกนี้มันพิมพ์ยาก คนส่วนใหญ่ก็จะใช้ / กัน) | เพราะ 15 = 3 × 5 เป็นจริง แล้ว 3 ∣ 15  และ 5 ∣ 15 |
|  \mid   \nmid  | ทฤษฎีจำนวน | a | b หมายความว่า a หาร b ลงตัว a ∤ b หมายความว่า a หาร b ไม่ลงตัว (สัญลักษณ์พวกนี้มันพิมพ์ยาก คนส่วนใหญ่ก็จะใช้ / กัน) | เพราะ 15 = 3 × 5 เป็นจริง แล้ว 3 ∣ 15  และ 5 ∣ 15 |
|  \mid \mid  | หารโดยละเอียด | pa ∣∣ n หมายความว่า pa หารโดยละเอียดกับ n (ป.ล. pa หาร n แต่ pa+1 ไม่ได้หาร) | 23 ∣∣ 360 |
|  \mid \mid  | หารโดยละเอียด | pa ∣∣ n หมายความว่า pa หารโดยละเอียดกับ n (ป.ล. pa หาร n แต่ pa+1 ไม่ได้หาร) | 23 ∣∣ 360 |
|  \mid \mid  | ทฤษฎีจำนวน | pa ∣∣ n หมายความว่า pa หารโดยละเอียดกับ n (ป.ล. pa หาร n แต่ pa+1 ไม่ได้หาร) | 23 ∣∣ 360 |
|  \parallel   \nparallel  ⋕ | ขนาน | x ∥ y หมายความว่า x ขนานกับ y x ∦ y หมายความว่า x ไม่ขนานกับ y x ⋕ y หมายความว่า x เท่ากับและขนานกับ y | ถ้า l ∥ m และ m ⊥ n แล้ว l ⊥ n. |
|  \parallel   \nparallel  ⋕ | ขนานกับ..., ไม่ขนานกับ... | x ∥ y หมายความว่า x ขนานกับ y x ∦ y หมายความว่า x ไม่ขนานกับ y x ⋕ y หมายความว่า x เท่ากับและขนานกับ y | ถ้า l ∥ m และ m ⊥ n แล้ว l ⊥ n. |
|  \parallel   \nparallel  ⋕ | เรขาคณิต | x ∥ y หมายความว่า x ขนานกับ y x ∦ y หมายความว่า x ไม่ขนานกับ y x ⋕ y หมายความว่า x เท่ากับและขนานกับ y | ถ้า l ∥ m และ m ⊥ n แล้ว l ⊥ n. |
|  \parallel   \nparallel  ⋕ | เทียบไม่ได้ | x ∥ y หมายความว่า x เทียบไม่ได้กับ y | {1,2} ∥ {2,3} ในเซตเดียวกัน |
|  \parallel   \nparallel  ⋕ | เทียบไม่ได้ | x ∥ y หมายความว่า x เทียบไม่ได้กับ y | {1,2} ∥ {2,3} ในเซตเดียวกัน |
|  \parallel   \nparallel  ⋕ | การจัดลำดับ | x ∥ y หมายความว่า x เทียบไม่ได้กับ y | {1,2} ∥ {2,3} ในเซตเดียวกัน |
|  \sharp  | ภาวะเชิงการนับ | #X หมายความว่า ภาวะเชิงการนับของ X (ใช้ |...| ก็ได้) | #{4, 6, 8} = 3 |
|  \sharp  | ภาวะเชิงการนับของ..., ขนาดของ, ชุดของ | #X หมายความว่า ภาวะเชิงการนับของ X (ใช้ |...| ก็ได้) | #{4, 6, 8} = 3 |
|  \sharp  | เซต | #X หมายความว่า ภาวะเชิงการนับของ X (ใช้ |...| ก็ได้) | #{4, 6, 8} = 3 |
|  \sharp  | จุดเชื่อมต่อรวม | A#B หมายถึง เป็นจุดรวมหลากหลายของ A และ B ถ้า A และ B เป็นห่วง จุดนี้ก็จะกลายเป็นปมรวม ที่ซึ่งภาวะต่างๆจะแกร่งกว่าเล็กน้อย | A#Sm เป็นโฮเมียร์ฟิซึมของ A แก่จุดหลายๆจุดใน A และสเปียร์ Sm |
|  \sharp  | เป็นจุดเชื่อมต่อรวมของ..., เป็นปมรวมของ... | A#B หมายถึง เป็นจุดรวมหลากหลายของ A และ B ถ้า A และ B เป็นห่วง จุดนี้ก็จะกลายเป็นปมรวม ที่ซึ่งภาวะต่างๆจะแกร่งกว่าเล็กน้อย | A#Sm เป็นโฮเมียร์ฟิซึมของ A แก่จุดหลายๆจุดใน A และสเปียร์ Sm |
|  \sharp  | ทอพอโลยี, ทฤษฎีห่วง | A#B หมายถึง เป็นจุดรวมหลากหลายของ A และ B ถ้า A และ B เป็นห่วง จุดนี้ก็จะกลายเป็นปมรวม ที่ซึ่งภาวะต่างๆจะแกร่งกว่าเล็กน้อย | A#Sm เป็นโฮเมียร์ฟิซึมของ A แก่จุดหลายๆจุดใน A และสเปียร์ Sm |
|  \sharp  | ไพรมอเรียล | n# เป็นผลิตภัณฑ์ทั้งหมดของจำนวนเฉพาะที่น้อยกว่าหรือเท่ากับ n | 12# = 2 × 3 × 5 × 7 × 11 = 2310 |
|  \sharp  | ไพรมอเรียล | n# เป็นผลิตภัณฑ์ทั้งหมดของจำนวนเฉพาะที่น้อยกว่าหรือเท่ากับ n | 12# = 2 × 3 × 5 × 7 × 11 = 2310 |
|  \sharp  | ทฤษฎีจำนวน | n# เป็นผลิตภัณฑ์ทั้งหมดของจำนวนเฉพาะที่น้อยกว่าหรือเท่ากับ n | 12# = 2 × 3 × 5 × 7 × 11 = 2310 |
|  : | เมื่อ | : ใช้เพื่อบอกเงื่อนไขของสมาชิกในเซต | ∃n ∈ ℕ : n เป็นจำนวนคู่ |
|  : | เมื่อ, ขณะที่ | : ใช้เพื่อบอกเงื่อนไขของสมาชิกในเซต | ∃n ∈ ℕ : n เป็นจำนวนคู่ |
|  : | ใช้ในทุกหมวดหมู่ | : ใช้เพื่อบอกเงื่อนไขของสมาชิกในเซต | ∃n ∈ ℕ : n เป็นจำนวนคู่ |
|  : | ส่วนขยายของฟีลด์ | K : F หมายความว่า K ขยายแก่ฟีลดิ์ F  เขียนว่า K ≥ F ก็ได้ | ℝ : ℚ |
|  : | ขยายแก่ | K : F หมายความว่า K ขยายแก่ฟีลดิ์ F  เขียนว่า K ≥ F ก็ได้ | ℝ : ℚ |
|  : | ฟีลด์ | K : F หมายความว่า K ขยายแก่ฟีลดิ์ F  เขียนว่า K ≥ F ก็ได้ | ℝ : ℚ |
|  : | สมาชิกภายในของเมทริกซ์ | A : B หมายความว่าเมื่อใช้ขั้นตอนวิธีโฟรเบนีอุสจะได้สมาชิกภายในของ A และ B  ส่วนใหญ่มักใช้ ⟨u, v⟩ ⟨u | v⟩ หรือ (u | v) เสียมากกว่า ส่วนที่เป็นเวกเตอร์ มักใช้ x·y |  A:B=\sum _{i,j}A_{ij}B_{ij} |
|  : | เป็นสมาชิกภายในของ | A : B หมายความว่าเมื่อใช้ขั้นตอนวิธีโฟรเบนีอุสจะได้สมาชิกภายในของ A และ B  ส่วนใหญ่มักใช้ ⟨u, v⟩ ⟨u | v⟩ หรือ (u | v) เสียมากกว่า ส่วนที่เป็นเวกเตอร์ มักใช้ x·y |  A:B=\sum _{i,j}A_{ij}B_{ij} |
|  : | พีชคณิตเชิงเส้น | A : B หมายความว่าเมื่อใช้ขั้นตอนวิธีโฟรเบนีอุสจะได้สมาชิกภายในของ A และ B  ส่วนใหญ่มักใช้ ⟨u, v⟩ ⟨u | v⟩ หรือ (u | v) เสียมากกว่า ส่วนที่เป็นเวกเตอร์ มักใช้ x·y |  A:B=\sum _{i,j}A_{ij}B_{ij} |
|  : | ตัวบ่งซับกรุป | ตัวบ่งซับกรุป H ในกรุป G คือ "ปริมาณสัมพัทธ์" ของ H ต่อ G หรือ ความเท่ากันของตัวเลขที่ "ลอกเลียน" (โคเซต) ของ H ที่นำมาอยู่ใน G |  |G:H|={\frac {|G|}{|H|}} |
|  : | ตัวบ่งซับกรุป | ตัวบ่งซับกรุป H ในกรุป G คือ "ปริมาณสัมพัทธ์" ของ H ต่อ G หรือ ความเท่ากันของตัวเลขที่ "ลอกเลียน" (โคเซต) ของ H ที่นำมาอยู่ใน G |  |G:H|={\frac {|G|}{|H|}} |
|  : | ทฤษฎีกรุป | ตัวบ่งซับกรุป H ในกรุป G คือ "ปริมาณสัมพัทธ์" ของ H ต่อ G หรือ ความเท่ากันของตัวเลขที่ "ลอกเลียน" (โคเซต) ของ H ที่นำมาอยู่ใน G |  |G:H|={\frac {|G|}{|H|}} |
|  : | หาร | A : B หมายถึง A แบ่งเป็นส่วนๆ (หาร) กับ B | 10 : 2 = 5 |
|  : | หารกับ | A : B หมายถึง A แบ่งเป็นส่วนๆ (หาร) กับ B | 10 : 2 = 5 |
|  : | ใช้ในทุกหมวดหมู่ | A : B หมายถึง A แบ่งเป็นส่วนๆ (หาร) กับ B | 10 : 2 = 5 |
|  \vdots  | จุดไข่ปลากลับด้าน | เพื่อแสดงว่าค่าคงตัวในสมการนั้นๆบางตัวถูกย่อหายไป แสดงไว้เฉพาะตัวที่สำคัญๆ |  P(r,t)=\ _{X}\vdots E(r,t_{1})E(r,t_{2})E(r,t_{3}) |
|  \vdots  | จุดไข่ปลากลับด้าน | เพื่อแสดงว่าค่าคงตัวในสมการนั้นๆบางตัวถูกย่อหายไป แสดงไว้เฉพาะตัวที่สำคัญๆ |  P(r,t)=\ _{X}\vdots E(r,t_{1})E(r,t_{2})E(r,t_{3}) |
|  \vdots  | ใช้ในทุกหมวดหมู่ | เพื่อแสดงว่าค่าคงตัวในสมการนั้นๆบางตัวถูกย่อหายไป แสดงไว้เฉพาะตัวที่สำคัญๆ |  P(r,t)=\ _{X}\vdots E(r,t_{1})E(r,t_{2})E(r,t_{3}) |
|  \wr  | ผลิตภัณฑ์ชุด | A ≀ H หมายความว่า เป็นผลิตภัณฑ์ชุด A จากกรุป H  หรือจะเขียนว่า Awr H | Sn ≀ Z2 มีความคล้ายกันทางออโตมอฟิซึม ของกราฟสองส่วนบริบูรณ์ บนจุด (n, n) |
|  \wr  | เป็นผลิตภัณฑ์ชุด...ของ... | A ≀ H หมายความว่า เป็นผลิตภัณฑ์ชุด A จากกรุป H  หรือจะเขียนว่า Awr H | Sn ≀ Z2 มีความคล้ายกันทางออโตมอฟิซึม ของกราฟสองส่วนบริบูรณ์ บนจุด (n, n) |
|  \wr  | ทฤษฎีกรุป | A ≀ H หมายความว่า เป็นผลิตภัณฑ์ชุด A จากกรุป H  หรือจะเขียนว่า Awr H | Sn ≀ Z2 มีความคล้ายกันทางออโตมอฟิซึม ของกราฟสองส่วนบริบูรณ์ บนจุด (n, n) |
| ↯ ⨳ ⇒⇐ | ลูกศรซิกแซกกลับหัว | เพื่อแสดงว่าสองกรณีดังกล่าวข้างต้นนั้นขัดแย้งกัน | x + 4 = x − 3 ※  กำหนดให้ : ทุกๆเซตจำกัด เซตไม่ว่าง มีสมาชิกจำนวนมาก กำหนดให้ X เป็นเซตจำกัด เซตไม่ว่าง ที่มีสมาชิกจำนวนน้อย ดังนั้น  \exists x_{1}\in Xและ  \exists x_{2}\in Xกับ X1 < X2 แต่ถ้า  \exists x_{3}\in Xและ X2 < X3 ต่อไปเรื่อยๆ ดังนั้น X1, X2, X3 , ... เป็นสมาชิกที่ต่างกันใน X ↯X เป็นเซตจำกัด |
| ↯ ⨳ ⇒⇐ | ขัดแย้งกับ | เพื่อแสดงว่าสองกรณีดังกล่าวข้างต้นนั้นขัดแย้งกัน | x + 4 = x − 3 ※  กำหนดให้ : ทุกๆเซตจำกัด เซตไม่ว่าง มีสมาชิกจำนวนมาก กำหนดให้ X เป็นเซตจำกัด เซตไม่ว่าง ที่มีสมาชิกจำนวนน้อย ดังนั้น  \exists x_{1}\in Xและ  \exists x_{2}\in Xกับ X1 < X2 แต่ถ้า  \exists x_{3}\in Xและ X2 < X3 ต่อไปเรื่อยๆ ดังนั้น X1, X2, X3 , ... เป็นสมาชิกที่ต่างกันใน X ↯X เป็นเซตจำกัด |
| ↯ ⨳ ⇒⇐ | ใช้ในทุกหมวดหมู่ | เพื่อแสดงว่าสองกรณีดังกล่าวข้างต้นนั้นขัดแย้งกัน | x + 4 = x − 3 ※  กำหนดให้ : ทุกๆเซตจำกัด เซตไม่ว่าง มีสมาชิกจำนวนมาก กำหนดให้ X เป็นเซตจำกัด เซตไม่ว่าง ที่มีสมาชิกจำนวนน้อย ดังนั้น  \exists x_{1}\in Xและ  \exists x_{2}\in Xกับ X1 < X2 แต่ถ้า  \exists x_{3}\in Xและ X2 < X3 ต่อไปเรื่อยๆ ดังนั้น X1, X2, X3 , ... เป็นสมาชิกที่ต่างกันใน X ↯X เป็นเซตจำกัด |
|  \oplus   \veebar  | เฉพาะ หรือ | A ⊕ B จะเป็นจริง ก็ต่อเมื่อ A หรือ B แต่ไม่ใช่ทั้งคู่ที่เป็นจริง ใช้ A ⊻ B ก็ได้ | (¬A) ⊕ A เป็นจริงทุกกรณี A ⊕ B เป็นเท็จทุกกรณี |
|  \oplus   \veebar  | เฉพาะ/หรือ | A ⊕ B จะเป็นจริง ก็ต่อเมื่อ A หรือ B แต่ไม่ใช่ทั้งคู่ที่เป็นจริง ใช้ A ⊻ B ก็ได้ | (¬A) ⊕ A เป็นจริงทุกกรณี A ⊕ B เป็นเท็จทุกกรณี |
|  \oplus   \veebar  | แคลคูลัสเชิงประพจน์, พีชคณิตแบบบูล | A ⊕ B จะเป็นจริง ก็ต่อเมื่อ A หรือ B แต่ไม่ใช่ทั้งคู่ที่เป็นจริง ใช้ A ⊻ B ก็ได้ | (¬A) ⊕ A เป็นจริงทุกกรณี A ⊕ B เป็นเท็จทุกกรณี |
|  \oplus   \veebar  | การรวมโดยตรง | การรวมโดยตรงเป็นการรวมหลายๆวัตถุเข้าด้วยกันให้กลายเป็นวัตถุธรรมดา (General Object)   (มักใช้ ⊕ หรือใช้ตัวโคโพรดักส์ ∐ ส่วน ⊻ ใช้เฉพาะกับตรรกศาสตร์) | โดยทั่วไป ปริภูมิเวกเตอร์ U, V และ W จะได้ผลคือ : U = V ⊕ W ⇔ (U = V + W) ∧ (V ∩ W = {0}) |
|  \oplus   \veebar  | การรวมโดยตรง | การรวมโดยตรงเป็นการรวมหลายๆวัตถุเข้าด้วยกันให้กลายเป็นวัตถุธรรมดา (General Object)   (มักใช้ ⊕ หรือใช้ตัวโคโพรดักส์ ∐ ส่วน ⊻ ใช้เฉพาะกับตรรกศาสตร์) | โดยทั่วไป ปริภูมิเวกเตอร์ U, V และ W จะได้ผลคือ : U = V ⊕ W ⇔ (U = V + W) ∧ (V ∩ W = {0}) |
|  \oplus   \veebar  | พีชคณิตนามธรรม | การรวมโดยตรงเป็นการรวมหลายๆวัตถุเข้าด้วยกันให้กลายเป็นวัตถุธรรมดา (General Object)   (มักใช้ ⊕ หรือใช้ตัวโคโพรดักส์ ∐ ส่วน ⊻ ใช้เฉพาะกับตรรกศาสตร์) | โดยทั่วไป ปริภูมิเวกเตอร์ U, V และ W จะได้ผลคือ : U = V ⊕ W ⇔ (U = V + W) ∧ (V ∩ W = {0}) |
|  {~\wedge \!\!\!\!\!\!\bigcirc ~} | ผลิตภัณฑ์คูลคานี-โนมิซุ | เป็นผลเทนเซอร์จากคู่อันดับสมมาตร (0, 2) เป็นความสมมาตรทางพีชคณิตของรีมันน์ เทนเซอร์  f=g{~\wedge \!\!\!\!\!\!\bigcirc ~}hประกอบด้วย  f_{\alpha \beta \gamma \delta }=g_{\alpha \gamma }h_{\beta \delta }+g_{\beta \delta }h_{\alpha \gamma }-g_{\alpha \delta }h_{\beta \gamma }-g_{\beta \gamma }h_{\alpha \delta } |  |
|  {~\wedge \!\!\!\!\!\!\bigcirc ~} | ผลิตภัณฑ์คูลคานี-โนมิซุ | เป็นผลเทนเซอร์จากคู่อันดับสมมาตร (0, 2) เป็นความสมมาตรทางพีชคณิตของรีมันน์ เทนเซอร์  f=g{~\wedge \!\!\!\!\!\!\bigcirc ~}hประกอบด้วย  f_{\alpha \beta \gamma \delta }=g_{\alpha \gamma }h_{\beta \delta }+g_{\beta \delta }h_{\alpha \gamma }-g_{\alpha \delta }h_{\beta \gamma }-g_{\beta \gamma }h_{\alpha \delta } |  |
|  {~\wedge \!\!\!\!\!\!\bigcirc ~} | พีชคณิตเทนเซอร์ (Tensor Algebra) | เป็นผลเทนเซอร์จากคู่อันดับสมมาตร (0, 2) เป็นความสมมาตรทางพีชคณิตของรีมันน์ เทนเซอร์  f=g{~\wedge \!\!\!\!\!\!\bigcirc ~}hประกอบด้วย  f_{\alpha \beta \gamma \delta }=g_{\alpha \gamma }h_{\beta \delta }+g_{\beta \delta }h_{\alpha \gamma }-g_{\alpha \delta }h_{\beta \gamma }-g_{\beta \gamma }h_{\alpha \delta } |  |
|  \Box  | ตัวดำเนินการ d'Alembert | เป็นตัวดำเนินการที่ตรงข้ามกับการดำเนินการลาปาซ เป็นกรุปที่อยู่ภายใต้ปริภูมิ และลดการดำเนินการลาปาซ ซึ่งมีความจำกัดภายใต้ฟังก์ชันเวลาอิสระ ซึ่งมีค่าคงที่ |  \Box ={\frac {2}{c^{2}}} {\partial ^{2} \over \partial t^{2}}-{\partial ^{2} \over \partial x^{2}}-{\partial ^{2} \over \partial y^{2}}-{\partial ^{2} \over \partial z^{2}} |
|  \Box  | ไม่ใช่ตัวดำเนินการลาปาซ | เป็นตัวดำเนินการที่ตรงข้ามกับการดำเนินการลาปาซ เป็นกรุปที่อยู่ภายใต้ปริภูมิ และลดการดำเนินการลาปาซ ซึ่งมีความจำกัดภายใต้ฟังก์ชันเวลาอิสระ ซึ่งมีค่าคงที่ |  \Box ={\frac {2}{c^{2}}} {\partial ^{2} \over \partial t^{2}}-{\partial ^{2} \over \partial x^{2}}-{\partial ^{2} \over \partial y^{2}}-{\partial ^{2} \over \partial z^{2}} |
|  \Box  | แคลคูลัสเวกเตอร์ | เป็นตัวดำเนินการที่ตรงข้ามกับการดำเนินการลาปาซ เป็นกรุปที่อยู่ภายใต้ปริภูมิ และลดการดำเนินการลาปาซ ซึ่งมีความจำกัดภายใต้ฟังก์ชันเวลาอิสระ ซึ่งมีค่าคงที่ |  \Box ={\frac {2}{c^{2}}} {\partial ^{2} \over \partial t^{2}}-{\partial ^{2} \over \partial x^{2}}-{\partial ^{2} \over \partial y^{2}}-{\partial ^{2} \over \partial z^{2}} |