14 files changed, 64 insertions, 46 deletions

diff --git a/font/devX100-12/S b/font/devX100-12/S
index 2f034000..4b09094c 100644
--- a/font/devX100-12/S
+++ b/font/devX100-12/S
@@ -197,6 +197,7 @@ braceleftbt	8,13,4	0	0356
 lb	"
 bracerightex	8,13,4	0	0357
 braceleftex	"
+braceex	"
 bv	"
 ra	5,13,2	0	0361
 is	5,13,4	0	0362
diff --git a/font/devX100/S b/font/devX100/S
index 2669ba1a..303b86ba 100644
--- a/font/devX100/S
+++ b/font/devX100/S
@@ -197,6 +197,7 @@ braceleftbt	7,12,3	0	0356
 lb	"
 bracerightex	7,12,3	0	0357
 braceleftex	"
+braceex	"
 bv	"
 ra	5,12,3	0	0361
 is	4,12,1	0	0362
diff --git a/font/devX75-12/S b/font/devX75-12/S
index 6c479c6a..74b6d3bb 100644
--- a/font/devX75-12/S
+++ b/font/devX75-12/S
@@ -197,6 +197,7 @@ braceleftbt	6,12,3	0	0356
 lb	"
 bracerightex	6,12,4	0	0357
 braceleftex	"
+braceex	"
 bv	"
 ra	4,10,2	0	0361
 is	4,12,3	0	0362
diff --git a/font/devX75/S b/font/devX75/S
index c42dc79f..d60f78cf 100644
--- a/font/devX75/S
+++ b/font/devX75/S
@@ -197,6 +197,7 @@ braceleftbt	5,10,2	0	0356
 lb	"
 bracerightex	5,10,4	0	0357
 braceleftex	"
+braceex	"
 bv	"
 ra	3,7,2	0	0361
 is	3,10,2	0	0362
diff --git a/font/devascii/R.proto b/font/devascii/R.proto
index abe065fa..14b43192 100644
--- a/font/devascii/R.proto
+++ b/font/devascii/R.proto
@@ -149,16 +149,6 @@ or	"
 bv	"
 br	"
 |	"
-lb	"
-lc	"
-lf	"
-lk	"
-lt	"
-rb	"
-rc	"
-rf	"
-rk	"
-rt	"
 rC	24	0	0175
 }	"
 a~	24	0	0176
diff --git a/font/devcp1047/R.proto b/font/devcp1047/R.proto
index 06acf228..6ea0ff34 100644
--- a/font/devcp1047/R.proto
+++ b/font/devcp1047/R.proto
@@ -22,17 +22,7 @@ pl	"
 ba	"
 br	"
 bv	"
-lb	"
-lc	"
-lf	"
-lk	"
-lt	"
 or	"
-rb	"
-rc	"
-rf	"
-rk	"
-rt	"
 &	24	0	0120
 'e	24	0	0121
 ^e	24	0	0122
diff --git a/font/devdvi/S b/font/devdvi/S
index 810c11ed..2a2be86c 100644
--- a/font/devdvi/S
+++ b/font/devdvi/S
@@ -122,7 +122,6 @@ rC	"
 la	407781,786432,262144	3	0150
 ra	407781,786432,262144	3	0151
 bar	291272,786432,262144	3	0152
-or	"
 bv	"
 |	"
 ba	"
diff --git a/font/devdvi/generate/texsy.map b/font/devdvi/generate/texsy.map
index c22d044d..71b7f8ab 100644
--- a/font/devdvi/generate/texsy.map
+++ b/font/devdvi/generate/texsy.map
@@ -83,7 +83,7 @@
 103 rC }
 104 la
 105 ra
-106 ba | bv or bar
+106 ba | bv bar
 107 bardbl
 108 va
 109 vA
diff --git a/font/devhtml/R.proto b/font/devhtml/R.proto
index 538a28fc..56d53192 100644
--- a/font/devhtml/R.proto
+++ b/font/devhtml/R.proto
@@ -375,10 +375,37 @@ lf	24	0	0x230A	⌊
 rf	24	0	0x230B	⌋
 la	24	0	0x2329	⟨
 ra	24	0	0x232A	⟩
+parenlefttp	24	0	0x239B	⎛
+parenleftex	24	0	0x239C	⎜
+parenleftbt	24	0	0x239D	⎝
+parenrighttp	24	0	0x239E	⎞
+parenrightex	24	0	0x239F	⎟
+parenrightbt	24	0	0x23A0	⎠
+bracketlefttp	24	0	0x23A1	⎡
+bracketleftex	24	0	0x23A2	⎢
+bracketleftbt	24	0	0x23A3	⎣
+bracketrighttp	24	0	0x23A4	⎤
+bracketrightex	24	0	0x23A5	⎥
+bracketrightbt	24	0	0x23A6	⎦
+lt	24	0	0x23A7	⎧
+bracelefttp	"
+lk	24	0	0x23A8	⎨
+braceleftmid	"
+lb	24	0	0x23A9	⎩
+braceleftbt	"
+bv	24	0	0x23AA	⎪
+braceex	"
+braceleftex	"
+bracerightex	"
+rt	24	0	0x23AB	⎫
+bracerighttp	"
+rk	24	0	0x23AC	⎬
+bracerightmid	"
+rb	24	0	0x23AD	⎭
+bracerightbt	"
 an	24	0	0x23AF	⎯
 CR	24	0	0x240D	␍
 br	24	0	0x2502	│
