Your Collection
Your collection items will appear here.
Login to download collections
End of Proof Symbol

End of Proof ∎

U+220E • mathematics

End of Proof Symbol

The symbol '∎' (End of Proof) marks the conclusion of a mathematical proof or logical argument. It is commonly used in mathematical texts and papers to signify that the proof is complete, often called the 'tombstone' or 'Halmos symbol'.

The Symbol For End of Proof (∎) is a unicode character in the Basic Multilingual Plane Plane. It is found in the Mathematical Operators block and was approved as part of Unicode Version 1.1 in 1993

mathematicsprooflogicsymbolnotationendconclusionformalargumenttheorem

Copy and paste the End of Proof Symbol

Copy the End of Proof dymbol to your clipboard to use on Twitter, Instagram, Discord and more in one click.

∎ Click to copy
  • Full Name: End of Proof
  • Plane: Basic Multilingual Plane
  • Block: Mathematical Operators
  • Unicode: U+220E
  • Unicode Version: 1.1
  • Year Added: 1993