regenerate for issue #96

tables/operator-dictionary-compact.html

@@ -1,9 +1,9 @@
 <!-- This file was automatically generated from generate-math-variant-tables.py. Do not edit. -->
 <figure id="operator-dictionary-compact-special-tables"><table><tr><th>Special Table</th><th>Entries</th></tr>
-<tr><td><code>Operators_2_ascii_chars</code></td><td>20 entries (2-characters ASCII strings): <code>'!!', '!=', '&&', '**', '*=', '++', '+=', '--', '-=', '->', '//', '/=', ':=', '<=', '<>', '==', '>=', '||', '⧏̸', '⧐̸', </code></td></tr>
+<tr><td><code>Operators_2_ascii_chars</code></td><td>18 entries (2-characters ASCII strings): <code>'!!', '!=', '&&', '**', '*=', '++', '+=', '--', '-=', '->', '//', '/=', ':=', '<=', '<>', '==', '>=', '||', </code></td></tr>
 <tr><td><code>Operators_fence</code></td><td>61 entries (16 Unicode ranges): <code>[U+0028–U+0029], {U+005B}, {U+005D}, [U+007B–U+007D], {U+0331}, {U+2016}, [U+2018–U+2019], [U+201C–U+201D], [U+2308–U+230B], [U+2329–U+232A], [U+2772–U+2773], [U+27E6–U+27EF], {U+2980}, [U+2983–U+2999], [U+29D8–U+29DB], [U+29FC–U+29FD], </code></td></tr>
 <tr><td><code>Operators_separator</code></td><td>3 entries: <code>U+002C, U+003B, U+2063, </code></td></tr>
-</table><figcaption>Special tables for the operator dictionary.<br/>Total size: 84 entries, 94 bytes.<br/>(assuming characters are UTF-16 and 1-byte range lengths)</figcaption></figure><figure id="operator-dictionary-category-table"><table><tr><th>(Content, Form) keys</th><th>Category</th></tr>
+</table><figcaption>Special tables for the operator dictionary.<br/>Total size: 82 entries, 90 bytes.<br/>(assuming characters are UTF-16 and 1-byte range lengths)</figcaption></figure><figure id="operator-dictionary-category-table"><table><tr><th>(Content, Form) keys</th><th>Category</th></tr>
 <tr><td>313 entries (35 Unicode ranges)  in <strong>infix</strong> form: <code>[U+2190–U+2195], [U+219A–U+21AE], [U+21B0–U+21B5], {U+21B9}, [U+21BC–U+21D5], [U+21DA–U+21F0], [U+21F3–U+21FF], {U+2794}, {U+2799}, [U+279B–U+27A1], [U+27A5–U+27A6], [U+27A8–U+27AF], {U+27B1}, {U+27B3}, {U+27B5}, {U+27B8}, [U+27BA–U+27BE], [U+27F0–U+27F1], [U+27F4–U+27FF], [U+2900–U+2920], [U+2934–U+2937], [U+2942–U+2975], [U+297C–U+297F], [U+2B04–U+2B07], [U+2B0C–U+2B11], [U+2B30–U+2B3E], [U+2B40–U+2B4C], [U+2B60–U+2B65], [U+2B6A–U+2B6D], [U+2B70–U+2B73], [U+2B7A–U+2B7D], [U+2B80–U+2B87], {U+2B95}, [U+2BA0–U+2BAF], {U+2BB8}, </code></td><td>A</td></tr>
 <tr><td>109 entries (32 Unicode ranges)  in <strong>infix</strong> form: <code>{U+002B}, {U+002D}, {U+002F}, {U+00B1}, {U+00F7}, {U+0322}, {U+2044}, [U+2212–U+2216], [U+2227–U+222A], {U+2236}, {U+2238}, [U+228C–U+228E], [U+2293–U+2296], {U+2298}, [U+229D–U+229F], [U+22BB–U+22BD], [U+22CE–U+22CF], [U+22D2–U+22D3], [U+2795–U+2797], {U+29B8}, {U+29BC}, [U+29C4–U+29C5], [U+29F5–U+29FB], [U+2A1F–U+2A2E], [U+2A38–U+2A3A], {U+2A3E}, [U+2A40–U+2A4F], [U+2A51–U+2A63], {U+2ADB}, {U+2AF6}, {U+2AFB}, {U+2AFD}, </code></td><td>B</td></tr>
 <tr><td>64 entries (33 Unicode ranges)  in <strong>infix</strong> form: <code>{U+0025}, {U+002A}, {U+002E}, [U+003F–U+0040], {U+005E}, {U+00B7}, {U+00D7}, {U+0323}, {U+032E}, {U+2022}, {U+2043}, [U+2217–U+2219], {U+2240}, {U+2297}, [U+2299–U+229B], [U+22A0–U+22A1], {U+22BA}, [U+22C4–U+22C7], [U+22C9–U+22CC], [U+2305–U+2306], {U+27CB}, {U+27CD}, [U+29C6–U+29C8], [U+29D4–U+29D7], {U+29E2}, [U+2A1D–U+2A1E], [U+2A2F–U+2A37], [U+2A3B–U+2A3D], {U+2A3F}, {U+2A50}, [U+2A64–U+2A65], [U+2ADC–U+2ADD], {U+2AFE}, </code></td><td>C</td></tr>

