From 197d5dc9a28e727cbb7f387831bfcf15a64cf7b0 Mon Sep 17 00:00:00 2001 From: wlemb Date: Sun, 28 Dec 2003 07:14:47 +0000 Subject: 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]). --- font/devhtml/R.proto | 1 + font/devps/generate/textmap | 1 + font/devps/symbolmap | 1 + font/devutf8/R.proto | 1 + 4 files changed, 4 insertions(+) (limited to 'font') 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 ∈ nm 24 0 0x2209 ∉ st 24 0 0x220B ∋ product 24 0 0x220F ∏ +coproduct 24 0 0x2210 ∐ sum 24 0 0x2211 ∑ \- 24 0 0x2212 − 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 " -- cgit v1.2.1