diff options
Diffstat (limited to 'font/devutf8/NOTES')
| -rw-r--r-- | font/devutf8/NOTES | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/font/devutf8/NOTES b/font/devutf8/NOTES index 608eddc5..0e857e87 100644 --- a/font/devutf8/NOTES +++ b/font/devutf8/NOTES @@ -19,12 +19,6 @@ within the TeX system). space 24 0 0x0020 -The following lines could be added, to define names which are known to e.g. -"devdvi" but are not known to "devps". - -<< 24 0 0x226A ->> 24 0 0x226B - "devps" maps \(a~ and ~ to asciitilde, which is equivalent to 0x02DC, but this glyph is just too small. We map them to 0x007E instead. |