In these memoirs, Halmos claims to have invented the "iff" notation for the words "if and only if" and to have been the first to use the "tombstone" notation to signify the end of a proof,[7] and this is generally agreed to be the case. The tombstone symbol ∎ (Unicode U+220E) is sometimes called a halmos.[8]