Simbol matematika dasar

Nama
Simbol Dibaca sebagai Penjelasan Contoh
Kategori
Perjumlahan
4 + 6 berarti jumlah
tambah 2+7=9
antara 4 dan 6.
aritmetika
+ union disjoin A1={1,2,3,4} ∧ A2={2,4,5,7}
gabungan disjoin dari ... dan A1 + A2 berarti disjoint ⇒
... union himpunan A1 A1 + A2 = {(1,1), (2,1),
dan A2. (3,1), (4,1), (2,2), (4,2),
teori himpunan (5,2), (7,2)}
Perkurangan
9 − 4 berarti 9
kurang 8−3=5
dikurangi 4.
aritmetika
tanda negatif
−3 berarti negatif dari
negatif −(−5) = 5
− aritmetika
angka 3.

set-theoretic complement A − B berarti

minus; tanpa himpunan yang
mempunyai semua {1,2,4} − {1,3,4} = {2}
teori himpunan anggota dari A yang
tidak terdapat pada B.
perkalian
3 × 4 berarti perkalian
kali 7 × 8 = 56
3 oleh 4.
aritmatika
Produk Cartesian X×Y berarti himpunan
Produk Cartesian dari … dari semua pasangan
dan …; produk langsung dari tertata dengan elemen {1,2} × {3,4} =
× … dan … pertama dari setiap
{(1,3),(1,4),(2,3),(2,4)}
pasangan dipilih dari
teori himpunan X dan elemen kedua
dipilih dari Y.
perkalian silang u × v artinya produk
(1,2,5) × (3,4,−1) =
dikalikan silang dengan silang dari vektor-
(−22, 16, − 2)
aljabar vektor vektor u dan v
÷ pembagian
2 ÷ 4 = .5
dibagi dengan 6 ÷ 3 atau 6/3 berati 6
dibagi 3.
aritmetika 12/4 = 3
/
akar kuadrat √x berarti bilangan
akar kuadrat positif yang √4 = 2
bilangan real kuadratnya x.
√ akar kuadrat kompleks jika z = r exp(iφ)
akar kuadrat kompleks ditulis dalam
koordinat polar √(-1) = i
Bilangan kompleks dengan -π < φ ≤ π,
maka √z = √r exp(iφ/2).

Simbol berdasarkan tanda sama dengan

Simbol Nama Penjelasan Contoh
 Dibaca sebagai
Kategori
Kesamaan
x = y berarti x and y mewakili hal
= sama dengan 1+1=2
atau nilai yang sama.
umum
Ketidaksamaan
tidak sama x ≠ y berarti x dan y tidak
≠ 1≠2
dengan mewakili hal atau nilai yang sama.
umum
distribusi
probabilitas
X ~ D, artinya variabel random X
mempunyai X ~ N(0,1), distribusi
~ mempunyai distribusi probabilitas
distribusi; tidak normal standar
D.
terhingga
statistika
isomorphism Q / {1, −1} ≈ V,
adalah isomorfik G ≈ H berarti grup G adalah di mana Q adalah
≈
ke isomorfik ke grup H quaternion group dan V
teori grup adalah Klein four-group.
definisi x := y or x ≡ y berarti x
didefinisikan didefinisikan sebagai nama lain
:= cosh x := (1/2)(exp x +
sebagai dari y (perlu dicatat bahwa ≡
exp (−x))
dapat juga berarti lain, misalnya
≡
congruence).
A XOR B :⇔
:⇔ di mana-mana (A ∨ B) ∧ ¬(A ∧ B)
P :⇔ Q berarti P didefinisikan
secara logis ekuivalen terhadap Q.
equivalensi
material
⇔
jika dan hanya A ⇔ B berarti A benar jika B
x + 5 = y +2 ⇔ x + 3 = y
jika; iff benar dan A salah jika B salah.
↔
propositional
logic

Simbol yang mengarah ke kiri atau ke kanan

