From 81d6f34c28b3610e824c652538738c3f1f195e20 Mon Sep 17 00:00:00 2001 From: rocky Date: Mon, 19 Jan 2026 18:13:36 -0500 Subject: [PATCH 1/2] Tag Optional as an operator... And correct the name OptionAL, not Option. --- mathics_scanner/data/named-characters.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mathics_scanner/data/named-characters.yml b/mathics_scanner/data/named-characters.yml index d13acb8..9b6a236 100644 --- a/mathics_scanner/data/named-characters.yml +++ b/mathics_scanner/data/named-characters.yml @@ -7751,10 +7751,11 @@ OpenCurlyQuote: wl-unicode: "\u2018" wl-unicode-name: LEFT SINGLE QUOTATION MARK -Option: +Optional: ascii: ":" has-unicode-inverse: false is-letter-like: false + operator-name: Optional OptionKey: esc-alias: opt From bdfc721adee17e22e332adec5c9151a7c6fa4e7a Mon Sep 17 00:00:00 2001 From: rocky Date: Mon, 19 Jan 2026 18:17:14 -0500 Subject: [PATCH 2/2] Correct sort order --- mathics_scanner/data/named-characters.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/mathics_scanner/data/named-characters.yml b/mathics_scanner/data/named-characters.yml index 9b6a236..3b5329e 100644 --- a/mathics_scanner/data/named-characters.yml +++ b/mathics_scanner/data/named-characters.yml @@ -7751,12 +7751,6 @@ OpenCurlyQuote: wl-unicode: "\u2018" wl-unicode-name: LEFT SINGLE QUOTATION MARK -Optional: - ascii: ":" - has-unicode-inverse: false - is-letter-like: false - operator-name: Optional - OptionKey: esc-alias: opt has-unicode-inverse: false @@ -7764,6 +7758,12 @@ OptionKey: wl-reference: https://reference.wolfram.com/language/ref/character/OptionKey.html wl-unicode: "\uF7D2" +Optional: + ascii: ":" + has-unicode-inverse: false + is-letter-like: false + operator-name: Optional + Or: amslatex: '\vert' # Also $\\lor$ ascii: "||"