Simbol matematika dasar[sunting 

| sunting sumber]

Nama

Simbo
Dibaca sebagai Penjelasan Contoh
l

Kategori

Perjumlahan

4 + 6 berarti jumlah antara 4 dan 6. 2+7=9

aritmetika

+
union disjoin

A1={1,2,3,4}
∧ A2={2,4,5,7} ⇒
gabungan disjoin A1 + A2 berarti disjoint union
A1 + A2 = {(1,1), (2,1),
dari ... dan ... himpunan A1 dan A2.
(3,1), (4,1), (2,2), (4,2),
(5,2), (7,2)}

teori himpunan

− Perkurangan

kurang 9 − 4 berarti 9 dikurangi 4. 8−3=5

aritmetika

tanda negatif

negatif −3 berarti negatif dari angka 3. −(−5) = 5

aritmetika

set-theoretic A − B berarti himpunan yang mempunyai {1,2,4} − {1,3,4}  =  {2}

 complement

semua anggota dari A yang tidak terdapat

minus; tanpa
pada B.

teori himpunan

perkalian

kali 3 × 4 berarti perkalian 3 oleh 4. 7 × 8 = 56

aritmetika

Produk Cartesian

X×Y berarti himpunan dari

Produk Cartesian
semua pasangan
dari … dan …; {1,2} × {3,4} = {(1,3),(1,4),
tertata dengan elemen pertama dari setiap
× produk langsung (2,3),(2,4)}
pasangan dipilih dari X dan elemen kedua
dari … dan …
dipilih dari Y.

teori himpunan

perkalian silang

dikalikan silang u × v artinya produk silang dari vektor- (1,2,5) × (3,4,−1) =

dengan vektor u dan v (−22, 16, − 2)

aljabar vektor

pembagian

÷ 2 ÷ 4 = .5
dibagi dengan 6 ÷ 3 atau 6/3 berati 6 dibagi 3.
/ 12/4 = 3

aritmetika

√ akar kuadrat √x berarti bilangan √4 = 2

 akar kuadrat positif yang kuadratnya x.

bilangan real

akar kuadrat
kompleks

jika z = r exp(iφ) ditulis dalam koordinat

akar kuadrat
polar dengan -π < φ ≤ π, maka √z = √(-1) = i
kompleks
√r exp(iφ/2).

Bilangan
kompleks

Simbol berdasarkan tanda sama dengan[sunting | sunting sumber]

Nama
Simbo
Dibaca sebagai Penjelasan
l
Kategori
Kesamaan
= sama dengan x = y berarti x dan y mewakili hal atau nilai yang sama.
umum
Ketidaksamaan
≠ tidak sama dengan x ≠ y berarti x dan y tidak mewakili hal atau nilai yang sama.
umum
distribusi probabilitas
mempunyai distribusi; tidak
~ X ~ D, artinya variabel random X mempunyai distribusi probabilitas D.
terhingga
statistika
isomorphism
≈ adalah isomorfik ke G ≈ H berarti grup G adalah isomorfik ke grup H
teori grup
:= definisi
x := y atau x ≡ y berarti x didefinisikan sebagai nama lain dari y (perlu dicatat
didefinisikan sebagai juga berarti lain, misalnya congruence).
≡
di mana-mana P :⇔ Q berarti P didefinisikan secara logis ekuivalen terhadap Q.
:⇔
equivalensi material
⇔
jika dan hanya jika; iff A ⇔ B berarti A benar jika B benar dan A salah jika B salah.
↔
propositional logic
Simbol yang mengarah ke kiri atau ke kanan[sunting | sunting sumber]

