Batu nisan (tipografi)
Pada matematika, simbol "∎" (atau "□") disebut batu nisan (), 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 . 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]
Referensi
- ↑ James Felici. The complete manual of typography : a guide to setting perfect type. Peachepit Press. 2003.
- ↑ LaTeX/Theorems - Wikibooks, open books for an open world. English Wikibooks.
- ↑ Paul R. Halmos. Measure theory. Van Nostrand. 1950. hlm. 22. ISBN 0387900888.
- ↑ P. R. Halmos. I Want to be a Mathematician: An Automathography. Springer Science & Business Media. 2013-12-01. ISBN 978-1-4612-1084-9.
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 27204892 (2025-04-29T00:22:47Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Gambar pada artikel ini bersumber dari Wikimedia Commons dan mengikuti ketentuan lisensi masing-masing berkas. Mohon gunakan konten dan media secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.