diff options
Diffstat (limited to 'font')
| -rw-r--r-- | font/devdvi/CWITC | 1 | ||||
| -rw-r--r-- | font/devdvi/CWTC | 1 | ||||
| -rw-r--r-- | font/devdvi/HBITC | 1 | ||||
| -rw-r--r-- | font/devdvi/HBTC | 1 | ||||
| -rw-r--r-- | font/devdvi/HITC | 1 | ||||
| -rw-r--r-- | font/devdvi/HRTC | 1 | ||||
| -rw-r--r-- | font/devdvi/TBITC | 1 | ||||
| -rw-r--r-- | font/devdvi/TBTC | 1 | ||||
| -rw-r--r-- | font/devdvi/TITC | 1 | ||||
| -rw-r--r-- | font/devdvi/TRTC | 1 | ||||
| -rw-r--r-- | font/devdvi/generate/tc.map | 1 | ||||
| -rw-r--r-- | font/devhtml/R.proto | 6 | ||||
| -rw-r--r-- | font/devutf8/NOTES | 6 | ||||
| -rw-r--r-- | font/devutf8/R.proto | 6 |
14 files changed, 12 insertions, 17 deletions
diff --git a/font/devdvi/CWITC b/font/devdvi/CWITC index ffe8d49d..e4ffab5b 100644 --- a/font/devdvi/CWITC +++ b/font/devdvi/CWITC @@ -35,7 +35,6 @@ charset Do 550368,728000,87360,182000 3 0044 $ " aq 550368,640640,0,182000 2 0047 -** 550368,551096,-94640,182000 2 0052 , 550368,130000,145600,182000 1 0054 --- 550368,435706,-204934,182000 0 0055 . 550368,130000,0,182000 0 0056 diff --git a/font/devdvi/CWTC b/font/devdvi/CWTC index a3fb6f2b..24658152 100644 --- a/font/devdvi/CWTC +++ b/font/devdvi/CWTC @@ -34,7 +34,6 @@ charset Do 550368,728000,87360 3 0044 $ " aq 550368,640640 2 0047 -** 550368,551096,-94640 2 0052 , 550368,130000,145600 1 0054 --- 550368,435706,-204934 0 0055 . 550368,130000 0 0056 diff --git a/font/devdvi/HBITC b/font/devdvi/HBITC index ecafe0e5..d98e3f5d 100644 --- a/font/devdvi/HBITC +++ b/font/devdvi/HBITC @@ -35,7 +35,6 @@ charset Do 576576,786240,29120,122707 3 0044 $ " aq 320320,757120,0,104146 2 0047 -** 576576,502320,-21840 2 0052 , 320320,137072,110656 1 0054 --- 384384,425880,-98280,58491 0 0055 . 320320,137072 0 0056 diff --git a/font/devdvi/HBTC b/font/devdvi/HBTC index 8b6208a2..a0e1624e 100644 --- a/font/devdvi/HBTC +++ b/font/devdvi/HBTC @@ -34,7 +34,6 @@ charset Do 576576,786240,29120 3 0044 $ " aq 320320,757120 2 0047 -** 576576,502320,-21840 2 0052 , 320320,137072,110656 1 0054 --- 384384,425880,-98280 0 0055 . 320320,137072 0 0056 diff --git a/font/devdvi/HITC b/font/devdvi/HITC index bc4a0edf..a430b2c0 100644 --- a/font/devdvi/HITC +++ b/font/devdvi/HITC @@ -35,7 +35,6 @@ charset Do 524160,786240,29120,116955 3 0044 $ " aq 291200,757120,0,85218 2 0047 -** 524160,495040,-29120 2 0052 , 291200,87360,131040 1 0054 --- 349440,387883,-136277,53326 0 0055 . 291200,87360 0 0056 diff --git a/font/devdvi/HRTC b/font/devdvi/HRTC index 6b1c181c..ea3b6405 100644 --- a/font/devdvi/HRTC +++ b/font/devdvi/HRTC @@ -34,7 +34,6 @@ charset Do 524160,786240,29120 3 0044 $ " aq 291200,757120 2 0047 -** 524160,495040,-29120 2 0052 , 291200,87360,131040 1 0054 --- 349440,387883,-136277 0 0055 . 291200,87360 0 0056 diff --git a/font/devdvi/TBITC b/font/devdvi/TBITC index 89e90ec2..5749d29b 100644 --- a/font/devdvi/TBITC +++ b/font/devdvi/TBITC @@ -35,7 +35,6 @@ charset Do 619674,786240,58240,138029 3 0044 $ " aq 372736,723632,0,119683 2 0047 -** 619674,495040,-29120 2 0052 , 372736,154336,203840 1 0054 --- 434470,410018,-114142,71637 0 0055 . 372736,154336 0 0056 diff --git a/font/devdvi/TBTC b/font/devdvi/TBTC index d1c5e625..0c86182c 100644 --- a/font/devdvi/TBTC +++ b/font/devdvi/TBTC @@ -34,7 +34,6 @@ charset Do 602784,786240,58240 3 0044 $ " aq 334880,723632 2 0047 -** 602784,495768,-29120 2 0052 , 334880,163072,203840 1 0054 --- 401856,410018,-114142 0 0055 . 334880,163072 0 0056 diff --git a/font/devdvi/TITC b/font/devdvi/TITC index 68fa1998..a623b282 100644 --- a/font/devdvi/TITC +++ b/font/devdvi/TITC @@ -35,7 +35,6 @@ charset Do 535808,786240,58240,142106 3 0044 $ " aq 321485,728000,0,117062 2 0047 -** 535808,487760,-36400 2 0052 , 321485,110656,203840 1 0054 --- 375066,384606,-139554,69362 0 0055 . 321485,110656 0 0056 diff --git a/font/devdvi/TRTC b/font/devdvi/TRTC index 40013995..e053c455 100644 --- a/font/devdvi/TRTC +++ b/font/devdvi/TRTC @@ -34,7 +34,6 @@ charset Do 524160,786240,58240 3 0044 $ " aq 291200,722176 2 0047 -** 524160,487760,-36400 2 0052 , 291200,110656,203840 1 0054 --- 349440,384606,-139554 0 0055 . 291200,110656 0 0056 diff --git a/font/devdvi/generate/tc.map b/font/devdvi/generate/tc.map index 0168e16c..a78cec10 100644 --- a/font/devdvi/generate/tc.map +++ b/font/devdvi/generate/tc.map @@ -3,7 +3,6 @@ 25 -> 36 $ Do 39 aq -42 ** 44 , 46 . 47 f/ diff --git a/font/devhtml/R.proto b/font/devhtml/R.proto index 613d8129..298ccb4c 100644 --- a/font/devhtml/R.proto +++ b/font/devhtml/R.proto @@ -150,6 +150,10 @@ Fc 24 0 0x00BB » 14 24 0 0x00BC ¼ 12 24 0 0x00BD ½ 34 24 0 0x00BE ¾ +18 24 0 0x215B ⅛ +38 24 0 0x215C ⅜ +58 24 0 0x215D ⅝ +78 24 0 0x215E ⅞ r? 24 0 0x00BF ¿ `A 24 0 0x00C0 À 'A 24 0 0x00C1 Á @@ -363,6 +367,8 @@ ap 24 0 0x223C ∼ == 24 0 0x2261 ≡ <= 24 0 0x2264 ≤ >= 24 0 0x2265 ≥ +<< 24 0 0x226A ≪ +>> 24 0 0x226B ≫ sb 24 0 0x2282 ⊂ sp 24 0 0x2283 ⊃ nb 24 0 0x2284 ⊄ 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. diff --git a/font/devutf8/R.proto b/font/devutf8/R.proto index fa605347..cc057d63 100644 --- a/font/devutf8/R.proto +++ b/font/devutf8/R.proto @@ -319,6 +319,10 @@ wp 24 0 0x2118 Re 24 0 0x211C tm 24 0 0x2122 Ah 24 0 0x2135 +18 24 0 0x215B +38 24 0 0x215C +58 24 0 0x215D +78 24 0 0x215E <- 24 0 0x2190 ua 24 0 0x2191 -> 24 0 0x2192 @@ -365,6 +369,8 @@ ap 24 0 0x223C == 24 0 0x2261 <= 24 0 0x2264 >= 24 0 0x2265 +<< 24 0 0x226A +>> 24 0 0x226B sb 24 0 0x2282 sp 24 0 0x2283 nb 24 0 0x2284 |