- From: Řistein E. Andersen <liszt@coq.no>
- Date: Thu, 17 Sep 2009 21:23:06 +0100
Printable Unicode characters are referred to in at least five
different ways:
U+003D EQUALS SIGN (<code title="">=</code>)
U+003D EQUALS SIGN ("<code title="">=</code>")
U+003D EQUALS SIGN character (=)
U+002D HYPHEN-MINUS ("-")
U+003D EQUALS SIGN
Printable ASCII-characters are usually referred to as follows:
0x3D (ASCII '=')
The ideal solution would of course be to make this fully consistent ?
e.g., by using the style U+... (<code>...</code>) for Unicode all the
time and perhaps also 0x... (ASCII <code>...</code>) for ASCII.
Failing that, "'" and '"' (two occurrences of each, excluding an
unrelated unproblematic instance inside a script) should be changed
since they appear confusingly as ''''' and '''' in a sans-serif
typeface.
--
?istein E. Andersen
Received on Thursday, 17 September 2009 13:23:06 UTC