Символ завершення доведення («символ Халмоша», , «надгробний камінь») — друкарський символ, що використовується в математиці для позначення кінця доведення замість скорочення Q.E.D. латинської фрази quod erat demonstrandum — «що потрібно було довести». Також використовується в деяких журналах як символ кінця статті.
Символом Халмоша називається на честь математика Пола Річарда Халмоша, який вперше використав цей символ в математичному контексті в книзі Теорія міри () 1950 року.
У Юникоді як заповнений прямокутник представлений в блоці Математичні оператори () як . Схожі за накресленням символи присутні і в якості геометричних фігур у відповідному блоці: ■, ▮.
У системі комп'ютерної верстки символ доступний під командою або , а також автоматично проставляється наприкінці оточення пакету з AMS-LaTeX.
Примітки