Merge pull request #1 from pickoba/escaped-space-in-math

Support escaped space in math mode
monaqa · Apr 8, 2023 · 5519c54 · 5519c54
2 parents 751bf58 + 4fed2b4
commit 5519c54
Show file tree

Hide file tree

Showing 3 changed files with 23,644 additions and 22,351 deletions.
diff --git a/grammar.js b/grammar.js
@@ -954,6 +954,7 @@ module.exports = grammar({
         /[A-Za-z0-9]/,
         /\\[!"#$%&'()*+,./0-9:;<=>?@^_`{|}~-]/,
         "\\\\",
+        "\\ ",
         /[+*/:=<>~'.,?`-]/,
         $.math_cmd,
         $.math_embedding,

diff --git a/src/grammar.json b/src/grammar.json
@@ -5036,6 +5036,10 @@
           "type": "STRING",
           "value": "\\\\"
         },
+        {
+          "type": "STRING",
+          "value": "\\ "
+        },
         {
           "type": "PATTERN",
           "value": "[+*/:=<>~'.,?`-]"