5 Commits

Author	SHA1	Message	Date
Liam Murphy	e0e797c27d	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.	2023-07-17 16:08:19 +02:00
KG	31efd542cb	Rename math symbols (#1124) ... Co-authored-by: Ryan Pitasky <111201305+rpitasky@users.noreply.github.com> Co-authored-by: Daniel Csillag <15617291+dccsillag@users.noreply.github.com>	2023-07-17 15:54:26 +02:00
Pg Biel	0d8c3254b7	Initial fix for spacing on decorated math operators (#1023)	2023-04-28 18:49:02 +02:00
Laurenz	10675cd6d5	Merge text and math symbols	2023-02-02 19:50:06 +01:00
Laurenz	5f5c659279	Math tests	2023-02-02 14:13:56 +01:00