Support \boxslash

ronkok · Aug 22, 2024 · ebc80ed · ebc80ed
1 parent 193f9c8
commit ebc80ed
Show file tree

Hide file tree

Showing 4 changed files with 21 additions and 7 deletions.
diff --git a/docs/comparison.html b/docs/comparison.html
@@ -1504,6 +1504,14 @@ <h2 id="b">B</h2>
             <td>₸\boxplus₸</td>
             <td></td>
           </tr>
+          <tr>
+            <td>\boxslash</td>
+            <td>₮\boxslash₮</td>
+            <td>\(\boxtimes\)</td>
+            <td><span class="no-sup">Not supported</span></td>
+            <td>₸\boxtimes₸</td>
+            <td></td>
+          </tr>
           <tr>
             <td>\boxtimes</td>
             <td>₮\boxtimes₮</td>

diff --git a/docs/support_table.md b/docs/support_table.md
@@ -340,6 +340,8 @@ If you know the shape of a character, but not its name,
 +---------------------+--------------------------+--------------------------+-------------------+
 | \boxplus            | $\boxplus$               |                          | ams               |
 +---------------------+--------------------------+--------------------------+-------------------+
+| \boxslash           | $\boxslash$              |                          |                   |
++---------------------+--------------------------+--------------------------+-------------------+
 | \boxtimes           | $\boxtimes$              |                          | ams               |
 +---------------------+--------------------------+--------------------------+-------------------+
 | \Bqty               | $\Bqty{5 \text{mm}}$     | `\Bqty{5 \text{mm}}`     | physics extension |

diff --git a/docs/supported.md b/docs/supported.md
@@ -819,19 +819,22 @@ Direct Input: <span class="direct">+ - / ∖ * ⋅ ∘ ± × ÷ ∓ ∔ ∧ ∨
 +-------------------------------------+-------------------------------------+-----------------------------------+
 | $\boxplus$  `\boxplus`              | $\lozengeminus$ `\lozengeminus`     | $\star$ `\star`                   |
 +-------------------------------------+-------------------------------------+-----------------------------------+
-| $\boxtimes$ `\boxtimes`             | $\obar$ `\obar`                     | $\triangle$ `\triangle`           |
+| $\boxslash$ `\boxslash`             | $\obar$ `\obar`                     | $\triangle$ `\triangle`           |
 +-------------------------------------+-------------------------------------+-----------------------------------+
-| $\circledast$ `\circledast`         | $\obslash$ `\obslash`               | $\triangleminus$ `\triangleminus` |
+| $\boxtimes$ `\boxtimes`             | $\obslash$ `\obslash`               | $\triangleminus$ `\triangleminus` |
 +-------------------------------------+-------------------------------------+-----------------------------------+
-| $\circledcirc$ `\circledcirc`       | $\odiv$ `\odiv`                     | $\triangleplus$ `\triangleplus`   |
+| $\circledast$ `\circledast`         | $\odiv$ `\odiv`                     | $\triangleplus$ `\triangleplus`   |
 +-------------------------------------+-------------------------------------+-----------------------------------+
-| $\circleddash$ `\circleddash`       | $\odot$  `\odot`                    | $\triangletimes$ `\triangletimes` |
+| $\circledcirc$ `\circledcirc`       | $\odot$  `\odot`                    | $\triangletimes$ `\triangletimes` |
 +-------------------------------------+-------------------------------------+-----------------------------------+
-| $\circledequal$ `\circledequal`     | $\ogreaterthan$ `\ogreaterthan`     | $\whitesquaretickleft$            |
+| $\circleddash$ `\circleddash`       | $\ogreaterthan$ `\ogreaterthan`     | $\whitesquaretickleft$            |
 |                                     |                                     | `\whitesquaretickleft`            |
 +-------------------------------------+-------------------------------------+-----------------------------------+
-| $\circledparallel$                  | $\olessthan$ `\olessthan`           | $\whitesquaretickright$           |
-| `\circledparallel`                  |                                     | `\whitesquaretickright`           |
+| $\circledequal$ `\circledequal`     | $\olessthan$ `\olessthan`           | $\whitesquaretickright$           |
+|                                     |                                     | `\whitesquaretickright`           |
++-------------------------------------+-------------------------------------+-----------------------------------+
+| $\circledparallel$                  |                                     |                                   |
+| `\circledparallel`                  |                                     |                                   |
 +-------------------------------------+-------------------------------------+-----------------------------------+
 
 Direct Input: <span class="direct">◯ ⧗ ⧆ ⧈ ⧇ ⊡ ⊟ ⊞ ⊠ ⊛ ⊚ ⊖ ⊜ ⦷ ⦶ ⦵ ⟡ ⟢ ⟣ ⋄ ⧖ ⟠ ⌽ ⦸ ⨸ ⊙ ⧁ ⧀ ⊝ ⦹ ⊕ ⊘ ⊗ ⨷ ⨶ ⋆ △ ⨺ ⨻ ⟤ ⟥</span>

diff --git a/src/symbols.js b/src/symbols.js
@@ -427,6 +427,7 @@ defineSymbol(math, bin, "\u22d3", "\\Cup", true);
 defineSymbol(math, bin, "\u2a5e", "\\doublebarwedge", true);
 defineSymbol(math, bin, "\u229f", "\\boxminus", true);
 defineSymbol(math, bin, "\u229e", "\\boxplus", true);
+defineSymbol(math, bin, "\u29C4", "\\boxslash", true);
 defineSymbol(math, bin, "\u22c7", "\\divideontimes", true);
 defineSymbol(math, bin, "\u22c9", "\\ltimes", true);
 defineSymbol(math, bin, "\u22ca", "\\rtimes", true);