Batu nisan (tipografi)
Pada matematika, simbol "∎" (atau "□") disebut batu nisan (bahasa Inggris: tombstone), halmos, akhir pembuktian, atau Q.E.D. adalah simbol yang digunakan untuk menandai akhir dari pembuktian, di tempat yang biasanya dituliskan Q.E.D., singkatan dari "quod erat demonstrandum". Simbol ini terinspirasi dari praktik tipografi untuk tanda akhir, sebuat elemen yang menandai akhir dari suatu artikel.[1]
Di Unicode, simbol ini direpresentasikan dengan karakter U+220E ∎ akhir pembuktian. Bentuk dari simbol ini berbeda-beda; dapat berupa persegi atau persegi panjang yang kosong atau terisi.
Pada AMS-LaTeX, simbol ini secara otomatis ditambahkan di akhir lingkungan "pembuktian" \begin{proof} ... \end{proof}. Selain itu, simbol ini juga dapat dituliskan dengan perintah \qedsymbol, \qedhere, atau \qed, dengan perintah terakhir menuliskan simbol tersebut dengan format rata kanan.[2]
Simbol ini sering disebut sebagai "simbol pengakhir Halmos" atau "halmos" dari matematikawan Paul Halmos, yang pertama kali menggunakannya pada konteks matematika di 1950.[3] Ia mendapatkan ide untuk menggunakan simbol ini setelah melihat tanda akhir pada majalah, yaitu simbol tipografi yang mengindikasikan akhir dari artikel. Dalam memoarnya yang berjudul I Want to Be a Mathematician, ia menuliskan:[4]
Simbol ini bukanlah buatan saya — simbol ini muncul pada majalah populer (bukan matematika) sebelum saya mengadopsinya, tetapi, sekali lagi, saya sepertinya memperkenalkannya pada matematika. Ini adalah simbol yang kadang terlihat seperti ▯, dan digunakan untuk mengindikasikan sebuah akhir, biasanya akhir dari pembuktian. Simbol ini biasanya disebut sebagai 'batu nisa', tetapi setidaknya satu penulis yang baik merujuknya sebagai 'halmos'.
Referensi
[sunting | sunting sumber]Kutipan
[sunting | sunting sumber]- ^ Felici, James (2003). The complete manual of typography : a guide to setting perfect type. Berkeley, CA: Peachepit Press. Pemeliharaan CS1: Status URL (link)
- ^ "LaTeX/Theorems - Wikibooks, open books for an open world". English Wikibooks (dalam bahasa Inggris). Diakses tanggal 5 November 2019.
- ^ Halmos, Paul R. (1950). Measure theory. New York: Van Nostrand. hlm. 22. ISBN 0387900888. OCLC 529634.
- ^ Halmos, P. R. (2013-12-01). I Want to be a Mathematician: An Automathography (dalam bahasa Inggris). Springer Science & Business Media. ISBN 978-1-4612-1084-9.
Daftar pustaka
[sunting | sunting sumber]- Miller, Jeff (29 September 2007), Earliest Uses of Symbols of Set Theory and Logic, diakses tanggal 26 Juni 2010