From: Jukka K. Korpela <>
Date: Fri, 25 Jan 2013 08:27:14 +0200

2013-01-25 2:41, Richard Wordingham wrote:

> 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

It is one of the many symbols used to indicate end of proof in
mathematics, though (as your quotation shows) originally used for other
purposes, presumably to denote end of article. So the name is somewhat
of a misnomer, especially if it suggests that this character would be
“the” end of proof character.

The comments on U+220E in the code chart refer to U+2023 (‣) and U+25AE
(▮), which probably reflects their use for similar purposes.

Other end of proof symbols include □ (U+25A1), ■ (25A0), ▲ (U+25B2), ◇
(U+25C7), and ◆ (U+25C6). They, or graphics resembling them, are also
used to indicate end of article.

There is no point in trying to standardize end of story, end of proof,
or end of article symbols. Various characters are used in such roles,
and Unicode needs to encode those uses, not to tell people that a single
character should be used. Recognizing the end of some text entity
depends on conventions and practices – there isn’t even any unambiguous
end of sentence character (FULL STOP “.” has many other uses beyond
terminating a sentence).

Received on Fri Jan 25 2013 - 00:31:21 CST

This archive was generated by hypermail 2.2.0 : Fri Jan 25 2013 - 00:31:23 CST