Nama
Simbo
Dibaca sebagai Penjelasan
l
Kategori
Ketidaksamaan
< x < y berarti x kurang dari y.
kurang dari; lebih dari
> x > y berarti x lebih dari y.
teori order
Ketidaksamaan
≤ x ≤ y berarti x kurang dari atau sama dengan y.
kurang dari atau sama dengan, lebih
dari atau sama dengan
≥ x ≥ y berarti x lebih dari atau sama dengan y.
teori order
panah fungsi
f: X → Y berarti fungsi f memetakan himpunan X ke dalam
f:X→Y dari ... ke
himpunan Y.
teori himpunan
implikasi material A ⇒ B artinya jika A benar maka B juga benar; jika A salah, maka
tidak ada yang dapat dikatakan mengenai B.
⇒ mengimplikasikan; jika .. maka
→ dapat berarti sama dengan ⇒, atau dapat berarti
→
untuk fungsi yang diberikan di bawah.
propositional logic
⊃
⊃ dapat berarti sama dengan ⇒, atau dapat berarti
untuk superset yang diberikan di bawah.
negasi logika Pernyataan ¬A benar jika dan hanya jika A salah.
¬
"bukan"
A slash ditempatkan melalui operator lain sama dengan "¬"
˜
propositional logic ditempatkan di depan.
logical
conjunction atau meet dalam lattice
Pernyataan A ∧ B benar jika A dan B keduanya benar; jika bukan it
∧
"dan" salah.
propositional logic, lattice theory
logical disjunction atau join dalam
suatu lattice
Pernyataan A ∨ B benar jika A atau B (atau keduanya) benar; jika
∨
"atau" keduanya salah, pernyataan itu salah.
propositional logic, lattice theory

Tanda kurung[sunting | sunting sumber]

Nama
Simbol Dibaca sebagai Penjelasan
Kategori
nilai mutlak
| | nilai mutlak dari |x| berarti jarak dari garis real (atau plan kompleks) antara x da
bilangan
|| || norm ||x|| adalah norm dari elemen x dari suatu ruang vektor normed
norm dari; panjang dari
 aljabar linear
