diff options
author | wlemb <wlemb> | 2003-01-07 14:33:59 +0000 |
---|---|---|
committer | wlemb <wlemb> | 2003-01-07 14:33:59 +0000 |
commit | 6a6692c458f9d417c14f1715a9f3d848ff26b27c (patch) | |
tree | 2932180af263b44522b29c77f13ee9bd612fb8fd /font/devps | |
parent | d16dfe57b0fed9b9fa9409495410569e1469049d (diff) | |
download | groff-6a6692c458f9d417c14f1715a9f3d848ff26b27c.tar.gz |
`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.
Diffstat (limited to 'font/devps')
-rw-r--r-- | font/devps/S | 1 | ||||
-rw-r--r-- | font/devps/generate/textmap | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/font/devps/S b/font/devps/S index 52d7fd67..a2416b8f 100644 --- a/font/devps/S +++ b/font/devps/S @@ -206,6 +206,7 @@ barex " bv " ra 329,746,198,0,-21 3 0361 -- angleright is 274,916,107,67,52,-10 3 0362 -- integral +integral " --- 686,921,83,29,-332 3 0363 -- integraltp --- 686,975,88,0,-332 3 0364 -- integralex --- 686,921,81,0,-39 3 0365 -- integralbt diff --git a/font/devps/generate/textmap b/font/devps/generate/textmap index a68fc8eb..f69a9a05 100644 --- a/font/devps/generate/textmap +++ b/font/devps/generate/textmap @@ -210,6 +210,7 @@ igrave `i ij ij infinity if integral is +integral integral intersection ca less < lessequal <= |