Nama
Simbol Dibaca sebagai Penjelasan Contoh
Kategori
Ketidaksamaan x < y berarti x lebih kecil
< lebih kecil dari; lebih dari y.
3<4
besar dari 5>4
> x > y berarti x lebih besar
teori order dari y.
Ketidaksamaan x ≤ y berarti x lebih kecil
≤ lebih kecil dari atau sama dari atau sama dengan y.
3 ≤ 4 and 5 ≤ 5
dengan, lebih besar dari
5 ≥ 4 and 5 ≥ 5
≥ atau sama dengan x ≥ y berarti x lebih besar
teori order dari atau sama dengan y.
panah fungsi f: X → Y berarti fungsi f
Biarlah f: Z → N
f:X→Y dari ... ke memetakan himpunan X ke
didefinisikan oleh f(x) = x2.
teori himpunan dalam himpunan Y.
⇒ implikasi material A ⇒ B artinya jika A benar x = 2 ⇒ x2 = 4 adalah
mengimplikasikan; jika .. maka B juga benar; jika A benar, tetapi x2 = 4 ⇒ x =
→ maka salah, maka tidak ada yang 2 secara umum adalah
 dapat dikatakan mengenai salah (karena x dapat saja
⊃ B. bernilai −2).

→ dapat berarti sama

dengan ⇒, atau dapat
berarti untuk fungsi yang
propositional logic
diberikan di bawah.

⊃ dapat berarti sama

dengan ⇒, atau dapat
berarti untuk superset
yang diberikan di bawah.
negasi logika Pernyataan ¬A benar jika
"bukan" dan hanya jika A salah.
¬
¬(¬A) ⇔ A
A slash ditempatkan
x ≠ y ⇔ ¬(x = y)
˜ propositional logic melalui operator lain sama
dengan "¬" ditempatkan di
depan.
logical conjunction atau
meet dalam lattice Pernyataan A ∧ B benar
n < 4 ∧ n >2 ⇔ n = 3 di
jika A dan B keduanya
∧ "dan" mana n adalah bilangan
benar; jika bukan itu
propositional logic, lattice asli.
salah.
theory
logical disjunction atau Pernyataan A ∨ B benar
join dalam suatu lattice jika A atau B (atau n≥4 ∨ n≤2 ⇔n≠3
∨ keduanya) benar; jika bilamana n adalah bilangan
propositional logic, lattice keduanya salah, asli.
theory pernyataan itu salah.

Tanda kurung
Nama
Simbol Dibaca sebagai Penjelasan Contoh
Kategori
nilai mutlak
|x| berarti jarak dari garis real (atau |3| = 3, |-5| = |5|
|| nilai mutlak dari
plan kompleks) antara x dan nol. |i| = 1, |3+4i| = 5
bilangan
norm
norm dari; panjang ||x|| adalah norm dari elemen x dari
|| || ||x+y|| ≤ ||x|| + ||y||
dari suatu ruang vektor normed.
aljabar linear
penerapan fungsi
Jika f(x) := x2,
dari f(x) berarti nilai fungsi f pada elemen x.
maka f(3) = 32 = 9.
() teori himpunan
precedence grouping (8/4)/2 = 2/2 = 1,
operasi di dalam kurung harus
but 8/(4/2) = 8/2 =
umum dilakukan terlebih dahulu.
4.
set brackets
{a,b,c} berarti suatu himpunan yang
{,} himpunan dari ... N = {0,1,2,...}
terdiri dari a, b, dan c.
teori himpunan
notasi penyusun
{:} himpunan {x : P(x)} berarti himpunan semua x di
{n ∈ N : n2 < 20} =
himpunan dari ... mana P(x) benar. {x | P(x)} sama
{0,1,2,3,4}
{|} sedemikian sehingga dengan {x : P(x)}.
...
 teori himpunan

Simbol bukan huruf yang lain

Nama
Simbol Dibaca sebagai Penjelasan Contoh
Kategori
penyusunan fungsi jika f(x) = 2x, and
fog adalah suatu fungsi di mana (fog)(x)
o tersusun dari g(x) = x + 3, maka
= f(g(x)).
teori himpunan (fog)(x) = 2(x + 3).
faktorial
! faktorial n! adalah hasil dari 1×2×...×n. 4! = 1 × 2 × 3 × 4 = 24
kombinatorika
bilangan tak ∞ adalah suatu elemen dari garis
terhingga (infinity) bilangan berlanjut yang lebih besar dari
∞ limx→0 1/|x| = ∞
tak terhingga semua bilangan real lainnya; sering
bilangan dijumpai pada perhitungan limit.
exclusive or
xor