penerapan fungsi
dari f(x) berarti nilai fungsi f pada elemen x.
teori himpunan
()
precedence grouping
operasi di dalam kurung harus dilakukan terlebih dahulu.
umum
set brackets
{, } himpunan dari ... {a,b,c} berarti suatu himpunan yang terdiri dari a, b, dan c.
teori himpunan
notasi penyusun himpunan
{: }
himpunan dari ... sedemikian sehingga ... {x : P(x)} berarti himpunan semua x di mana P(x) benar. {x | P(x
{|}
teori himpunan
Simbol bukan huruf yang lain[sunting | sunting sumber]
Nama
Simbo
Dibaca sebagai Penjelasan
l
Kategori
penyusunan fungsi
o tersusun dari fog adalah suatu fungsi di mana (fog)(x) = f(g(x)).
teori himpunan
faktorial
! faktorial n! adalah hasil dari 1×2×...×n.
kombinatorika
bilangan tak terhingga
(infinity)
∞ adalah suatu elemen dari garis bilangan berlanjut yang lebih besar dari se
∞
tak terhingga real lainnya; sering dijumpai pada perhitungan limit.
bilangan
exclusive or
"tidak kedua-duanya"
⊕
Pernyataan A ⊕ B benar jika A atau B, tetapi bukan dua-duanya, benar. A ⊻
propositional logic, aljabar
Boolean
⊻
himpunan kosong
himpunan kosong
∅ ∅ berarti himpunan yang tidak memiliki elemen. {} juga berarti hal yang sam
teori himpunan
{}
set membership
∈ adalah element dari; bukan
elemen dari a ∈ S berati a adalah suatu elemen himpunan S; a ∉ S berarti a bukan elem
∉
di mana-mana, teori
himpunan
 subset
⊆ A ⊆ B berarti setiap elemen A juga merupakan elemen B.
adalah subset dari
⊂ A ⊂ B berarti A ⊆ B tetapi A ≠ B.
teori himpunan
superset
⊇ A ⊇ B berarti setiap elemen B juga merupakan elemen A.
adalah superset dari
⊃ A ⊃ B berarti A ⊇ B tetapi A ≠ B.
teori himpunan
set-theoretic union
A ∪ B berarti suatu himpunan yang memuat semua elemen A dan juga sem
∪ union ... dari ...; union
memuat yang lain.
teori himpunan
irisan
∩ beririsan dengan; irisan A ∩ B berarti suatu himpunan yang memuat semua elemen yang sama-sam
dari ... dan ...
teori himpunan
komplemen
\ minus; tanpa A \ B berarti suatu himpunan yang memuat semua elemen A yang tidak dim
teori himpunan

Simbol berdasarkan huruf[sunting | sunting sumber]

Simbol berdasarkan huruf Latin[sunting | sunting sumber]
Nama
Simbol Dibaca sebagai Penjelasan
Kategori
kuantifikasi universal
∀ untuk semua; untuk setiap; untuk seluruh ∀ x: P(x) berarti P(x) benar untuk semua x.
logika predikat
kuantifikasi eksistensial
∃ ada; beberapa ∃ x: P(x) berarti ada paling sedikit satu x di mana P(x) ben
logika predikat
kuantifikasi keunikan
∃! ada tepat satu ∃! x: P(x) berarti tepat ada satu x di mana P(x) benar.
logika predikat
bilangan asli
N
N
N berarti {0,1,2,3,...}, tetapi lihat artikel mengenai bilangan
bilangan

ℕ
bilangan bulat Z berarti {...,−3,−2,−1,0,1,2,3,...}.
Z
Z
bilangan
 ℤ bilangan rasional
Q
Q
Q berarti {p/q : p,q ∈ Z, q ≠ 0}.
bilangan

ℚ
bilangan real
R
R
R berarti {limn→∞ an : ∀ n ∈ N: an ∈ Q, mempunyai limit}.
bilangan

ℝ
bilangan kompleks
C
C
C berarti {a + bi : a,b ∈ R}.
bilangan

ℂ
Simbol berdasarkan huruf Ibrani atau Yunani[sunting | sunting sumber]
Nama
Simbo
Dibaca sebagai Penjelasan
l
Kategori
pi
π pi π berarti perbandingan (rasio) antara keliling lingkaran dengan diamete
geometri Euklidean
penjumlahan total
∑ jumlah seluruh ... dari ... ke ... dari ∑k=1n ak berarti a1 + a2 + ... + an.
aritmetika
produk
produk seluruh ... dari ... ke ... dari ∏k=1n ak berarti a1a2···an.
aritmetika
∏ produk Cartesian
produk Cartesian dari; produk
∏i=0nYi berarti himpunan dari semua (n+1)-tuples (y0,...,yn).
langsung dari
teori himpunan
turunan
' … primus; turunan dari … f '(x) adalah turunan dari fungsi f pada titik x, yaitu slope tangen pada t
kalkulus
∫ integral tak tentu atau antiderivatif ∫ f(x) dx berarti suatu fungsi yang turunannya adalah f.
integral tak tentu dari
…; antiderivatif dari …
 kalkulus
integral tertentu
integral dari ... ke ... dari ... ∫ab f(x) dx berarti area bertanda di antara sumbu-
terhadap x dan grafik dari fungsi f antara x = a dan x = b.
kalkulus
gradien
∇ del, nabla, gradien dari ∇f (x1, …, xn) adalah vektor dari turunan parsial (df / dx1, …, df / dxn).
kalkulus
turunan parsial
Dengan f (x1, …, xn), ∂f/∂xi adalah turunan dari f terhadap xi, dengan se
turunan parsial dari
variabel lain tetap konstan.
kalkulus
∂
boundary
boundary dari ∂M berarti boundary dari M
topologi
tegak lurus
tegak lurus dengan x ⊥ y berarti x tegak lurus dengan y; atau lebih umum x ortogonal terha
geometri
⊥
elemen terkecil
elemen paling bawah x = ⊥ berarti x adalah elemen terkecil.
teori lattice
entailment
A ⊧ B berarti kalimat A entails kalimat B, sehingga setiap model di
|= entail
mana A benar, B juga benar.
teori model
inference
|- infer atau diturunkan dari x ⊢ y berarti y diturunkan dari x.
propositional logic, predicate logic
normal subgroup
◅ adalah subgrup normal dari N ◅ G berati bahwa N adalah subgrup normal dari grup G.
teori grup
quotient group
/ mod G/H berarti quotient grup G modulo subgrupnya H.
teori grup