simbol matematika dan artinya
| 
Kategori | 
Simbol | 
Nama | 
Dibaca | 
Penjelasan | 
| 
umum | 
= | 
kesamaan | 
sama
  dengan | 
x = y berarti x dan y mewakili hal
  atau nilai yang sama. | 
| 
≠ | 
Ketidaksamaan | 
tidak
  sama dengan | 
x ≠ y berarti x dan y tidak mewakili
  hal atau nilai yang sama. | |
| 
(
  ) | 
Pengelompokkan
  lebih dulu | 
Laksanakan
  operasi di dalam tanda kurung terlebih dulu | ||
| 
teori
  urutan | 
< > | 
ketidaksamaan | 
lebih
  kecil dari; lebih besar dari | 
x < y berarti x lebih kecil
  dari y. x > y berarti x lebih besar dari y. | 
| 
≤ ≥ | 
ketidaksamaan | 
lebih
  kecil dari atau sama dengan, lebih besar dari atau sama dengan | 
x ≤ y berarti x lebih kecil dari atau sama dengan y. x ≥ y berarti x lebih besar dari atau sama dengan y. | |
| 
aritmatika | 
+ | 
tambah | 
tambah | 
4
  + 6 berarti jumlah antara 4 dan 6. | 
| 
− | 
kurang | 
kurang | 
9
  − 4 berarti 9 dikurangi 4. | |
| 
– | 
tanda
  negatif | 
negatif | 
−3
  berarti negatif dari angka 3. | |
| 
× | 
Perkalian | 
kali | 
3
  × 4 berarti perkalian 3 oleh 4. | |
| 
÷ / | 
pembagian | 
bagi | 
6
  ÷ 3 atau 6/3 berarti 6 dibagi 3. | |
| 
∑ | 
jumlahan | 
Jumlah
  atas … dari … sampai … | 
∑k=1n ak berarti a1 +a2 +
  … + an. | |
| 
∏ | 
produk
  atau jumlah kali | 
Produk
  atas … dari … sampai… | 
∏k=1n ak berartia1a2···an. | |
| 
teori
  himpunan | 
∪ | 
Gabungan
  tak beririsan | 
Gabungan
  tak beririsan dari … dan … | 
A1 + A2 berarti gabungan tak beririsan dari himpunan A1 dan A2. | 
| 
– | 
Komplemen
  teori himpunan | 
minus;
  tanpa | 
A − B berarti
  himpunan yang mempunyai semua anggota dari A yang tidak
  terdapat pada B. | |
| 
x | 
Produk
  Cartesius | 
Produk
  Cartesius dari … dan …; produk langsung dari … dan … | 
X×Y berarti himpunan
  semua pasangan terurut dengan elemen pertama dari tiap pasangan dipilih dari
  X dan elemen kedua dipilih dari Y. | |
| 
{
  , } | 
Kurung
  kurawal | 
Himpunan
  dari … | 
{a,b,c} berarti himpunan terdiri daria, b, dan c. | |
| 
{ :} { | } | 
notasi
  pembangun himpunan | 
Himpunan
  dari … sedemikian sehingga … | 
{x : P(x)} berarti himpunan dari semuax dimana P(x) benar. {x | P(x)} adalah sama
  seperti {x :P(x)}. | |
| 
∅ {} | 
himpunan
  kosong | 
himpunan
  kosong | 
∅
  berarti himpunan yang tidak memiliki elemen. {} juga berarti hal yang sama. | |
| 
⊆ ⊂ | 
Himpunan
  bagian | 
Adalah
  himpunan bagian dari | 
A ⊆ B berarti
  setiap elemen dari A juga elemen
  dari B. A ⊂ B berarti A ⊆ Btetapi A ≠ B. | |
| 
⊇ ⊃ | 
superset | 
Adalah
  superset dari | 
A ⊇ B berarti
  setiap elemen dari B juga elemen
  dari A. A ⊃ B berarti A ⊇ Btetapi A ≠ B. | |
| 
∪ | 
Gabungan
  teori himpunan | 
gabungan
  dari … dan …; gabungan | 
A ∪ B berarti
  himpunan yang berisi semua elemens dari Adan juga semua
  dariB, tetapi tidak selainnya. | |
| 
∩ | 
Irisan
  teori himpunan | 
Beririsan
  dengan; irisan | 
A ∩ B berarti
  himpunan yang berisi semua elemen yang Adan B punya bersama. | |