⊕
Pernyataan A ⊕ B benar jika A atau B,
tetapi bukan dua-duanya, benar. A ⊻ B
propositional logic, sama artinya.
aljabar Boolean

⊻
himpunan kosong
himpunan kosong ∅ berarti himpunan yang tidak
{n ∈ N : 1 < n2 < 4} =
memiliki elemen. {} juga berarti hal
∅ ∅
teori himpunan yang sama.
{}
set membership
adalah element
∈ a ∈ S berati a adalah suatu elemen (1/2)−1 ∈ N
dari; bukan elemen
himpunan S; a ∉ S berarti a bukan
dari
∉ elemen himpunan S. 2−1 ∉ N
di mana-mana,
teori himpunan
subset A ⊆ B berarti setiap elemen A juga
⊆
adalah subset dari merupakan elemen B.
A ∩ B ⊆ A; Q ⊂ R
⊂ teori himpunan A ⊂ B berarti A ⊆ B tetapi A ≠ B.
superset A ⊇ B berarti setiap elemen B juga
⊇
adalah superset merupakan elemen A.
A ∪ B ⊇ B; R ⊃ Q
dari
⊃
teori himpunan A ⊃ B berarti A ⊇ B tetapi A ≠ B.
set-theoretic union A ∪ B berarti suatu himpunan yang
union ... dari ...; memuat semua elemen A dan juga
∪ A⊆B ⇔ A∪B=B
union semua elemen B, tetapi tidak memuat
teori himpunan yang lain.
irisan
A ∩ B berarti suatu himpunan yang
beririsan dengan; {x ∈ R : x2 = 1} ∩ N =
∩ memuat semua elemen yang sama-sama
irisan dari ... dan ... {1}
dimiliki oleh A dan B.
teori himpunan
 komplemen A \ B berarti suatu himpunan yang
{1,2,3,4} \ {3,4,5,6} =
\ minus; tanpa memuat semua elemen A yang tidak
{1,2}
teori himpunan dimiliki oleh B.

Simbol berdasarkan huruf

Simbol berdasarkan huruf Latin
Nama
Simbol Dibaca sebagai Penjelasan Contoh
Kategori
kuantifikasi
universal
∀ untuk semua; ∀ x: P(x) berarti P(x) benar untuk semua x. ∀ n ∈ N: n2 ≥ n.
untuk setiap
logika predikat
kuantifikasi
eksistensial ∃ x: P(x) berarti ada paling sedikit satu x di ∃ n ∈ N: n
∃
"ada" mana P(x) benar. adalah genap.
logika predikat
kuantifikasi
keunikan ∃! x: P(x) berarti tepat ada satu x di mana P(x) ∃! n ∈ N: n +
∃!
ada tepat satu benar. 5 = 2n.
logika predikat
bilangan asli
N

N
N berarti {0,1,2,3,...}, tetapi lihat artikel
{|a| : a ∈ Z} = N
mengenai bilangan asli untuk kaidah yang lain.
bilangan

ℕ
bilangan bulat
Z

Z
Z berarti {...,−3,−2,−1,0,1,2,3,...}. {a : |a| ∈ N} = Z
bilangan

ℤ
bilangan rasional
Q

Q 3.14 ∈ Q
Q berarti {p/q : p,q ∈ Z, q ≠ 0}.
bilangan π∉Q

ℚ
bilangan real
R π∈R
R berarti {limn→∞ an : ∀ n ∈ N: an ∈ Q,
R mempunyai limit}.
bilangan √(−1) ∉ R
ℝ
bilangan
kompleks
C
C
C berarti {a + bi : a,b ∈ R}. i = √(−1) ∈ C
bilangan

Simbol berdasarkan huruf Ibrani atau Yunani

Nama
Simbol Dibaca sebagai Penjelasan Contoh
Kategori
pi π berarti perbandingan (rasio) A = πr² adalah luas
π pi antara keliling lingkaran dengan lingkaran dengan jari-jari
geometri Euklidean diameternya. (radius) r
penjumlahan total
jumlah seluruh ... ∑k=14 k2 = 12 + 22 + 32 + 42 =
∑ ∑k=1n ak berarti a1 + a2 + ... + an.
dari ... ke ... dari 1 + 4 + 9 + 16 = 30
aritmetika
produk
∏k=14 (k + 2) = (1 + 2)(2 +
produk seluruh ...
∏k=1 ak berarti a1a2···an.
n 2)(3 + 2)(4 + 2) = 3 × 4 × 5 ×
dari ... ke ... dari
6 = 360
aritmetika
∏ produk Cartesian
produk Cartesian
∏i=0nYi berarti himpunan dari
dari; produk ∏n=13R = Rn
semua (n+1)-tuples (y0,...,yn).
langsung dari
teori himpunan
turunan
f '(x) adalah turunan dari fungsi
… primus; turunan Jika f(x) = x2, maka
' f pada titik x, yaitu slope tangen
dari … f '(x) = 2x
pada titik itu.
kalkulus
integral tak tentu
atau antiderivatif
integral tak tentu ∫ f(x) dx berarti suatu fungsi
∫x2 dx = x3/3 + C
dari …; yang turunannya adalah f.
antiderivatif dari …
∫ kalkulus
integral tertentu ∫ab f(x) dx berarti area bertanda
integral dari ... ke ... di antara sumbu-x dan grafik
∫0b x2 dx = b3/3;
dari ... terhadap dari fungsi f antara x = a dan x =
kalkulus b.
gradien
∇f (x1, …, xn) adalah vektor dari
del, nabla, gradien Jika f (x,y,z) = 3xy + z² maka
∇ turunan parsial (df / dx1, …, df /
dari ∇f = (3y, 3x, 2z)
dxn).
kalkulus
turunan parsial Dengan f (x1, …, xn), ∂f/∂xi
Jika f(x,y) = x2y, maka ∂f/∂x
∂ turunan parsial adalah turunan dari f terhadap
= 2xy
dari xi, dengan semua variabel lain
 kalkulus tetap konstan.
boundary
∂{x : ||x|| ≤ 2} =
boundary dari ∂M berarti boundary dari M
{x : || x || = 2}
topologi
tegak lurus x ⊥ y berarti x tegak lurus
Jika l⊥m dan m⊥n maka l ||
tegak lurus dengan dengan y; atau lebih umum x
n.
geometri ortogonal terhadap y.
⊥ elemen terkecil
elemen paling x = ⊥ berarti x adalah elemen
∀x : x ∧ ⊥ = ⊥
bawah terkecil.
teori lattice
entailment A ⊧ B berarti kalimat A entails
|= entail kalimat B, sehingga setiap model A ⊧ A ∨ ¬A
teori model di mana A benar, B juga benar.
inference
infer atau
x ⊢ y berarti y diturunkan dari
|- diturunkan dari A → B ⊢ ¬B → ¬A
x.
propositional logic,
predicate logic
normal subgroup
adalah subgrup N ◅ G berati bahwa N adalah
◅ normal dari subgrup normal dari grup G.
Z(G) ◅ G
teori grup
quotient group {0, a, 2a, b, b+a, b+2a} / {0, b}
G/H berarti quotient grup G
/ mod
modulo subgrupnya H.
= Templat:0, ''b'', {a, b+a},
teori grup Templat:2''a'', ''b''+2''a''

Karakter khusus

Catatan teknis: Karena keterbatasan teknis, banyak komputer tidak dapat menayangkan
sejumlah karakter dalam artikel ini. Karakter-karakter tersebut dapat ditampilkan
sebagai kotak, tanda tanya, atau simbol yang tak bermakna lainnya, tergantung dari
browser, sistem operasi, dan jenis huruf yang terpasang pada komputer Anda. Meskipun
Anda yakin browser Anda telah menayangkan artikel ini menurut kode UTF-8 dan jenis
huruf yang mendukung rentang luas Unicode, seperti Code2000, Arial Unicode MS, Lucida
Sans Unicode atau salah satu jenis huruf Unicode gratis, Anda masih perlu menggunakan
browser yang berbeda-beda karena kemampuan masing-masing browser banyak yang
tidak sama.[1]