diff options
| author | Liam Murphy <liampm32@gmail.com> | 2023-07-18 00:08:19 +1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-17 16:08:19 +0200 |
| commit | e0e797c27d4eff3fbca2a182aee2700f20ed6c21 (patch) | |
| tree | 1a680869ae778b3e2bd9b0c61d3470553116a0ff /tests/typ | |
| parent | c98c3d1a38d7cdc7fe219cfe8ca9c88cb0609aa8 (diff) | |
Classify `dots.c`, `dots.down`, `dots.up` and `dots.v` as normal (#1726)
Fixes #713. They were previously classified by Unicode as relations, which caused a '+' sign after one of them to be treated as a unary operator rather than a binary operator. This PR overrides the Unicode classification and classifies them as normal instead, which causes a '+' sign after one of them to be properly treated as a binary operator.
Diffstat (limited to 'tests/typ')
| -rw-r--r-- | tests/typ/math/spacing.typ | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/typ/math/spacing.typ b/tests/typ/math/spacing.typ index b763fb2d..132477f7 100644 --- a/tests/typ/math/spacing.typ +++ b/tests/typ/math/spacing.typ @@ -11,7 +11,8 @@ $a not b$ \ $a+b, a*b$ \ $sum x, sum(x)$ \ $sum product x$ \ -$f(x), zeta(x), "frac"(x)$ +$f(x), zeta(x), "frac"(x)$ \ +$a+dots.c+b$ --- // Test ignored vs non-ignored spaces. |