From 6a6692c458f9d417c14f1715a9f3d848ff26b27c Mon Sep 17 00:00:00 2001 From: wlemb Date: Tue, 7 Jan 2003 14:33:59 +0000 Subject: `is' is now a text symbol (only relevant for dvi). The math variant can be accessed with `integral'. * font/devX*/S: Regenerated. * font/devdvi/generate/texex.map: Remove `is'. * font/devdvi/EX: Updated. * font/devhtml/R.proto, font/devutf8/R.proto: Add `integral'. * font/devlj4/generate/special.map: Ditto. * font/devlj4/S: Regenerated. * font/devps/generate/textmap: Add `integral'. * font/devps/S: Regenerated. * tmac/dvi.tmac: Define `is'. * src/roff/troff/glyphuni.cc (glyph_to_unicode_list): Add `integral'. * src/preproc/tbl/main.cc (process_format): Fix error message. --- font/devX75/S | 1 + 1 file changed, 1 insertion(+) (limited to 'font/devX75') diff --git a/font/devX75/S b/font/devX75/S index 80b2d738..e55e6f00 100644 --- a/font/devX75/S +++ b/font/devX75/S @@ -200,6 +200,7 @@ braceex " bv " ra 3,7,2 0 0361 is 3,10,2 0 0362 +integral " --- 7,10,4 0 0363 --- 7,10,4 0 0364 --- 7,10,2 0 0365 -- cgit v1.2.1