#QED symbol #halmos symbol #tombstone #end of proof #demonstrated #proof complete