From 81acebb48074a71be8f22d369a459db87d9e34f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Dujava?=
 <19737748+jdujava@users.noreply.github.com>
Date: Tue, 23 Jul 2024 09:15:06 +0200
Subject: [PATCH] Add extra math environments (#150)

Signed-off-by: Jonas Dujava <jonas.dujava@gmail.com>
---
 grammar.js       |  6 ++++++
 src/grammar.json | 24 ++++++++++++++++++++++++
 2 files changed, 30 insertions(+)

diff --git a/grammar.js b/grammar.js
index 7410ee2fa..46c1657b5 100644
--- a/grammar.js
+++ b/grammar.js
@@ -576,14 +576,20 @@ module.exports = grammar({
         'eqnarray*',
         'align',
         'align*',
+        'aligned',
+        'aligned*',
         'array',
         'array*',
         'split',
         'split*',
         'alignat',
         'alignat*',
+        'alignedat',
+        'alignedat*',
         'gather',
         'gather*',
+        'gathered',
+        'gathered*',
         'flalign',
         'flalign*',
       ),
diff --git a/src/grammar.json b/src/grammar.json
index 04b55c0ac..f24031fe3 100644
--- a/src/grammar.json
+++ b/src/grammar.json
@@ -3893,6 +3893,14 @@
                   "type": "STRING",
                   "value": "align*"
                 },
+                {
+                  "type": "STRING",
+                  "value": "aligned"
+                },
+                {
+                  "type": "STRING",
+                  "value": "aligned*"
+                },
                 {
                   "type": "STRING",
                   "value": "array"
@@ -3917,6 +3925,14 @@
                   "type": "STRING",
                   "value": "alignat*"
                 },
+                {
+                  "type": "STRING",
+                  "value": "alignedat"
+                },
+                {
+                  "type": "STRING",
+                  "value": "alignedat*"
+                },
                 {
                   "type": "STRING",
                   "value": "gather"
@@ -3925,6 +3941,14 @@
                   "type": "STRING",
                   "value": "gather*"
                 },
+                {
+                  "type": "STRING",
+                  "value": "gathered"
+                },
+                {
+                  "type": "STRING",
+                  "value": "gathered*"
+                },
                 {
                   "type": "STRING",
                   "value": "flalign"