End of Proof

Type it

Ways to write the End of Proof symbol
UnicodeU+220E
LaTeX\blacksquare
HTML entity∎
Character∎

Meaning

Marks the end of a proof, taking the place of the older QED. It is also called the tombstone or Halmos symbol, and a hollow square □ is used the same way. Compare with Therefore and Because.

How to read it

… so n is even. ∎

is read “so n is even, end of proof”.

More Logic symbols