รายการสัญลักษณ์ทางคณิตศาสตร์
สัญลักษณ์ที่ชี้ไปทางซ้าย/ขวา

| สัญลักษณ์> สัญลักษณ์.สัญลักษณ์ | ชื่อ> คำอ่าน.หมวดหมู่ | คำอธิบาย> คำอธิบาย.คำอธิบาย | ตัวอย่าง> ตัวอย่าง.ตัวอย่าง |
| --- | --- | --- | --- |
|  <  > | น้อยกว่า/มากกว่า | x < y หมายความว่า x น้อยกว่า y x > y หมายความว่า x มากกว่า y | 3 < 4 5 > 4 |
|  <  > | น้อยกว่า/มากกว่า | x < y หมายความว่า x น้อยกว่า y x > y หมายความว่า x มากกว่า y | 3 < 4 5 > 4 |
|  <  > | การจัดลำดับ, อสมการ | x < y หมายความว่า x น้อยกว่า y x > y หมายความว่า x มากกว่า y | 3 < 4 5 > 4 |
|  <  > | ความสอดคล้องของซับกรุป | H < G หมายความว่า H มีความสอดคล้องเป็นซับกรุป G | 5Z < Z  A_{3}<S_{3} |
|  <  > | สอดคล้องกับ | H < G หมายความว่า H มีความสอดคล้องเป็นซับกรุป G | 5Z < Z  A_{3}<S_{3} |
|  <  > | ทฤษฎีกรุป | H < G หมายความว่า H มีความสอดคล้องเป็นซับกรุป G | 5Z < Z  A_{3}<S_{3} |
|  \ll   \gg  | น้อยกว่า/มากกว่า (มากๆ) | x << y หมายความว่า x น้อยกว่า y มาก x >> y หมายความว่า x มากกว่า y มาก | 0.003 ≪ 1,000,000 |
|  \ll   \gg  | น้อยกว่า...มาก/มากกว่า...มาก | x << y หมายความว่า x น้อยกว่า y มาก x >> y หมายความว่า x มากกว่า y มาก | 0.003 ≪ 1,000,000 |
|  \ll   \gg  | การจัดลำดับ | x << y หมายความว่า x น้อยกว่า y มาก x >> y หมายความว่า x มากกว่า y มาก | 0.003 ≪ 1,000,000 |
|  \ll   \gg  | การเปรียบเทียบของ การกระจายเชิงเส้นกำกับ | f << g หมายความว่า f ชันขึ้นกว่า g |  x\ll e^{x} |
|  \ll   \gg  | มีชุดน้อยกว่า.../มีชุดมากกว่า... | f << g หมายความว่า f ชันขึ้นกว่า g |  x\ll e^{x} |
|  \ll   \gg  | การวิเคราห์ตัวเลข | f << g หมายความว่า f ชันขึ้นกว่า g |  x\ll e^{x} |
|  \ll   \gg  | ต่อเนื่อง |  \mu \ll \nu  หมายความว่า  \mu  เพิ่มขึ้น อย่างต่อเนื่องและคงที่กับ  \nu  (ป.ล. ถ้า  \nu (A)=0 จะได้  \mu (A)=0 | ถ้านับ c แบบ counting measure กับ [0, 1] แล้วนับ  \mu  แบบ Lebesgue measure แล้ว \mu \ll c |
|  \ll   \gg  | ต่อเนื่องอย่างคงที่กับ... |  \mu \ll \nu  หมายความว่า  \mu  เพิ่มขึ้น อย่างต่อเนื่องและคงที่กับ  \nu  (ป.ล. ถ้า  \nu (A)=0 จะได้  \mu (A)=0 | ถ้านับ c แบบ counting measure กับ [0, 1] แล้วนับ  \mu  แบบ Lebesgue measure แล้ว \mu \ll c |
|  \ll   \gg  | การวัด |  \mu \ll \nu  หมายความว่า  \mu  เพิ่มขึ้น อย่างต่อเนื่องและคงที่กับ  \nu  (ป.ล. ถ้า  \nu (A)=0 จะได้  \mu (A)=0 | ถ้านับ c แบบ counting measure กับ [0, 1] แล้วนับ  \mu  แบบ Lebesgue measure แล้ว \mu \ll c |
|  \leq   \geq  | น้อย/มากกว่าหรือเท่ากับ | x ≤ y หมายความว่า x น้อยกว่าหรือเท่ากับ y x ≥ y หมายความว่า x มากกว่าหรือเท่ากับ y (บางทีอาจใช้ <= หรือ => ในแบบภาษาคอมพิวเตอร์ และรหัสแอสกี) (บางคนอาจใช้ ≦ และ≧  แต่จะนิยมใช้ ≤, ≥ ซะมากกว่า) | 3 ≤ 4 และ 5 ≤ 5 5 ≥ 4 และ 5 ≥ 5 |
|  \leq   \geq  | น้อยกว่าหรือเท่ากับ.../ มากกว่าหรือเท่ากับ... | x ≤ y หมายความว่า x น้อยกว่าหรือเท่ากับ y x ≥ y หมายความว่า x มากกว่าหรือเท่ากับ y (บางทีอาจใช้ <= หรือ => ในแบบภาษาคอมพิวเตอร์ และรหัสแอสกี) (บางคนอาจใช้ ≦ และ≧  แต่จะนิยมใช้ ≤, ≥ ซะมากกว่า) | 3 ≤ 4 และ 5 ≤ 5 5 ≥ 4 และ 5 ≥ 5 |
|  \leq   \geq  | การจัดลำดับ, อสมการ | x ≤ y หมายความว่า x น้อยกว่าหรือเท่ากับ y x ≥ y หมายความว่า x มากกว่าหรือเท่ากับ y (บางทีอาจใช้ <= หรือ => ในแบบภาษาคอมพิวเตอร์ และรหัสแอสกี) (บางคนอาจใช้ ≦ และ≧  แต่จะนิยมใช้ ≤, ≥ ซะมากกว่า) | 3 ≤ 4 และ 5 ≤ 5 5 ≥ 4 และ 5 ≥ 5 |
|  \leq   \geq  | ซับกรุป | H ≤ G หมายความว่า H เป็นซับกรุปของ G | Z ≤ Z |
|  \leq   \geq  | เป็นซับกรุปของ | H ≤ G หมายความว่า H เป็นซับกรุปของ G | Z ≤ Z |
|  \leq   \geq  | ทฤษฎีกรุป | H ≤ G หมายความว่า H เป็นซับกรุปของ G | Z ≤ Z |
|  \leq   \geq  | การลดรูป | A ≤ B หมายความว่า ปัญหา A ลดรูปได้ B (สามารถเขียนกำกับได้ว่าเป็นการลดรูปแบบไหน) | ถ้า  \exists f\in F.\forall x\in \mathbb {N} .x\in A\Leftrightarrow f(x)\in Bแล้ว  A\leq _{F}B |
|  \leq   \geq  | ลดรูปได้ | A ≤ B หมายความว่า ปัญหา A ลดรูปได้ B (สามารถเขียนกำกับได้ว่าเป็นการลดรูปแบบไหน) | ถ้า  \exists f\in F.\forall x\in \mathbb {N} .x\in A\Leftrightarrow f(x)\in Bแล้ว  A\leq _{F}B |
|  \leq   \geq  | ทฤษฎีความซับซ้อนในการคำนวณ | A ≤ B หมายความว่า ปัญหา A ลดรูปได้ B (สามารถเขียนกำกับได้ว่าเป็นการลดรูปแบบไหน) | ถ้า  \exists f\in F.\forall x\in \mathbb {N} .x\in A\Leftrightarrow f(x)\in Bแล้ว  A\leq _{F}B |
|  \leqq   \geqq  | ความสัมพันธ์เชิงกรูเอนซ์ |  | 10a ≡ 5 (มอดุลัส 5) ได้แก่ 1 ≦ a ≦ 10 |
|  \leqq   \geqq  | ...น้อยกว่า.../ ...มากกว่า... |  | 10a ≡ 5 (มอดุลัส 5) ได้แก่ 1 ≦ a ≦ 10 |
|  \leqq   \geqq  | เลขคณิตมอดุลาร์ |  | 10a ≡ 5 (มอดุลัส 5) ได้แก่ 1 ≦ a ≦ 10 |
|  \leqq   \geqq  | ความเท่ากันเชิงเวกเตอร์ | x ≦ y หมายความว่าแต่ละตัวประกอบของ x น้อยกว่าหรือเท่ากับตามอัตราส่วนของตัวประกอบ y x ≧ y หมายความว่าแต่ละตัวประกอบของ x มากกว่าหรือเท่ากับตามอัตราส่วนของตัวประกอบ y (อย่างไรก็ดี x ≦ y ยังคงเป็นจริง ถ้าทุกๆตัวเท่ากัน และถ้าต่อให้การดำเนินการเปลี่ยนไป x ≤ y ดังนั้น x ≠ y ยังคงเป็นจริง |  |
|  \leqq   \geqq  | ...น้อยกว่าหรือเท่ากับ.../ ...มากกว่าหรือเท่ากับ... | x ≦ y หมายความว่าแต่ละตัวประกอบของ x น้อยกว่าหรือเท่ากับตามอัตราส่วนของตัวประกอบ y x ≧ y หมายความว่าแต่ละตัวประกอบของ x มากกว่าหรือเท่ากับตามอัตราส่วนของตัวประกอบ y (อย่างไรก็ดี x ≦ y ยังคงเป็นจริง ถ้าทุกๆตัวเท่ากัน และถ้าต่อให้การดำเนินการเปลี่ยนไป x ≤ y ดังนั้น x ≠ y ยังคงเป็นจริง |  |
|  \leqq   \geqq  | การจัดลำดับ | x ≦ y หมายความว่าแต่ละตัวประกอบของ x น้อยกว่าหรือเท่ากับตามอัตราส่วนของตัวประกอบ y x ≧ y หมายความว่าแต่ละตัวประกอบของ x มากกว่าหรือเท่ากับตามอัตราส่วนของตัวประกอบ y (อย่างไรก็ดี x ≦ y ยังคงเป็นจริง ถ้าทุกๆตัวเท่ากัน และถ้าต่อให้การดำเนินการเปลี่ยนไป x ≤ y ดังนั้น x ≠ y ยังคงเป็นจริง |  |
|  \prec   \succ  | การลดรูปคาร์ป | L1 ≺ L2 หมายความว่า L1 ลดรูปแบบคาร์ปได้ L2 | ถ้า L1 ≺ L2 และ L2 ∈ P, แล้ว L1 ∈ P |
|  \prec   \succ  | ลดรูปแบบคาร์ปได้... | L1 ≺ L2 หมายความว่า L1 ลดรูปแบบคาร์ปได้ L2 | ถ้า L1 ≺ L2 และ L2 ∈ P, แล้ว L1 ∈ P |
|  \prec   \succ  | ทฤษฎีความซับซ้อนในการคำนวณ | L1 ≺ L2 หมายความว่า L1 ลดรูปแบบคาร์ปได้ L2 | ถ้า L1 ≺ L2 และ L2 ∈ P, แล้ว L1 ∈ P |
|  \prec   \succ  | เรียงลำดับไม่ต่อเนื่องกัน | P ≺ Q หมายความว่า ตัวประกอบใน P ไม่สัมพัทธ์กับ Q | ถ้า P1 ≺ Q2 แล้ว  \forall _{i}P_{i}\leq A_{i}\land \exists P_{i}<Q_{i} |
|  \prec   \succ  | เรียงลำดับไม่ต่อเนื่องกับ | P ≺ Q หมายความว่า ตัวประกอบใน P ไม่สัมพัทธ์กับ Q | ถ้า P1 ≺ Q2 แล้ว  \forall _{i}P_{i}\leq A_{i}\land \exists P_{i}<Q_{i} |
|  \prec   \succ  | การเพิ่มประสิทธิภาพแบบหลากหลาย | P ≺ Q หมายความว่า ตัวประกอบใน P ไม่สัมพัทธ์กับ Q | ถ้า P1 ≺ Q2 แล้ว  \forall _{i}P_{i}\leq A_{i}\land \exists P_{i}<Q_{i} |
|  \triangleleft   \triangleright  | ซับกรุปปกติ | N ◅ G หมายความว่า N เป็นซับกรุปปกติของ G | Z(G) ◅ G |
|  \triangleleft   \triangleright  | เป็นซับกรุปปกติของ | N ◅ G หมายความว่า N เป็นซับกรุปปกติของ G | Z(G) ◅ G |
|  \triangleleft   \triangleright  | ทฤษฎีกรุป | N ◅ G หมายความว่า N เป็นซับกรุปปกติของ G | Z(G) ◅ G |
|  \triangleleft   \triangleright  | อุดมคติ | I ◅ R หมายความว่า I เป็นอุมคติของริง R | (2) ◅ Z |
|  \triangleleft   \triangleright  | เป็นอุดมคติของ | I ◅ R หมายความว่า I เป็นอุมคติของริง R | (2) ◅ Z |
|  \triangleleft   \triangleright  | ทฤษฎีริง | I ◅ R หมายความว่า I เป็นอุมคติของริง R | (2) ◅ Z |
|  \triangleleft   \triangleright  | ไม่ต่อเนื่อง | R ▻ S หมายความว่า R เป็นจุดไม่ต่อเนื่องของ S , หลายสิ่งอันดับของ S ไม่สัมพันธ์กับหลายสิ่งอันดับของ R |  R\triangleright S=R-R\ltimes S |
|  \triangleleft   \triangleright  | ไม่ต่อเนื่องกับ | R ▻ S หมายความว่า R เป็นจุดไม่ต่อเนื่องของ S , หลายสิ่งอันดับของ S ไม่สัมพันธ์กับหลายสิ่งอันดับของ R |  R\triangleright S=R-R\ltimes S |
|  \triangleleft   \triangleright  | พีชคณิตเชิงสัมพัทธ์ | R ▻ S หมายความว่า R เป็นจุดไม่ต่อเนื่องของ S , หลายสิ่งอันดับของ S ไม่สัมพันธ์กับหลายสิ่งอันดับของ R |  R\triangleright S=R-R\ltimes S |
|  \Rightarrow   \rightarrow   \supset  | เงื่อนไขเชิงตรรกศาสตร์ | A ⇒ B หมายความว่าถ้า A จริง แล้ว B ก็เป็นจริงด้วย ถ้า A เป็นเท็จ แสดงว่าไม่มีการกล่าวถึง B (→ อาจใช้แทน ⇒ ได้ หรือจะใช้ในเชิงฟังก์ชัน) (⊃ อาจใช้แทน ⇒ ได้ หรืออาจจะมีความหมายว่าซับเซต) | x = 6 ⇒ x2 − 5 = 36 − 5 = 31 เป็นจริง แต่ x2 − 5 = 36 −5 = 31 ⇒ x = 6 เป็นเท็จ (เพราะ x อาจจะเป็น -6 ได้) |
|  \Rightarrow   \rightarrow   \supset  | ดั้งนั้น, ถ้า...แล้ว... | A ⇒ B หมายความว่าถ้า A จริง แล้ว B ก็เป็นจริงด้วย ถ้า A เป็นเท็จ แสดงว่าไม่มีการกล่าวถึง B (→ อาจใช้แทน ⇒ ได้ หรือจะใช้ในเชิงฟังก์ชัน) (⊃ อาจใช้แทน ⇒ ได้ หรืออาจจะมีความหมายว่าซับเซต) | x = 6 ⇒ x2 − 5 = 36 − 5 = 31 เป็นจริง แต่ x2 − 5 = 36 −5 = 31 ⇒ x = 6 เป็นเท็จ (เพราะ x อาจจะเป็น -6 ได้) |
|  \Rightarrow   \rightarrow   \supset  | ตรรกศาสตร์, พีชคณิตเฮย์ทิง | A ⇒ B หมายความว่าถ้า A จริง แล้ว B ก็เป็นจริงด้วย ถ้า A เป็นเท็จ แสดงว่าไม่มีการกล่าวถึง B (→ อาจใช้แทน ⇒ ได้ หรือจะใช้ในเชิงฟังก์ชัน) (⊃ อาจใช้แทน ⇒ ได้ หรืออาจจะมีความหมายว่าซับเซต) | x = 6 ⇒ x2 − 5 = 36 − 5 = 31 เป็นจริง แต่ x2 − 5 = 36 −5 = 31 ⇒ x = 6 เป็นเท็จ (เพราะ x อาจจะเป็น -6 ได้) |
|  \subseteq   \subset  | ซับเซต | A ⊆ B หมายความว่า สมาชิกของเซต A ก็เป็นสมาชิกของเซต B ด้วย (เป็นซับเซตแท้) A ⊂ B หมายความว่า A ⊆ B แต่ A ≠ B (บางคนใช้ ⊂ แทน ⊆) | (A ∩ B) ⊆ A ℕ ⊂ ℚ ℚ ⊂ ℝ |
|  \subseteq   \subset  | เป็นซับเซตของ | A ⊆ B หมายความว่า สมาชิกของเซต A ก็เป็นสมาชิกของเซต B ด้วย (เป็นซับเซตแท้) A ⊂ B หมายความว่า A ⊆ B แต่ A ≠ B (บางคนใช้ ⊂ แทน ⊆) | (A ∩ B) ⊆ A ℕ ⊂ ℚ ℚ ⊂ ℝ |
|  \subseteq   \subset  | เซต | A ⊆ B หมายความว่า สมาชิกของเซต A ก็เป็นสมาชิกของเซต B ด้วย (เป็นซับเซตแท้) A ⊂ B หมายความว่า A ⊆ B แต่ A ≠ B (บางคนใช้ ⊂ แทน ⊆) | (A ∩ B) ⊆ A ℕ ⊂ ℚ ℚ ⊂ ℝ |
|  \supseteq   \supset  | ซูเปอร์เซต | A ⊇ B หมายความว่า สมาชิกทุกตัวของเซต B เป็นสมาชิกของเซต A ด้วย A ⊃ B = A ⊇ B แต่ A ≠ B | (A ∪ B) ⊇ B ℝ ⊃ ℚ |
|  \supseteq   \supset  | เป็นซูเปอร์เซตของ | A ⊇ B หมายความว่า สมาชิกทุกตัวของเซต B เป็นสมาชิกของเซต A ด้วย A ⊃ B = A ⊇ B แต่ A ≠ B | (A ∪ B) ⊇ B ℝ ⊃ ℚ |
|  \supseteq   \supset  | เซต | A ⊇ B หมายความว่า สมาชิกทุกตัวของเซต B เป็นสมาชิกของเซต A ด้วย A ⊃ B = A ⊇ B แต่ A ≠ B | (A ∪ B) ⊇ B ℝ ⊃ ℚ |
|  \Subset  | ฝังอยู่อย่างติดตรึง | A ⋐ B หมายความว่าตัวที่ใกล้เคียงกับ B เป็นซับเซตของ A ด้วย | ℚ  \cap (0,1)\Subset [0,5] |
|  \Subset  | ติดอยู่กับ | A ⋐ B หมายความว่าตัวที่ใกล้เคียงกับ B เป็นซับเซตของ A ด้วย | ℚ  \cap (0,1)\Subset [0,5] |
|  \Subset  | เซต | A ⋐ B หมายความว่าตัวที่ใกล้เคียงกับ B เป็นซับเซตของ A ด้วย | ℚ  \cap (0,1)\Subset [0,5] |
|  \to  | ลูกศรฟังก์ชัน | f: X → Y หมายความว่า แผนภาพฟังก์ชันของ f จาก X ไป Y | ให้ f: ℤ → ℕ ∪ {0} ถูกกำหนดโดย f(x) := x2. |
|  \to  | จาก...ไป... | f: X → Y หมายความว่า แผนภาพฟังก์ชันของ f จาก X ไป Y | ให้ f: ℤ → ℕ ∪ {0} ถูกกำหนดโดย f(x) := x2. |
|  \to  | เซต, ไทป์ | f: X → Y หมายความว่า แผนภาพฟังก์ชันของ f จาก X ไป Y | ให้ f: ℤ → ℕ ∪ {0} ถูกกำหนดโดย f(x) := x2. |
|  \mapsto  | ลูกศรฟังก์ชัน | f: a ↦ b หมายความว่า ฟังก์ชัน f แมพไปยังสมาชิกของ a ไปยังสมาชิกของ b | ให้ f: x ↦ x + 1 |
|  \mapsto  | แมพไปยัง | f: a ↦ b หมายความว่า ฟังก์ชัน f แมพไปยังสมาชิกของ a ไปยังสมาชิกของ b | ให้ f: x ↦ x + 1 |
|  \mapsto  | เซต | f: a ↦ b หมายความว่า ฟังก์ชัน f แมพไปยังสมาชิกของ a ไปยังสมาชิกของ b | ให้ f: x ↦ x + 1 |
|  \leftarrow  | โดยนัย | a ← b หมายความว่า ประพจน์ a และ b ถ้า b หมายความว่า a แล้ว a จะเป็นนัยของ b.a ต่อสมาชิกของ b. หรือจะอ่านว่า a ถ้า b หรือไม่ใช่ b เมื่อไม่มี a (เอ้อ แล้วก็อย่าไปสับสนกับเรื่องการกำหนดค่าด้วย) |  |
|  \leftarrow  | ...ถ้า... | a ← b หมายความว่า ประพจน์ a และ b ถ้า b หมายความว่า a แล้ว a จะเป็นนัยของ b.a ต่อสมาชิกของ b. หรือจะอ่านว่า a ถ้า b หรือไม่ใช่ b เมื่อไม่มี a (เอ้อ แล้วก็อย่าไปสับสนกับเรื่องการกำหนดค่าด้วย) |  |
|  \leftarrow  | ตรรกศาสตร์ | a ← b หมายความว่า ประพจน์ a และ b ถ้า b หมายความว่า a แล้ว a จะเป็นนัยของ b.a ต่อสมาชิกของ b. หรือจะอ่านว่า a ถ้า b หรือไม่ใช่ b เมื่อไม่มี a (เอ้อ แล้วก็อย่าไปสับสนกับเรื่องการกำหนดค่าด้วย) |  |
|  <:  <\cdot  | ซับไทป์ | T1 <: T2 หมายความว่า T1 เป็นซับไทป์ของ T2 | ถ้า S <: T และ T <: U แล้ว S <: U |
|  <:  <\cdot  | เป็นซับไทป์ของ | T1 <: T2 หมายความว่า T1 เป็นซับไทป์ของ T2 | ถ้า S <: T และ T <: U แล้ว S <: U |
|  <:  <\cdot  | ไทป์ | T1 <: T2 หมายความว่า T1 เป็นซับไทป์ของ T2 | ถ้า S <: T และ T <: U แล้ว S <: U |
|  <:  <\cdot  | ครอบคลุม | x <• y หมายความว่า x ถูกครอบคลุมโดย y | {1, 8} <• {1, 3, 8} และอยู่ในเซต {1, 2, ..., 10} จัดเรียงตามสมาชิก |
|  <:  <\cdot  | ครอบคลุมโดย | x <• y หมายความว่า x ถูกครอบคลุมโดย y | {1, 8} <• {1, 3, 8} และอยู่ในเซต {1, 2, ..., 10} จัดเรียงตามสมาชิก |
|  <:  <\cdot  | การจัดลำดับ | x <• y หมายความว่า x ถูกครอบคลุมโดย y | {1, 8} <• {1, 3, 8} และอยู่ในเซต {1, 2, ..., 10} จัดเรียงตามสมาชิก |
|  \vDash  | ส่งต่อ | A ⊧ B หมายความว่า ประโยค A ส่งผลแก่ B ในทุกๆโมเดล ถ้า A เป็นจริง B ก็จะเป็นจริงด้วย | A ⊧ A ∨ ¬A |
|  \vDash  | ส่งต่อให้แก่ | A ⊧ B หมายความว่า ประโยค A ส่งผลแก่ B ในทุกๆโมเดล ถ้า A เป็นจริง B ก็จะเป็นจริงด้วย | A ⊧ A ∨ ¬A |
|  \vDash  | ทฤษฎีโมเดล | A ⊧ B หมายความว่า ประโยค A ส่งผลแก่ B ในทุกๆโมเดล ถ้า A เป็นจริง B ก็จะเป็นจริงด้วย | A ⊧ A ∨ ¬A |
|  \vdash  | อนุมาน | x ⊢ y หมายความว่า y มาจาก x | A → B ⊢ ¬B → ¬A |
|  \vdash  | อนุมานได้ว่า | x ⊢ y หมายความว่า y มาจาก x | A → B ⊢ ¬B → ¬A |
|  \vdash  | ตรรกศาสตร์ | x ⊢ y หมายความว่า y มาจาก x | A → B ⊢ ¬B → ¬A |
|  \vdash  | การแบ่งส่วน | p ⊢ n หมายความว่าเมื่อแบ่ง p แล้วจะได้ n |  (4,3,1,1)\vdash 9,\sum _{\lambda \vdash =n}(f\lambda )^{2}=n! |
|  \vdash  | แบ่งส่วนได้ | p ⊢ n หมายความว่าเมื่อแบ่ง p แล้วจะได้ n |  (4,3,1,1)\vdash 9,\sum _{\lambda \vdash =n}(f\lambda )^{2}=n! |
|  \vdash  | ทฤษฎีจำนวน | p ⊢ n หมายความว่าเมื่อแบ่ง p แล้วจะได้ n |  (4,3,1,1)\vdash 9,\sum _{\lambda \vdash =n}(f\lambda )^{2}=n! |
|  \langle | | เวกเตอร์บรา | ⟨φ| หมายความว่าเป็นคู่ของเวกเตอร์ |φ⟩ ฟังก์ชันเชิงเส้น ที่เป็นเค็ทกับ |ψ⟩ ซึ่งจะได้  ⟨φ|ψ⟩ |  |
|  \langle | | บรา..., คู่ของ... | ⟨φ| หมายความว่าเป็นคู่ของเวกเตอร์ |φ⟩ ฟังก์ชันเชิงเส้น ที่เป็นเค็ทกับ |ψ⟩ ซึ่งจะได้  ⟨φ|ψ⟩ |  |
|  \langle | | สัญกรณ์บรา-เค็ท | ⟨φ| หมายความว่าเป็นคู่ของเวกเตอร์ |φ⟩ ฟังก์ชันเชิงเส้น ที่เป็นเค็ทกับ |ψ⟩ ซึ่งจะได้  ⟨φ|ψ⟩ |  |
|  |\rangle  | เวกเตอร์เค็ท | |φ⟩ คือ เวกเตอร์ที่ถูกกำกับด้วย φ ซึ่งอยู่ในปริภูมิของฮิลเบิร์ต | สถานะคิวบิต ซึ่งออกมาเป็น α|0⟩+ β|1⟩ ที่ซึ่ง α และ β เป็นจำนวนเชิงซ้อน (|α|2 + |β|2 = 1) |
|  |\rangle  | เค็ท..., เวกเตอร์... | |φ⟩ คือ เวกเตอร์ที่ถูกกำกับด้วย φ ซึ่งอยู่ในปริภูมิของฮิลเบิร์ต | สถานะคิวบิต ซึ่งออกมาเป็น α|0⟩+ β|1⟩ ที่ซึ่ง α และ β เป็นจำนวนเชิงซ้อน (|α|2 + |β|2 = 1) |
|  |\rangle  | สัญกรณ์บรา-เค็ท | |φ⟩ คือ เวกเตอร์ที่ถูกกำกับด้วย φ ซึ่งอยู่ในปริภูมิของฮิลเบิร์ต | สถานะคิวบิต ซึ่งออกมาเป็น α|0⟩+ β|1⟩ ที่ซึ่ง α และ β เป็นจำนวนเชิงซ้อน (|α|2 + |β|2 = 1) |