diff options
Diffstat (limited to 'contrib/groff/font/devdvi/generate/texex.map')
| -rw-r--r-- | contrib/groff/font/devdvi/generate/texex.map | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/contrib/groff/font/devdvi/generate/texex.map b/contrib/groff/font/devdvi/generate/texex.map index a5b2690..2e497f7 100644 --- a/contrib/groff/font/devdvi/generate/texex.map +++ b/contrib/groff/font/devdvi/generate/texex.map @@ -74,7 +74,7 @@ 79 bigcirclemultiply 88 sum 89 product -90 is integral +90 integral 91 bigunion 92 bigintersection 93 bigunionplus @@ -89,10 +89,10 @@ 109 ceilingright1 110 braceleft1 111 braceright1 -112 sr0 -113 sr1 -114 sr2 -115 sr3 +112 sqrt0 +113 sqrt1 +114 sqrt2 +115 sqrt3 119 arrowvertdblex 120 arrowverttp 121 arrowvertbt |
