LIRIK MUTIEK TIHAU DAN LAGU MUARA ENIM LAINNYA.

LIRIK LAGU SUMATERA SELATAN
MUTIEK TIHAU

Ibung...ibung......
Ude ujan kite kume
Mutiek tihau
batan gulai petang kele

Kume...kume....
Ngambek tihau jantung pule
manggang jagung sampur dengan ubi sile

Ambek kunyit
ambek sehai
Ibung...ibung balke kudai
Kite makan......................gulai tihau
Lemak nian petang-petang ku di ume
Dek tehase badan penuh miang gale...

LIRIK LAGU SUMATERA SELATAN
MIANG HEBUNG


Sayang hebung sayang hebung ade miang
Nak ku pancong nak ku pancong pakai grahang
Bak itulah aku nak ngambik dengan
Anak jeme gerut oy lagi terpandang

Luluk behuk kanjarinye saje aku
Nundung karut juwara sia nak nerime
Au tuape dami aku bujang sare
Balek ngelimat mbatak ibatan Bangai
Miang hebung miang hebung nyikse nian

Manceku uleh mentuwe
Iluk luk penjadi dihi
Damih abat ne ...
Karut penundung iluk lah dek jadi

Nginak aku bujang sare
Die melikus anakne
Dik ngajung nian ...
Kalu kan jadi kami di tetak due

Ijuk ijuk oy sapu lidi
Kalu kan sare isuk
Iluk lah dek njadi

LIRIK LAGU SUMATERA SELATAN
SUKAT MALANG

Naseb malang nian
Ditinggalkan kundang
Kumbang suhang terbang
Terbang Jauh malang
Sukat malang badan
Senasep bunge lalang
Tinggal dusun laman
Kemambang midang suhang
Ngeding sukat dek betulan
Sepanjangan …
Ngape nian tibe badan sukat malang


LIRIK LAGU SUMATERA SELATAN
SAYANG SELAYAK

Sayang selayak burung lempipi, sayang selayak burung lempipi
Menarap abang keputehan ai keputehan
Kakang berayak ke duson ini
Kakang berayak ke duson ini
Tuape batan perulehan, ai perulehan

Sayang selayak burung lempipi, sayang selayak burung lempipi
Sayang selayak burung lempipi, sayang selayak burung lempipi
Menarap abang keputehan ai keputehan
Kami berayak keduson ini
Kami berayak keduson ini

Ade mbak gunong perulehan, ai perulehan
Sayang selayak burung lempipi, sayang selayak burung lempip

LIRIK LAGU SUMATERA SELATAN
PETANG-PETANG

Petanglah petang menyilap lampu
ambik kusitan dipucok mija
Petanglah petang kemane aku
denie umbang dek bebadah

Baju kurong bekancing tige
dibatak endung ke Selangis
Amun lah urong ancaman kite
alangkah panjang karang tangis

Kepiat berlinang linang
mati disambar burung binti
Siang tekinak malam tekenang
dibatak tidok menjadi mimpi

LIRIK LAGU SUMATERA SELATAN
KEBILE-BILE

Kebile-bile
Kebile-bile mangke ku lege
Kebile-bile ku ade kance
Kebile-bile mangke ku lege
Kebile-bile ku ade kance

Kebile nian jagungkan mute
Pute dek pute kuhendam kinak
Kebile nian agungkan nule
Nule dek nule kudendam kinak
Kebile nian agungkan nule
Nule dek nule kudendam kinak

Kebile-bile mangke ku lege
Kebile-bile ku ade kance
Kebile-bile mangke ku lege
Kebile-bile ku ade kance

Kabile nian mampat begune
Mangke dek payah ku nandang lagi
Kebile nian sifat begune
Mangke dek payah ku midang lagi
Kebile nian sifat begune
Mangke dek payah ku midang lagi

LIRIK LAGU SUMATERA SELATAN
DEK SANGKE

Dek sangke aku dek sangke
Cempedak babuah nangke
Dek sangke aku dek sangke
Cempedak babuah nangke

Dek sangke aku dek sangke
Awak tunak ngaku juare
Alamat badan sengsare
Akhirnya masuk penjare

Dek sangke aku dek sangke
Cempedak babuah nangke
Dek sangke aku dek sangke
Cempedak babuah nangke

Dek sangke aku dek sangke
Ujiku gadis tabetanye jande mude
Anaknye lah ade tige
Dek sangke bujang tegile

Dek sangke aku dek sangke
Cempedak babuah nangke
Dek sangke aku dek sangke
Cempedak babuah nangke

