From ebc80edbc80c8960b1cd00310c258863337277e9 Mon Sep 17 00:00:00 2001 From: Ron Kok Date: Thu, 22 Aug 2024 11:56:39 -0700 Subject: [PATCH] Support \boxslash --- docs/comparison.html | 8 ++++++++ docs/support_table.md | 2 ++ docs/supported.md | 17 ++++++++++------- src/symbols.js | 1 + 4 files changed, 21 insertions(+), 7 deletions(-) diff --git a/docs/comparison.html b/docs/comparison.html index 790cc24..27d5ba5 100644 --- a/docs/comparison.html +++ b/docs/comparison.html @@ -1504,6 +1504,14 @@

B

₸\boxplus₸ + + \boxslash + ₮\boxslash₮ + \(\boxtimes\) + Not supported + ₸\boxtimes₸ + + \boxtimes ₮\boxtimes₮ diff --git a/docs/support_table.md b/docs/support_table.md index e8de80b..ae01d06 100644 --- 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 index 64731cf..0078bf7 100644 --- a/docs/supported.md +++ b/docs/supported.md @@ -819,19 +819,22 @@ Direct Input: + - / ∖ * ⋅ ∘ ± × ÷ ∓ ∔ ∧ ∨ +-------------------------------------+-------------------------------------+-----------------------------------+ | $\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: ◯ ⧗ ⧆ ⧈ ⧇ ⊡ ⊟ ⊞ ⊠ ⊛ ⊚ ⊖ ⊜ ⦷ ⦶ ⦵ ⟡ ⟢ ⟣ ⋄ ⧖ ⟠ ⌽ ⦸ ⨸ ⊙ ⧁ ⧀ ⊝ ⦹ ⊕ ⊘ ⊗ ⨷ ⨶ ⋆ △ ⨺ ⨻ ⟤ ⟥ diff --git a/src/symbols.js b/src/symbols.js index f7a7db9..89c6daf 100644 --- 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);