Change df-ran TeX from \L to \\lcorner (#3104)

Currently we have only one identified problem in the generated TeX table: `\L` isn't allowed in math mode. Switching to `\\corner` should fix this (per @benjub). This should fix the remaining problem in creating the LaTeX CI pipeline check in #3100. Signed-off-by: David A. Wheeler <[email protected]>
metamath · Mar 19, 2023 · e1dc459 · e1dc459
1 parent 3cc876d
commit e1dc459
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/set.mm b/set.mm
@@ -436177,7 +436177,7 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the
   latexdef "leG" as "\le\mathrm{G}";
 htmldef "raG" as "&#8735;G"; /* &angrt; fails validator so use its code */
   althtmldef "raG" as "&#8735;G"; /* &angrt; fails validator so use its code */
-  latexdef "raG" as "\L\mathrm{G}";
+  latexdef "raG" as "\llcorner\mathrm{G}";
 htmldef "perpG" as "&#x27C2;G";
   althtmldef "perpG" as "&#x27C2;G";
   latexdef "perpG" as "\bot\mathrm{G}";