∑■

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

📄∎/◾️

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

🧐📐🔢➡️∎

#mathematical proof #logical deduction #qed #halmos #geometry proof #theorem proving #formal proof