diff options
-rw-r--r-- | ChangeLog | 8 | ||||
-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/MI | 4 | ||||
-rw-r--r-- | font/devdvi/S | 6 | ||||
-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/texsy.map | 1 | ||||
-rw-r--r-- | font/devps/symbolmap | 1 | ||||
-rw-r--r-- | tmac/dvi.tmac | 2 |
16 files changed, 25 insertions, 7 deletions
@@ -1,3 +1,11 @@ +2003-01-04 Werner LEMBERG <wl@gnu.org> + + * font/devdvi/generate/texsy.map: Add `is'. + * font/devps/symbolmap: Regenerated. + * font/devdvi/*TC, MI, S: Regenerated. + + * tmac/dvi.tmac: Remove `is'. + 2003-01-03 Werner LEMBERG <wl@gnu.org> `is' is now a text symbol (only relevant for dvi). The math variant diff --git a/font/devdvi/CWITC b/font/devdvi/CWITC index e4ffab5b..28d3dcbf 100644 --- a/font/devdvi/CWITC +++ b/font/devdvi/CWITC @@ -35,6 +35,7 @@ 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 24658152..4c521ea8 100644 --- a/font/devdvi/CWTC +++ b/font/devdvi/CWTC @@ -34,6 +34,7 @@ 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 d98e3f5d..14d8927b 100644 --- a/font/devdvi/HBITC +++ b/font/devdvi/HBITC @@ -35,6 +35,7 @@ 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 a0e1624e..0838caaa 100644 --- a/font/devdvi/HBTC +++ b/font/devdvi/HBTC @@ -34,6 +34,7 @@ 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 a430b2c0..d6254903 100644 --- a/font/devdvi/HITC +++ b/font/devdvi/HITC @@ -35,6 +35,7 @@ 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 ea3b6405..85c4531f 100644 --- a/font/devdvi/HRTC +++ b/font/devdvi/HRTC @@ -34,6 +34,7 @@ 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/MI b/font/devdvi/MI index d3b0fcfa..b0189038 100644 --- a/font/devdvi/MI +++ b/font/devdvi/MI @@ -27,8 +27,8 @@ charset *i 371130,451470 0 0023 *k 604147,451470 0 0024 *l 611672,728178 2 0025 -*m 631819,451470,203890 1 0026 -mc " +mc 631819,451470,203890 1 0026 +*m " *n 517979,451470,0,66750 0 0027 *c 458754,728178,203890,48242 3 0030 *p 597717,451470,0,37622 0 0031 diff --git a/font/devdvi/S b/font/devdvi/S index c411bf87..69485957 100644 --- a/font/devdvi/S +++ b/font/devdvi/S @@ -36,8 +36,8 @@ ip 815562,666864,142576 3 0023 --- 815562,666864,142576 3 0027 ti 815562,384696,-139592 0 0030 ap " -~~ 815562,506590,-17698 2 0031 -~= " +~= 815562,506590,-17698 2 0031 +~~ " sb 815562,565285,40997 3 0032 sp 815562,565285,40997 3 0033 << 1048579,565285,40997 3 0034 @@ -134,7 +134,7 @@ rs 524290,786432,262144 3 0156 sr 873816,41942,1006634 1 0160 --- 786434,716526 2 0161 gr 873816,716526 2 0162 ---- 436909,728178,203890,116509 3 0163 +is 436909,728178,203890,116509 3 0163 --- 699053,582544 2 0164 --- 699053,582544 2 0165 --- 815562,666864,142576 3 0166 diff --git a/font/devdvi/TBITC b/font/devdvi/TBITC index 5749d29b..26cd5682 100644 --- a/font/devdvi/TBITC +++ b/font/devdvi/TBITC @@ -35,6 +35,7 @@ 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 0c86182c..fa36726a 100644 --- a/font/devdvi/TBTC +++ b/font/devdvi/TBTC @@ -34,6 +34,7 @@ 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 a623b282..09b311e7 100644 --- a/font/devdvi/TITC +++ b/font/devdvi/TITC @@ -35,6 +35,7 @@ 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 e053c455..91b6ed6f 100644 --- a/font/devdvi/TRTC +++ b/font/devdvi/TRTC @@ -34,6 +34,7 @@ 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/texsy.map b/font/devdvi/generate/texsy.map index 8f5e9bb4..d3a427d1 100644 --- a/font/devdvi/generate/texsy.map +++ b/font/devdvi/generate/texsy.map @@ -90,6 +90,7 @@ 110 \ rs 112 sr 114 gr +115 is 120 sc 121 dg 122 dd diff --git a/font/devps/symbolmap b/font/devps/symbolmap index b85e4081..d25e1e65 100644 --- a/font/devps/symbolmap +++ b/font/devps/symbolmap @@ -213,6 +213,7 @@ igrave `i ij ij infinity if integral is +integral integral intersection ca less < lessequal <= diff --git a/tmac/dvi.tmac b/tmac/dvi.tmac index 91e6260d..353e5292 100644 --- a/tmac/dvi.tmac +++ b/tmac/dvi.tmac @@ -77,8 +77,6 @@ .fschar CW \[ne] \o'/\[==]' .fschar CWI \[ne] \o'\f[CW]/\[==]' .fchar \[=~] \v'.1m'\Z'\[eq]'\v'-.4m'\[ap]\v'.3m' -.\" \[is] is a text variant of \[integral] -.char \[is] \v'-.8m'\f[EX]\s[\En[.s]*5u/10u]\[integral]\s[0]\f[]\v'.8m'\h'.2m' .fchar \[tm] \v'-.3m'\s[\En[.s]/2u]TM\s0\v'.3m' .\" TC fonts contain real \[aq] glyphs .schar \[aq] ' |