Dek sangke aku dek sangke
Awak tunak ngaku juare
Alamat badan sengsare, Akhirnya masuk penjare

LIRIK LAGU SUMATERA SELATAN
DIRUT

Diiiruut….Diiruut…
Dirut jangan nangis
Bapang kabejalan
Bejalan dek kelame
Oy dirut tinggallah kudai
Dirut jangan nangis
Pejam kan lah mate

Diruuttt…Diruuut…
Dirut jangan nangis
Bapang kabejalan
Cakang endung mude
Oy dirut tinggallah kudai
Dirut jangan nangis 2x
Oooo, yaaaa ilaa
Ya ilaa tu ape di tebe
Siamang buket, ndun ayun midang malam
Antan lah delapan, Ndun ayun nuntut gale

Dirutttt…Diiiruttt…
Dirut jangan nangis
Bapang kaba lah balek
Batak ndung tue
Ndung kaba sebitung
Dirut jangan nangis, Pejamkan lah mate


ANAK PENGGAWE

Cipt. Ali Indri

Putih kuning iluk ngencepai

Kecik ulek tinggi semampai

Ulas iluk di rujung pakai

Bile tesenyum tambah

Gumbak ikal di sanggul due

Di hiasi bunge cempake

Bibih abang begincu pule

Tambah rementung ngare bence

Oi anak siape budak itu

Anak penggawe

Oi anak siape budak itu

Anak penggawe

Bekebanyak pakai selindang

Bersubang bekalung panjang

Bekebayak pakai selindang

Besubang bekalung panjang

Pinggang ramping jalan berkimbang

Sambil bergaya tarik serampang

Pinggang ramping jalan berkimpang

Sambil berdaya tari serampang

Oi anak siape budak itu

Anak penggawe

Oi anak siape budak itu

Anak penggawe

Pangkalan Umbak

 Sumatra Selatan

Cipt. H M Kowi Arpa

Keribanganku ngambin ambong balek di ume
Kebaya singkat betis iluk dipandang mate
Gadislah dusun ngambin tehong balek di ume
Meniti jambat ayek jehenih muare bangke

Iluklah gumbaknye teballah alisnye
Kebual luk haman masak
Mandi di pangkala umbak

Ahilah petang gadis mandi sambel betembang
Betembang hindu kakang balek adinglah nunggu
Kite bedue same - same ke human rie
Untuk rencane hidup behumah tangge

Iluklah gumbaknye teballah alisnye
Kebual luk haman masak
Mandi di pangkala umbak

Kota Serasan

Ribang ige kota serasan
Kiri kanan dipinggir jalan
Banyak bunge berwarne-warne
ringkeh nian oi kota kami

Muara enim kota serasi
Rapi sehat aman dan nyaman
Penduduknya ilok perbase
Lingkungannye lah cinde gale

Ibung mamak oi tue mude
Same-same begawi gale
Kebersihan perlu dijage
Mangke kite sentuse

Ribang ige kota serasan
Ade sungai enim lematang
Tambah cinde banyak hikmahnye
Anugerah Tuhan kuasa

Sukat Malang

Naseb malang nian

Ditinggalkan kundang

Kumbang suhang terbang

Terbang Jauh malang

Sukat malang badan

Senasep bunge lalang

Tinggal dusun laman

Kemambang midang suhang

Ngeding sukat dek betulan

Sepanjangan …

Ngape nian tibe badan sukat malang

Seluang Negok Tapah

Lah lame nian kulinjang  nggak dengah

Tapi aku dek behani ngungkapkannye

Agak ilok jadi katean jeme

Kene kaba kaye aku  dek bedie

Empat kalinye aku bekance

Dek ke tehuntap kurase jeme banau

Awak seluang tapi nak negok tapah

Dari pada pening Lemak ngurusi hume

Hume Lahat duson Tumbuhi kele mate

Sebab kalau berseh La ka pacak nanaminye

Empok hule dikit Tapi ade hasilnye

Bujang Alap

Siape name bujang alap tunak itu

Oi ilok nian alap nian

Alangkan senang aman die behusek

Ke humah adeng dimalam ini

Marilah kakang behusek ke humah kami

Adengkan senang dibuseki malam

Tunggulah kudai adeng kan buat kupi

Maen ke humah kite becerite

Dimalam ini

Kite bekance

Ngerawai saje

Tetawe-tawe

Dikde disangke

Dikde diduge

Kite bedue

Lah jadi kance

Jale Kerap

Ai mang tunjung dudul

Kan adeng terime

Jadilah ige kakang

Dek nak keiluk

Pengenjuk didengan

Asak kakang guk nian