-bv	"
 rk	24	0	0x251D	┝
 lk	24	0	0x2525	┥
 lt	24	0	0x256D	╭
diff --git a/font/devlatin1/R.proto b/font/devlatin1/R.proto
index 358778a6..d4739a6b 100644
--- a/font/devlatin1/R.proto
+++ b/font/devlatin1/R.proto
@@ -146,16 +146,6 @@ or	"
 bv	"
 br	"
 |	"
-lb	"
-lc	"
-lf	"
-lk	"
-lt	"
-rb	"
-rc	"
-rf	"
-rk	"
-rt	"
 rC	24	0	0175
 }	"
 a~	24	0	0176
diff --git a/font/devlj4/S b/font/devlj4/S
index 599867f6..fda2bcf6 100644
--- a/font/devlj4/S
+++ b/font/devlj4/S
@@ -172,7 +172,8 @@ bracerightmid	"
 rb	19029,19758,6588	3	69108
 parenrightbt	"
 bracerightbt	"
-bv	19029,23322,6588	3	69109
+braceex	19029,23322,6588	3	69109
+bv	"
 bracerightex	"
 braceleftex	"
 parenrightex	19029,23322,6588	3	69110
diff --git a/font/devlj4/generate/special.map b/font/devlj4/generate/special.map
index ea23337b..882832bd 100644
--- a/font/devlj4/generate/special.map
+++ b/font/devlj4/generate/special.map
@@ -149,6 +149,7 @@
 613 braceleftex
 613 bracerightex
 613 bv
+613 braceex
 614 barex
 614 bracketleftex
 614 bracketrightex
diff --git a/font/devutf8/NOTES b/font/devutf8/NOTES
index af64ff49..28faefee 100644
--- a/font/devutf8/NOTES
+++ b/font/devutf8/NOTES
@@ -9,11 +9,6 @@ unmapped:
 Character 0x002D has not been given a name because its Unicode name
 "HYPHEN-MINUS" is so ambiguous that it's unusable for serious typographic use.
 
-The following, mentioned in the original troff manual, are only approximate:
-
-  \(lk    middle part of big left curly brace
-  \(rk    middle part of big right curly brace
-
 \(wp has been mapped to 0x2118, because according to unicode.org's
 NamesList-3.0.0.txt, U+2118 "SCRIPT CAPITAL P" is really a Weierstrass p,
 neither SCRIPT not CAPITAL.
diff --git a/font/devutf8/R.proto b/font/devutf8/R.proto
index 222d61ab..6acfaf0e 100644
--- a/font/devutf8/R.proto
+++ b/font/devutf8/R.proto
@@ -377,16 +377,37 @@ lf	24	0	0x230A
 rf	24	0	0x230B
 la	24	0	0x2329
 ra	24	0	0x232A
+parenlefttp	24	0	0x239B
+parenleftex	24	0	0x239C
+parenleftbt	24	0	0x239D
+parenrighttp	24	0	0x239E
+parenrightex	24	0	0x239F
+parenrightbt	24	0	0x23A0
+bracketlefttp	24	0	0x23A1
+bracketleftex	24	0	0x23A2
+bracketleftbt	24	0	0x23A3
+bracketrighttp	24	0	0x23A4
+bracketrightex	24	0	0x23A5
+bracketrightbt	24	0	0x23A6
+lt	24	0	0x23A7
+bracelefttp	"
+lk	24	0	0x23A8
+braceleftmid	"
+lb	24	0	0x23A9
+braceleftbt	"
+bv	24	0	0x23AA
+braceex	"
+braceleftex	"
+bracerightex	"
+rt	24	0	0x23AB
+bracerighttp	"
+rk	24	0	0x23AC
+bracerightmid	"
+rb	24	0	0x23AD
+bracerightbt	"
 an	24	0	0x23AF
 CR	24	0	0x240D
 br	24	0	0x2502
-bv	"
-rk	24	0	0x251D
-lk	24	0	0x2525
-lt	24	0	0x256D
-rt	24	0	0x256E
-rb	24	0	0x256F
-lb	24	0	0x2570
 sq	24	0	0x25A1
 lz	24	0	0x25CA
 ci	24	0	0x25EF