From b56fd426839ace79c524c52dbad3b69cd02f6b47 Mon Sep 17 00:00:00 2001
From: rocky <rb@dustyfeet.com>
Date: Wed, 8 Jan 2025 16:58:23 -0500
Subject: [PATCH] Add one more table option for recent change

---
 mathics_scanner/generate/build_tables.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mathics_scanner/generate/build_tables.py b/mathics_scanner/generate/build_tables.py
index d9779fe..b8eddfc 100755
--- a/mathics_scanner/generate/build_tables.py
+++ b/mathics_scanner/generate/build_tables.py
@@ -247,6 +247,7 @@ def compile_tables(data: dict) -> dict:
     "named-characters",
     "operator-names",
     "operator-to-ascii",
+    "operator-to-amslatex",
     "operator-to-precedence",
     "operator-to-unicode",
     #   "unicode-operators",  # not used yet