e/Tombstone (typography)

Information
has gloss	eng: The tombstone, halmos, or end of proof mark "" is used in mathematics to denote the end of a proof, in place of the traditional abbreviation "QED" for the Latin phrase "quod erat demonstrandum" (Q.E.D.).
lexicalization	eng: tombstone
instance of	(noun) a formal series of statements showing that if one thing is true something else necessarily follows from it proof

Media
media:img	Halmos.png