Move bracketleftbigg to correct position

Generating a ttf from cmex10.sfd would fix bug 6115, but unfortunately I am
unable to export a ttf with the same settings as the existing one, so this has
still to be done.

diff --git a/lib/fonts/cmex10.sfd b/lib/fonts/cmex10.sfd
index d5c409d281e83f82dc33a269554fb947aa5be617..cea4d9d5a67fff04018b0228f021f6bff0869ce8 100644 (file)
--- a/lib/fonts/cmex10.sfd
+++ b/lib/fonts/cmex10.sfd
@@ -8397,7 +8397,7 @@ EndSplineSet
 EndChar
 
 StartChar: bracketleftbigg
-Encoding: 8729 8729 125
+Encoding: 183 183 125
 Width: 1079
 Flags: W
 TtInstrs: