diff options
Diffstat (limited to 'font/devlj4')
| -rw-r--r-- | font/devlj4/S | 3 | ||||
| -rw-r--r-- | font/devlj4/generate/special.map | 1 |
2 files changed, 3 insertions, 1 deletions
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 |