∑■

#proof #halmos #tombstone #end of proof #demonstrandum #conclusion

📄∎/◾️

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