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:

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). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.