Page 1 of 1

End of Proof font

Posted: Fri Oct 19, 2007 8:51 am
by William
I saw the following post in the Unicode mailing list archives.

http://www.unicode.org/mail-arch/unicod ... /0204.html

The username and password for guest access to the archives are on the following page.

http://www.unicode.org/mail-arch/

In that post is the following.

quote

And a truly dedicated mathematician will add:
Proof. ... ∎

end quote

"Which character is being shown here as a black rectangle .notdef glyph?" I wondered.

I tried the SC UniPad program, available from the http://www.unipad.org webspace.

A solid black rectangle was shown. So I highlighted the character and used Edit Convert A \u... and got the answer \u220e.

So then I tried to find the code chart and found it at the following web page.

http://www.unicode.org/charts/symbols.html

It is in the chart for Mathematical Operators. The direct link is as follows.

http://www.unicode.org/charts/PDF/U2200.pdf

I tried a few fonts and could not find a glyph for U+220E included, so I thought that I would try to make a special End of Proof font, in the hope that it might be of interest.

The glyph is at U+220E and the Alt code is 8718.

I found that copying the above quoted text into WordPad and then formatting the black rectangle character using the End of Proof font worked well.

The font is available from the following link.

http://www.users.globalnet.co.uk/~ngo/ENDPROOF.TTF

William Overington

19 October 2007

Posted: Fri Oct 19, 2007 11:31 am
by William
The following thread may be of interest.

viewtopic.php?t=1936

William Overington

19 October 2007