From e0e797c27d4eff3fbca2a182aee2700f20ed6c21 Mon Sep 17 00:00:00 2001 From: Liam Murphy Date: Tue, 18 Jul 2023 00:08:19 +1000 Subject: 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. --- tests/ref/math/spacing.png | Bin 18271 -> 17881 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'tests/ref/math') diff --git a/tests/ref/math/spacing.png b/tests/ref/math/spacing.png index abcfae80..5e717eff 100644 Binary files a/tests/ref/math/spacing.png and b/tests/ref/math/spacing.png differ -- cgit v1.2.3