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.

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.

Simbol ini sering disebut sebagai "simbol pengakhir Halmos" atau "halmos" dari matematikawan Paul Halmos, yang pertama kali menggunakannya pada konteks matematika di 1950. 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:

 Referensi 

 Kutipan 

 Daftar pustaka 



Kategori:Tipografi
Kategori:Simbol matematika
Kategori:Pembuktian matematis