Add missing KaTeX macros GammaL, GammaU, SigmaL, SigmaSp (LMFDB#7048)

Group pages for groups whose elements are displayed in a projective
Lie family (PGammaL, PGammaU, PSigmaL, PSigmaSp) strip the leading P
in repr_strg, emitting \GammaL / \GammaU / \SigmaL / \SigmaSp,
which base.html did not define, so e.g. /Groups/Abstract/51840.b
showed raw \GammaU(4,2). Audited every macro used in devmirror
gps_groups tex columns, gps_subgroup_search tex columns (sampled),
gps_families.tex_name and the Lie families in representations; these
four were the only missing legitimate macros. Added them in the style
of the existing P-family macros plus a regression test; verified in a
local server that 51840.b renders the sentence as matrices in
GammaU(4,2) with zero katex-error nodes.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Author: roed314

lmfdb/groups/abstract/test_abstract_groups.py

@@ -75,6 +75,19 @@ def test_live_pages(self):
             r"C_2^3\times C_{100}", # automorphism group structure
         ])
 
+    def test_latex_macros(self):
+        r"""
+        Check that KaTeX macros used by group tex names are defined (issue #7048)
+        """
+        # 51840.b displays its elements as matrices in \GammaU(4,2)
+        page = self.tc.get("/Groups/Abstract/51840.b").get_data(as_text=True)
+        assert r"\GammaU(4,2)" in page
+        # macros produced by stripping the initial P from projective Lie families
+        # must be defined in base.html along with the rest of the family
+        for macro in [r'"\\GammaL"', r'"\\GammaU"', r'"\\SigmaL"', r'"\\SigmaSp"',
+                      r'"\\PGammaL"', r'"\\PGammaU"', r'"\\PSigmaL"', r'"\\PSigmaSp"']:
+            assert macro in page
+
     def test_underlying_data(self):
         self.check_args("/Groups/Abstract/data/2520.a", [
             "gps_groups", "number_normal_subgroups",

lmfdb/templates/base.html

@@ -134,6 +134,10 @@
   "\\POmega": '{\\textrm{P}\\Omega}',
   "\\POmegaPlus": '{\\textrm{P}\\Omega^+}',
   "\\POmegaMinus": '{\\textrm{P}\\Omega^-}',
+  "\\GammaL": '{\\Gamma\\textrm{L}}',
+  "\\SigmaL": '{\\Sigma\\textrm{L}}',
+  "\\SigmaSp": '{\\Sigma\\textrm{Sp}}',
+  "\\GammaU": '{\\Gamma\\textrm{U}}',
   "\\PGammaL": '{\\textrm{P}\\Gamma\\textrm{L}}',
   "\\PSigmaL": '{\\textrm{P}\\Sigma\\textrm{L}}',
   "\\PSigmaSp": '{\\textrm{P}\\Sigma\\textrm{Sp}}',