On Thu, 24 Jan 2013 20:05:41 -0300 Andrés Sanhueza <[email protected]> wrote:
> Do you think that a "end of story" symbol may be feasible/useful? One such symbol is already encoded, the Halmos tombstone U+220E END OF PROOF. I'm not sure that it should have general class Sm instead of Po - Paul Halmos himself wrote of the symbol, "The symbol is definitely not my invention — it appeared in popular magazines (not mathematical ones) before I adopted it, but, once again, I seem to have introduced it into mathematics. It is the symbol that sometimes looks like ▯, and is used to indicate an end, usually the end of a proof. It is most frequently called the 'tombstone', but at least one generous author referred to it as the ‘halmos’." There are several other such characters already, such as U+0E5B THAI CHARACTER KHOMUT and U+17DA KHMER SIGN KOOMUUT. Richard.