| 
\ | 
komplemen
  teori himpunan | 
minus;
  tanpa | 
A \ B berarti
  himpunan yang berisi semua elemen dari Ayang tidak ada di
  B. | |
| 
(
  ) | 
Terapan
  fungsi | 
dari | 
f(x) berarti nilai
  fungsif pada elemen x. | |
| 
f:X→Y | 
fungsi
  panah | 
dari
  … ke | 
f: X → Y berarti fungsif memetakan
  himpunan X ke dalam himpunan Y. | |
| 
o | 
Komposisi
  fungsi | 
Komposisi
  dengan | 
fog adalah
  fungsi, sedemikian sehingga (fog)(x) = f(g(x)). | |
| 
∏ | 
Produk
  kartesius | 
Produk
  kartesius dari; produk langsung dari | 
∏i=0nYi berarti
  himpunan dari semua (n+1)-tuples (y0,…,yn). | |
| 
Aljabar
  vektor | 
× | 
hasil
  kali silang | 
kali | 
u
  × v berarti hasil kali silang dari vektor u dan v | 
| 
bilangan
  real | 
√ | 
Akar
  kuadrat | 
akar
  kuadrat | 
√x berarti bilangan positif yang kuadratnya x. | 
| 
Bilangan
  kompleks | 
√ | 
akar
  kuadrat kompleks | 
akar
  kuadrat kompleks dari; akar kuadrat | 
jika z = r exp(iφ) direpresentasikan di koordinat kutub dengan -π
  < φ ≤ π, maka √z = √rexp(iφ/2). | 
| 
Bilangan | 
| | | 
Nilai
  mutlak | 
nilai
  mutlak dari | |
| 
Nℕ | 
Bilangan
  asli | 
N | 
N
  berarti {0,1,2,3,…}, | |
| 
Zℤ | 
Bilangan
  bulat | 
Z | 
Z
  berarti {…,−3,−2,−1,0,1,2,3,…}. | |
| 
Qℚ | 
Bilangan
  rasional | 
Q | 
Q
  berarti {p/q : p,q∈ Z, q ≠ 0}. | |
| 
Rℝ | 
Bilangan
  real | 
R | 
R
  berarti {limn→∞ an: ∀ n ∈ N: an ∈ Q, the limit exists}. | |
| 
Cℂ | 
Bilangan
  kompleks | 
C | 
C
  berarti {a + bi : a,b∈ R}. | |
| 
∞ | 
ketakhinggaan | 
Tak
  hingga | 
∞
  adalah elemen dari perluasan garis bilangan yang lebih besar dari semua
  bilangan real; ini sering terkadi di limit. | |
| 
kombinatorika | 
! | 
faktorial | 
faktorial | 
n! adalah hasil dari 1×2×…×n. | 
| 
statistika | 
~ | 
distribusi
  kemungkinan | 
mempunyai
  distribusi | 
X
  ~ D, berarti peubah
  acak X mempunyai distribusi kemungkinan D. | 
| 
Logika
  proposisi | 
⇒→⊃ | 
material
  implication | 
mengakibatkan;
  jika .. maka | 
A ⇒ B berarti
  jika Abenar maka B juga benar;
  jika A salah maka tiada bisa dikatakan tentang B. → bisa berarti sama seperti ⇒, atau itu bisa berarti untuk fungsi diberikan di bawah. ⊃ bisa berarti sama seperti ⇒, atau itu bisa berarti untuk superset diberikan di bawah. | 
| 
⇔ ↔ | 
material
  equivalence | 
jika
  dan hanya jika; iff | 
A ⇔ B berarti A benar jika B benar
  dan Asalah jika B salah. | |
| 
¬˜ | 
Logika
  ingkaran | 
tidak | 
Pernyataan
  ¬A benar jika dan hanya jika Asalah. Tanda slash ditempatkan melalui operator lain sama seperti “¬” ditempatkan di depan. | |
| 
Logika
  proposisi, teori lattice | 
∧ | 
logika
  konjungsi atau meet di lattice | 
dan | 
Pernyataan A ∧ Bbenar jika A dan Bkeduanya benar; selain itu salah. | 
| 
∨ | 
logical
  disjunction or join in a lattice | 
atau | 
The
  pernyataan A ∨ Bbenar jika A atau B(atau keduanya)
  benar; jika keduanya salah, pernyataan salah. | |