tables/operator-dictionary.html

@@ -488,8 +488,6 @@
 <tr style='background: lightblue'><td>String == U+003D U+003D</td><td><code>infix</code></td><td><code>0.2777777777777778em</code></td><td><code>0.2777777777777778em</code></td><td>N/A</td></tr>
 <tr style='background: lightblue'><td>String >= U+003E U+003D</td><td><code>infix</code></td><td><code>0.2777777777777778em</code></td><td><code>0.2777777777777778em</code></td><td>N/A</td></tr>
 <tr style='background: lightblue'><td>String || U+007C U+007C</td><td><code>infix</code></td><td><code>0.2777777777777778em</code></td><td><code>0.2777777777777778em</code></td><td>fence </td></tr>
-<tr style='background: lightblue'><td>String ⧏̸ U+29CF U+0338</td><td><code>infix</code></td><td><code>0.2777777777777778em</code></td><td><code>0.2777777777777778em</code></td><td>N/A</td></tr>
-<tr style='background: lightblue'><td>String ⧐̸ U+29D0 U+0338</td><td><code>infix</code></td><td><code>0.2777777777777778em</code></td><td><code>0.2777777777777778em</code></td><td>N/A</td></tr>
 <tr><td>&#x2190; U+2190</td><td><code>infix</code></td><td><code>0.2777777777777778em</code></td><td><code>0.2777777777777778em</code></td><td>stretchy </td></tr>
 <tr><td>&#x2191; U+2191</td><td><code>infix</code></td><td><code>0.2777777777777778em</code></td><td><code>0.2777777777777778em</code></td><td>stretchy </td></tr>
 <tr><td>&#x2192; U+2192</td><td><code>infix</code></td><td><code>0.2777777777777778em</code></td><td><code>0.2777777777777778em</code></td><td>stretchy </td></tr>
@@ -1317,4 +1315,4 @@
 <tr><td>&#x3B; U+003B</td><td><code>infix</code></td><td><code>0</code></td><td><code>0.16666666666666666em</code></td><td>separator </td></tr>
 <tr><td>&#x2982; U+2982</td><td><code>infix</code></td><td><code>0</code></td><td><code>0.16666666666666666em</code></td><td>N/A</td></tr>
 </table>
-<figcaption>Mapping from operator (Content, Form) to properties.<br/>Total size: 1315 entries, ≥ 3945 bytes<br/>(assuming 'Content' uses at least one UTF-16 character, 'Form' 2 bits, spacing 3 bits and properties 3 bits).</figcaption></figure>
+<figcaption>Mapping from operator (Content, Form) to properties.<br/>Total size: 1313 entries, ≥ 3939 bytes<br/>(assuming 'Content' uses at least one UTF-16 character, 'Form' 2 bits, spacing 3 bits and properties 3 bits).</figcaption></figure>