fix(fonts): correct width of \cong glyph, fix \boldsymbol{\cong} (#3206)

* fix(fonts): correct width of \cong glyph

Fixes #2199

* Update metrics

* Update fonts

* Fix \boldsymbol{\cong}

* SetWidth instead of SetRBearing

* Update metrics

Co-authored-by: ylemkimon <y@ylem.kim>

src/fontMetricsData.js

@@ -582,6 +582,7 @@ export default {
         "8764": [-0.10889, 0.39111, 0, 0, 0.89444],
         "8768": [0.19444, 0.69444, 0, 0, 0.31944],
         "8771": [0.00222, 0.50222, 0, 0, 0.89444],
+        "8773": [0.027, 0.638, 0, 0, 0.894],
         "8776": [0.02444, 0.52444, 0, 0, 0.89444],
         "8781": [0.00222, 0.50222, 0, 0, 0.89444],
         "8801": [0.00222, 0.50222, 0, 0, 0.89444],
@@ -1099,7 +1100,7 @@ export default {
         "8764": [-0.13313, 0.36687, 0, 0, 0.77778],
         "8768": [0.19444, 0.69444, 0, 0, 0.27778],
         "8771": [-0.03625, 0.46375, 0, 0, 0.77778],
-        "8773": [-0.022, 0.589, 0, 0, 1.0],
+        "8773": [-0.022, 0.589, 0, 0, 0.778],
         "8776": [-0.01688, 0.48312, 0, 0, 0.77778],
         "8781": [-0.03625, 0.46375, 0, 0, 0.77778],
         "8784": [-0.133, 0.673, 0, 0, 0.778],

src/fonts/makeFF

@@ -1311,6 +1311,7 @@ $extra{'Main-Regular'} = {
     'Select(0u3D)','Copy()',
     'Select(0u2245)',
     'PasteWithOffset(0,-111)',
+    'SetWidth(778)',
   ],
 
   bowtie => [
@@ -1607,6 +1608,7 @@ $extra{'Main-Bold'} = {
     'Select(0u3D)','Copy()',
     'Select(0u2245)',
     'PasteWithOffset(0,-136)',
+    'SetWidth(894)',
   ],
 
   bowtie => [

src/metrics/extract_ttfs.py

@@ -44,6 +44,9 @@ metrics_to_extract = {
         u"\u21aa": None,  # \hookrightarrow
         u"\u21cc": None,  # \rightleftharpoons
     },
+    "Main-Bold": {
+        u"\u2245": None,  # \cong
+    },
     "Size1-Regular": {
         u"\u222c": u"\u222b",  # \iint, based on \int
         u"\u222d": u"\u222b",  # \iiint, based on \int