Jale kerap

AngguH tige depe Kan kukibaskan gale

Ladai nian permintaan adeng

Kane kebunan kawe

Kakang linjang sayrn  linjang

Tingga nak gacang

Kakang ka betandang

Kalu isuk oi, Ape luse oi

Kutanti oi kakang ku tanti

Adeng iluk oi, Uje lemak oi

Rasan kite

Rasan seadenye

Bujang Penyemang

Payulah kance kance

Kite kumpul rami-rami

Ade yang begitar

Ade pule yang benyanyi

Suare la tepahau

Aman awak la telengkung

Trompa salah judul

Putus hati jage kance

Nak ngudut katek rokok

Rokok sebatang begintangan

SIMBOL DASAR MATEMATIKA

Simbol Matematika Dasar

Simbol	Nama	Penjelasan	Contoh
	Dibaca sebagai
	Kategori
+	Perjumlahan	4 + 6 berarti jumlah antara 4 dan 6.	2 + 7 = 9
	tambah
	aritmetika
	union disjoin	A1 + A2 berarti disjoint union himpunan A1 dan A2.	A1={1,2,3,4} ∧ A2={2,4,5,7} ⇒ A1 + A2 = {(1,1), (2,1), (3,1), (4,1), (2,2), (4,2), (5,2), (7,2)}
	gabungan disjoin dari ... dan ...
	teori himpunan
−	Perkurangan	9 − 4 berarti 9 dikurangi 4.	8 − 3 = 5
	kurang
	aritmetika
	tanda negatif	−3 berarti negatif dari angka 3.	−(−5) = 5
	negatif
	aritmetika
	set-theoretic complement	A − B berarti himpunan yang mempunyai semua anggota dari A yang tidak terdapat pada B.	{1,2,4} − {1,3,4}  =  {2}
	minus; tanpa
	teori himpunan
×	perkalian	3 × 4 berarti perkalian 3 oleh 4.	7 × 8 = 56
	kali
	aritmatika
	Produk Cartesian	X×Y berarti himpunan dari semua pasangan tertata dengan elemen pertama dari setiap pasangan dipilih dari X dan elemen kedua dipilih dari Y.	{1,2} × {3,4} = {(1,3),(1,4),(2,3),(2,4)}
	Produk Cartesian dari … dan …; produk langsung dari … dan …
	teori himpunan
	perkalian silang	u × v artinya produk silang dari vektor-vektor u dan v	(1,2,5) × (3,4,−1) = (−22, 16, − 2)
	dikalikan silang dengan
	aljabar vektor
÷ /	pembagian	6 ÷ 3 atau 6/3 berati 6 dibagi 3.	2 ÷ 4 = .5 12/4 = 3
	dibagi dengan
	aritmetika
√	akar kuadrat	√x berarti bilangan positif yang kuadratnya x.	√4 = 2
	akar kuadrat
	bilangan real
	akar kuadrat kompleks	jika z = r exp(iφ) ditulis dalam koordinat polar dengan -π < φ ≤ π, maka √z = √r exp(iφ/2).	√(-1) = i
	akar kuadrat kompleks
	Bilangan kompleks

Simbol Berdasarkan Tanda Sama Dengan

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

Simbol Yang Mengarah  Ke Kiri

atau ke Kanan

Simbol	Nama	Penjelasan	Contoh
	Dibaca sebagai
	Kategori
< >	Ketidaksamaan	x < y berarti x lebih kecil dari y. x > y berarti x lebih besar dari y.	3 < 4 5 > 4
	lebih kecil dari; lebih besar dari
	teori order
≤ ≥	Ketidaksamaan	x ≤ y berarti x lebih kecil dari atau sama dengan y. x ≥ y berarti x lebih besar dari atau sama dengan y.	3 ≤ 4 and 5 ≤ 5 5 ≥ 4 and 5 ≥ 5
	lebih kecil dari atau sama dengan, lebih besar dari atau sama dengan
	teori order
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.
	dari ... ke
	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. → dapat berarti sama dengan ⇒, atau dapat berarti untukfungsi yang diberikan di bawah. ⊃ dapat berarti sama dengan ⇒, atau dapat berarti untuksuperset 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
	propositional logic
¬ ˜	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"
	propositional logic
∧	logical conjunction atau meet dalamlattice	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"
	propositional logic, lattice theory
∨	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.
	propositional logic, lattice theory

Tanda Kurung

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

Simbol Bukan Huruf Yang Lain

Simbol	Nama	Penjelasan	Contoh
	Dibaca sebagai
	Kategori
