* font/devdvi/generate/texsy.map: Add `is'.

* font/devps/symbolmap: Regenerated.
* font/devdvi/*TC, MI, S: Regenerated.

* tmac/dvi.tmac: Remove `is'.

14 files changed, 17 insertions, 5 deletions

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 <=