diff --git a/fonts/KaTeX_Main-Bold.ttf b/fonts/KaTeX_Main-Bold.ttf index f33a98da..4060e627 100644 Binary files a/fonts/KaTeX_Main-Bold.ttf and b/fonts/KaTeX_Main-Bold.ttf differ diff --git a/fonts/KaTeX_Main-Bold.woff b/fonts/KaTeX_Main-Bold.woff index d921b95b..f38136ac 100644 Binary files a/fonts/KaTeX_Main-Bold.woff and b/fonts/KaTeX_Main-Bold.woff differ diff --git a/fonts/KaTeX_Main-Bold.woff2 b/fonts/KaTeX_Main-Bold.woff2 index 05496c9e..ab2ad21d 100644 Binary files a/fonts/KaTeX_Main-Bold.woff2 and b/fonts/KaTeX_Main-Bold.woff2 differ diff --git a/fonts/KaTeX_Main-Regular.ttf b/fonts/KaTeX_Main-Regular.ttf index c9076b7d..dd45e1ed 100644 Binary files a/fonts/KaTeX_Main-Regular.ttf and b/fonts/KaTeX_Main-Regular.ttf differ diff --git a/fonts/KaTeX_Main-Regular.woff b/fonts/KaTeX_Main-Regular.woff index a8e80dfb..21f58129 100644 Binary files a/fonts/KaTeX_Main-Regular.woff and b/fonts/KaTeX_Main-Regular.woff differ diff --git a/fonts/KaTeX_Main-Regular.woff2 b/fonts/KaTeX_Main-Regular.woff2 index 5b15437b..eb24a7ba 100644 Binary files a/fonts/KaTeX_Main-Regular.woff2 and b/fonts/KaTeX_Main-Regular.woff2 differ diff --git a/src/fontMetricsData.js b/src/fontMetricsData.js index 6e3f2ea7..25572450 100644 --- a/src/fontMetricsData.js +++ b/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], diff --git a/src/fonts/makeFF b/src/fonts/makeFF index df55f1b6..606d5fd3 100755 --- a/src/fonts/makeFF +++ b/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 => [ diff --git a/src/metrics/extract_ttfs.py b/src/metrics/extract_ttfs.py index f4253f2c..29f92253 100755 --- a/src/metrics/extract_ttfs.py +++ b/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