| 
Logika
  proposisi, aljabar boolean | 
⊕⊻ | 
exclusive
  or | 
xor | 
pernyataan A ⊕ Bbenar bila A atau B, tetapi tidak keduanya,
  benar. A ⊻ B berarti sama. | 
| 
Logika
  predikat | 
∀ | 
universal
  quantification | 
untuk
  semua; untuk sebarang; untuk setiap | 
∀ x: P(x) berarti P(x) benar untuk semua x. | 
| 
∃ | 
existential
  quantification | 
terdapat | 
∃ x: P(x) berarti terdapat sedikitnya satu x sedemikian sehingga P(x) benar. | |
| 
∃! | 
uniqueness
  quantification | 
Terdapat
  dengan tepat satu | 
∃! x: P(x) berarti terdapat tepat satu xsedemikian sehinggaP(x) benar. | |
| 
Dimanapun | 
:= ≡:⇔ | 
definisi | 
Didefinisikan
  sebagai | 
x := y atau x ≡ yberarti x didefinisikan menjadi nama lain untuk y (tetapi catat bahwa ≡ dapat juga berarti
  sesuatu lain, misalnya kongruensi). P :⇔ Q berarti Pdidefinisikan secara logika ekivalen ke Q. | 
| 
dimanapun,
  teori himpunan | 
∈ ∉ | 
Keanggotaan
  himpunan | 
Adalah
  elemen dari; bukan elemen dari | 
a ∈ S berarti a elemen dari himpunan S; a ∉S berarti a bukan
  elemen dari S. | 
| 
geometri
  Euclidean | 
π | 
pi | 
π
  berarti perbandingan (rasio) antara keliling lingkaran dengan diameternya. | |
| 
Aljabar
  linear | 
|| || | 
norma | 
norma
  dari; panjang dari | 
||x|| adalah norma elemen x dari ruang vektor bernorma. | 
| 
kalkulus | 
‘ | 
turunan | 
…
  prima; turunan dari … | 
f ‘(x) adalah turunan
  dari fungsi f pada titikx, yaitu, kemiringan dari garis singgung. | 
| 
∫ | 
Integral
  tak tentu atau antiturunan | 
Integral
  tak tentu dari …; antiturunan dari … | 
∫ f(x) dx berarti fungsi dimana turunannya adalah f. | |
| 
∫ | 
integral
  tentu | 
integral
  dari … sampai … dari … berkenaan dengan | 
∫ab f(x) dx berarti area ditandai antara sumbu x dan grafik fungsi f antara x = adan x = b. | |
| 
∇ | 
gradien | 
del,
  nabla, gradien dari | 
∇f (x1, …, xn) adalah
  vektor dari turunan parsial (df / dx1, …, df/ dxn). | |
| 
∂ | 
Turunan
  parsial | 
Turunan
  parsial dari | 
dengan f (x1, …, xn), ∂f/∂xi adalah
  turunan dari f berkenaan dengan xi, dengan semua variabel lainnya tetap konstan. | |
| 
topologi | 
∂ | 
batas | 
Batas
  dari | 
∂M berarti batas dariM | 
| 
geometri | 
⊥ | 
Tegak
  lurus | 
Adalah
  tegak lurus dengan | 
x ⊥ y berarti x tegak lurus dengan y; atau secara umum xortogonal
  ke y. | 
| 
Teori
  lattice | 
⊥ | 
elemen
  dasar | 
elemen
  dasar | 
x = ⊥ berarti x adalah
  elemen terkecil. | 
| 
Teori
  model | 
|= | 
Perikutan/entailment | 
mengikuti | 
A ⊧ B berarti
  kalimat Amengikuti kalimat B, bahwa setiap model dimana A benar, Bjuga benar. | 
| 
Logika
  proposisi, logika predikat | 
|- | 
inferensi | 
Menyimpulkan
  atau diturunkan dari | 
x ⊢ y berarti yditurunkan dari x. | 
| 
Teori
  grup | 
◅ | 
subgrup
  normal | 
adalah
  subgrup normal dari | 
N ◅ G berarti
  bahwa Nadalah subgrup normal dari grup G. | 
| 
/ | 
Grup
  kosien | 
mod | 
G/H berarti
  kosien dari grup G modulo itu
  adalah subgrup H. | |
| 
≈ | 
isomorfisma | 
isomorfik
  ke | 
G ≈ H berarti
  bahwa grup isomorphic ke group | 
