In mathematics, the tombstone, also called the halmos or end-of-proof symbol, is a small filled or hollow square placed at the end of a written proof to mark that it is complete, serving the same role as the traditional Latin abbreviation Q.E.D. (quod erat demonstrandum, that which was to be demonstrated). Its use follows the typographic practice of end marks, printer devices that signal the close of a piece of text. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Origin YearPaul Halmos, who first used it in a mathematical context in 1950 Connections
Is Kind Of Object
Entity-backed identity for the object-kind enum value this mathematical object already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The object-kind fact itself stays on the object unchanged.
Sources
1. Tombstone (Typography) (Wikipedia)
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.