summaryrefslogtreecommitdiff
path: root/font
diff options
context:
space:
mode:
authorwlemb <wlemb>2003-12-28 07:14:47 +0000
committerwlemb <wlemb>2003-12-28 07:14:47 +0000
commit197d5dc9a28e727cbb7f387831bfcf15a64cf7b0 (patch)
tree11e3d0a2c886a3497299946f1410296f806035f2 /font
parent2529d328ba5a6b7d45644de8f3883b054e39ce76 (diff)
downloadgroff-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')
-rw-r--r--font/devhtml/R.proto1
-rw-r--r--font/devps/generate/textmap1
-rw-r--r--font/devps/symbolmap1
-rw-r--r--font/devutf8/R.proto1
4 files changed, 4 insertions, 0 deletions
diff --git a/font/devhtml/R.proto b/font/devhtml/R.proto
index 84df8fac..0cd62ff4 100644
--- a/font/devhtml/R.proto
+++ b/font/devhtml/R.proto
@@ -394,6 +394,7 @@ mo 24 0 0x2208 &isin;
nm 24 0 0x2209 &notin;
st 24 0 0x220B &ni;
product 24 0 0x220F &prod;
+coproduct 24 0 0x2210 &#8720;
sum 24 0 0x2211 &sum;
\- 24 0 0x2212 &minus;
mi "
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
diff --git a/font/devutf8/R.proto b/font/devutf8/R.proto
index bd4aab98..a8e6afc1 100644
--- a/font/devutf8/R.proto
+++ b/font/devutf8/R.proto
@@ -462,6 +462,7 @@ mo 24 0 0x2208
nm 24 0 0x2209
st 24 0 0x220B
product 24 0 0x220F
+coproduct 24 0 0x2210
sum 24 0 0x2211
\- 24 0 0x2212
mi "