Daftar simbol matematika
Simbol yang mengarah ke kiri atau ke kanan

| Simbol> Simbol.Simbol | Nama> Dibaca sebagai.Kategori | Penjelasan> Penjelasan.Penjelasan | Contoh> Contoh.Contoh |
| --- | --- | --- | --- |
| <  > | Ketidaksamaan | x < y berarti x kurang dari y.  x > y berarti x lebih dari y. | 3 < 4   5 > 4 |
| <  > | kurang dari; lebih dari | x < y berarti x kurang dari y.  x > y berarti x lebih dari y. | 3 < 4   5 > 4 |
| <  > | teori order | x < y berarti x kurang dari y.  x > y berarti x lebih dari y. | 3 < 4   5 > 4 |
| ≤  ≥ | Ketidaksamaan | x ≤ y berarti x kurang dari atau sama dengan y.  x ≥ y berarti x lebih dari atau sama dengan y. | 3 ≤ 4 and 5 ≤ 5  5 ≥ 4 and 5 ≥ 5 |
| ≤  ≥ | kurang dari atau sama dengan, lebih dari atau sama dengan | x ≤ y berarti x kurang dari atau sama dengan y.  x ≥ y berarti x lebih dari atau sama dengan y. | 3 ≤ 4 and 5 ≤ 5  5 ≥ 4 and 5 ≥ 5 |
| ≤  ≥ | teori order | x ≤ y berarti x kurang dari atau sama dengan y.  x ≥ y berarti x lebih dari atau sama dengan y. | 3 ≤ 4 and 5 ≤ 5  5 ≥ 4 and 5 ≥ 5 |
| f:X→Y | panah fungsi | f: X → Y berarti fungsi f memetakan himpunan X ke dalam himpunan Y. | Biarlah f: Z → N didefinisikan oleh f(x) = x2. |
| f:X→Y | dari … ke | f: X → Y berarti fungsi f memetakan himpunan X ke dalam himpunan Y. | Biarlah f: Z → N didefinisikan oleh f(x) = x2. |
| f:X→Y | teori himpunan | f: X → Y berarti fungsi f memetakan himpunan X ke dalam himpunan Y. | Biarlah f: Z → N didefinisikan oleh f(x) = x2. |
| ⇒  →  ⊃ | implikasi material | A ⇒ B artinya jika A benar maka B juga benar; jika A salah, maka tidak ada yang dapat dikatakan mengenai B.  → dapat berarti sama dengan ⇒, atau dapat berarti untuk fungsi yang diberikan di bawah.  ⊃ dapat berarti sama dengan ⇒, atau dapat berarti untuk superset yang diberikan di bawah. | x = 2  ⇒  x2 = 4 adalah benar, tetapi x2 = 4   ⇒  x = 2 secara umum adalah salah (karena x dapat saja bernilai −2). |
| ⇒  →  ⊃ | mengimplikasikan; jika .. maka | A ⇒ B artinya jika A benar maka B juga benar; jika A salah, maka tidak ada yang dapat dikatakan mengenai B.  → dapat berarti sama dengan ⇒, atau dapat berarti untuk fungsi yang diberikan di bawah.  ⊃ dapat berarti sama dengan ⇒, atau dapat berarti untuk superset yang diberikan di bawah. | x = 2  ⇒  x2 = 4 adalah benar, tetapi x2 = 4   ⇒  x = 2 secara umum adalah salah (karena x dapat saja bernilai −2). |
| ⇒  →  ⊃ | propositional logic | A ⇒ B artinya jika A benar maka B juga benar; jika A salah, maka tidak ada yang dapat dikatakan mengenai B.  → dapat berarti sama dengan ⇒, atau dapat berarti untuk fungsi yang diberikan di bawah.  ⊃ dapat berarti sama dengan ⇒, atau dapat berarti untuk superset yang diberikan di bawah. | x = 2  ⇒  x2 = 4 adalah benar, tetapi x2 = 4   ⇒  x = 2 secara umum adalah salah (karena x dapat saja bernilai −2). |
| ¬  ˜ | negasi logika | Pernyataan ¬A benar jika dan hanya jika A salah.  A slash ditempatkan melalui operator lain sama dengan "¬" ditempatkan di depan. | ¬(¬A) ⇔ A   x ≠ y  ⇔  ¬(x =  y) |
| ¬  ˜ | "bukan" | Pernyataan ¬A benar jika dan hanya jika A salah.  A slash ditempatkan melalui operator lain sama dengan "¬" ditempatkan di depan. | ¬(¬A) ⇔ A   x ≠ y  ⇔  ¬(x =  y) |
| ¬  ˜ | propositional logic | Pernyataan ¬A benar jika dan hanya jika A salah.  A slash ditempatkan melalui operator lain sama dengan "¬" ditempatkan di depan. | ¬(¬A) ⇔ A   x ≠ y  ⇔  ¬(x =  y) |
| ∧ | logical conjunction atau meet dalam lattice | Pernyataan A ∧ B benar jika A dan B keduanya benar; jika bukan itu salah. | n < 4  ∧  n > 2  ⇔  n = 3 di mana n adalah bilangan asli. |
| ∧ | "dan" | Pernyataan A ∧ B benar jika A dan B keduanya benar; jika bukan itu salah. | n < 4  ∧  n > 2  ⇔  n = 3 di mana n adalah bilangan asli. |
| ∧ | propositional logic, lattice theory | Pernyataan A ∧ B benar jika A dan B keduanya benar; jika bukan itu salah. | n < 4  ∧  n > 2  ⇔  n = 3 di mana n adalah bilangan asli. |
| ∨ | logical disjunction atau join dalam suatu lattice | Pernyataan A ∨ B benar jika A atau B (atau keduanya) benar; jika keduanya salah, pernyataan itu salah. | n ≥ 4  ∨  n ≤ 2  ⇔ n ≠ 3 bilamana n adalah bilangan asli. |
| ∨ | "atau" | Pernyataan A ∨ B benar jika A atau B (atau keduanya) benar; jika keduanya salah, pernyataan itu salah. | n ≥ 4  ∨  n ≤ 2  ⇔ n ≠ 3 bilamana n adalah bilangan asli. |
| ∨ | propositional logic, lattice theory | Pernyataan A ∨ B benar jika A atau B (atau keduanya) benar; jika keduanya salah, pernyataan itu salah. | n ≥ 4  ∨  n ≤ 2  ⇔ n ≠ 3 bilamana n adalah bilangan asli. |