Re: End of story character

From: Richard Wordingham <>
Date: Fri, 25 Jan 2013 00:41:29 +0000

On Thu, 24 Jan 2013 20:05:41 -0300
Andrés Sanhueza <> 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

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