#end of proof #qed #halmos #formal end #final mark #tombstone symbol #mathematical ending #documentation end