On Thu, 24 Jan 2013 20:05:41 -0300
Andrés Sanhueza <peroyomaslists_at_gmail.com> 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.
Received on Thu Jan 24 2013 - 20:20:06 CST
This archive was generated by hypermail 2.2.0 : Thu Jan 24 2013 - 20:20:08 CST