diff options
Diffstat (limited to 'font/devutf8/NOTES')
| -rw-r--r-- | font/devutf8/NOTES | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/font/devutf8/NOTES b/font/devutf8/NOTES index 8e724703d..e8fe25157 100644 --- a/font/devutf8/NOTES +++ b/font/devutf8/NOTES @@ -11,8 +11,8 @@ HYPHEN-MINUS is so ambiguous that it is unusable for serious typographic use. \[wp] has been mapped to 0x2118, because according to Unicode 4.1's -NamesList.txt, U+2118 SCRIPT CAPITAL P is really a Weierstrass `p', -neither SCRIPT not CAPITAL. +NamesList.txt, U+2118 SCRIPT CAPITAL P is really a Weierstrass 'p', +neither SCRIPT nor CAPITAL. The following line could be added; \[space] is known to devps but is not documented and not known to devdvi (actually, there is no space glyph within @@ -20,19 +20,19 @@ the TeX system). space 24 0 0x0020 -devps maps \[a~] and `~' to `asciitilde', which is equivalent to 0x02DC, but +devps maps \[a~] and '~' to 'asciitilde', which is equivalent to 0x02DC, but this glyph is just too small. We map them to 0x007E instead. -devps maps \[a^] and `^' to `circumflex', which is equivalent to 0x02C6, but +devps maps \[a^] and '^' to 'circumflex', which is equivalent to 0x02C6, but this glyph is just too small. We map them to 0x005E instead. -devps maps \[*U] to `Upsilon1', which is equivalent to 0x03D2. We map it to +devps maps \[*U] to 'Upsilon1', which is equivalent to 0x03D2. We map it to 0x03A5 instead. -devps maps \[*W] to `Omega', which is equivalent to either 0x2126 or 0x03A9. +devps maps \[*W] to 'Omega', which is equivalent to either 0x2126 or 0x03A9. We map it to 0x03A9. -devps maps \[*D] to `Delta', which is equivalent to either 0x2206 or 0x0394. +devps maps \[*D] to 'Delta', which is equivalent to either 0x2206 or 0x0394. We map it to 0x0394. |