diff options
author | wlemb <wlemb> | 2003-12-28 07:14:47 +0000 |
---|---|---|
committer | wlemb <wlemb> | 2003-12-28 07:14:47 +0000 |
commit | 197d5dc9a28e727cbb7f387831bfcf15a64cf7b0 (patch) | |
tree | 11e3d0a2c886a3497299946f1410296f806035f2 /font/devps | |
parent | 2529d328ba5a6b7d45644de8f3883b054e39ce76 (diff) | |
download | groff-197d5dc9a28e727cbb7f387831bfcf15a64cf7b0.tar.gz |
Add forgotten `coproduct' symbol (already available for DVI).
* font/devhtml/R.proto, font/devps/generate/textmap,
font/devps/symbolmap, font/devutf8/R.proto, man/groff_char.man,
src/libs/libgroff/uniglyph.cc, src/libs/libgroff/glyphuni.cpp: Add
U+2210 (\[coproduct]).
Diffstat (limited to 'font/devps')
-rw-r--r-- | font/devps/generate/textmap | 1 | ||||
-rw-r--r-- | font/devps/symbolmap | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/font/devps/generate/textmap b/font/devps/generate/textmap index 70d322fe..79f78450 100644 --- a/font/devps/generate/textmap +++ b/font/devps/generate/textmap @@ -304,6 +304,7 @@ ugrave `u underscore _ uni210F -h uni210F hbar +uni2210 coproduct uni2213 -+ uni2243 |= uni2262 ne diff --git a/font/devps/symbolmap b/font/devps/symbolmap index f3b28319..f14acd24 100644 --- a/font/devps/symbolmap +++ b/font/devps/symbolmap @@ -307,6 +307,7 @@ ugrave `u underscore _ uni210F -h uni210F hbar +uni2210 coproduct uni2213 -+ uni2243 |= uni2262 ne |