o	penyusunan fungsi	fog adalah suatu fungsi di mana (fog)(x) = f(g(x)).	jika f(x) = 2x, and g(x) = x + 3, maka (fog)(x) = 2(x + 3).
	tersusun dari
	teori himpunan
!	faktorial	n! adalah hasil dari 1×2×...×n.	4! = 1 × 2 × 3 × 4 = 24
	faktorial
	kombinatorika
∞	bilangan tak terhingga (infinity)	∞ adalah suatu elemen dari garis bilangan berlanjut yang lebih besar dari semua bilangan reallainnya; sering dijumpai pada perhitungan limit.	limx→0 1/|x| = ∞
	tak terhingga
	bilangan
⊕ ⊻	exclusive or	Pernyataan A ⊕ B benar jika A atau B, tetapi bukan dua-duanya, benar. A ⊻ B sama artinya.	(¬A) ⊕ A selalu benar, A ⊕ A selalu salah.
	xor
	propositional logic, aljabar Boolean
∅ {}	himpunan kosong	∅ berarti himpunan yang tidak memiliki elemen. {} juga berarti hal yang sama.	{n ∈ N : 1 < n2 < 4} = ∅
	himpunan kosong
	teori himpunan
∈ ∉	set membership	a ∈ S berati a adalah suatu elemen himpunan S; a ∉ S berarti a bukan elemen himpunan S.	(1/2)−1 ∈ N 2−1 ∉ N
	adalah element dari; bukan elemen dari
	di mana-mana, teori himpunan
⊆ ⊂	subset	A ⊆ B berarti setiap elemen A juga merupakan elemen B. A ⊂ B berarti A ⊆ B tetapi A ≠ B.	A ∩ B ⊆ A; Q ⊂ R
	adalah subset dari
	teori himpunan
⊇ ⊃	superset	A ⊇ B berarti setiap elemen B juga merupakan elemen A. A ⊃ B berarti A ⊇ B tetapi A ≠ B.	A ∪ B ⊇ B; R ⊃ Q
	adalah superset dari
	teori himpunan
∪	set-theoretic union	A ∪ B berarti suatu himpunan yang memuat semua elemen A dan juga semua elemen B, tetapi tidak memuat yang lain.	A ⊆ B  ⇔  A ∪ B = B
	union ... dari ...; union
	teori himpunan
∩	irisan	A ∩ B berarti suatu himpunan yang memuat semua elemen yang sama-sama dimiliki oleh A dan B.	{x ∈ R : x2 = 1} ∩ N = {1}
	beririsan dengan; irisan dari ... dan ...
	teori himpunan
\	komplemen	A \ B berarti suatu himpunan yang memuat semua elemen A yang tidak dimiliki oleh B.	{1,2,3,4} \ {3,4,5,6} = {1,2}
	minus; tanpa
	teori himpunan

Simbol berdasarkan huruf

Simbol berdasarkan huruf Latin

Simbol	Nama	Penjelasan	Contoh
	Dibaca sebagai
	Kategori
∀	kuantifikasi universal	∀ x: P(x) berarti P(x) benar untuk semua x.	∀ n ∈ N: n2 ≥ n.
	untuk semua; untuk setiap
	logika predikat
∃	kuantifikasi eksistensial	∃ x: P(x) berarti ada paling sedikit satu x di mana P(x) benar.	∃ n ∈ N: n adalah genap.
	"ada"
	logika predikat
∃!	kuantifikasi keunikan	∃! x: P(x) berarti tepat ada satu x di mana P(x) benar.	∃! n ∈ N: n + 5 = 2n.
	ada tepat satu
	logika predikat
N ℕ	bilangan asli	N berarti {0,1,2,3,...}, tetapi lihat artikel mengenai bilangan asli untuk kaidah yang lain.	{|a| : a ∈ Z} = N
	N
	bilangan
Z ℤ	bilangan bulat	Z berarti {...,−3,−2,−1,0,1,2,3,...}.	{a : |a| ∈ N} = Z
	Z
	bilangan
Q ℚ	bilangan rasional	Q berarti {p/q : p,q ∈ Z, q ≠ 0}.	3.14 ∈ Q π ∉ Q
	Q
	bilangan
R ℝ	bilangan real	R berarti {limn→∞ an : ∀ n ∈ N: an ∈ Q, mempunyai limit}.	π ∈ R √(−1) ∉ R
	R
	bilangan
C ℂ	bilangan kompleks	C berarti {a + bi : a,b ∈ R}.	i = √(−1) ∈ C
	C
	bilangan

Simbol berdasarkan huruf Ibrani atau Yunani

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