实心黑色正方形），称之为「墓碑」或「哈尔莫斯（Halmos symbol）」（因保罗·哈尔莫斯最先採用此做法）。墓碑有时是空心的。另一个简单方法是写「proven」、「shown」或「证毕」之类的文字，或写上两个斜划（//），或三角形内画三点。Unicode提供了字元U+220E（∎ 窄长方形），亦有U+25A0（ 实心正方形）和U+2023（ 实心三角形）。