# HG changeset patch
# User wenzelm
# Date 1734040386 -3600
# Node ID 68dc8ffc94c246e13bb76a651b4e6ad73bc52981
# Parent  257f93d40d7c3dbb028e08a0ea2b37edd0d10b34
tuned whitespace;

diff -r 257f93d40d7c -r 68dc8ffc94c2 src/Pure/General/latex.ML
--- a/src/Pure/General/latex.ML	Thu Dec 12 17:07:17 2024 +0100
+++ b/src/Pure/General/latex.ML	Thu Dec 12 22:53:06 2024 +0100
@@ -250,16 +250,16 @@
   [(Markup.commandN, markup_macro "isacommand"),
    (Markup.keyword1N, markup_macro "isacommand"),
    (Markup.keyword2N, markup_macro "isakeyword"),
-   (Markup.keyword3N, markup_macro"isacommand"),
-   (Markup.tclassN, markup_macro"isatclass"),
-   (Markup.tconstN, markup_macro"isatconst"),
-   (Markup.tfreeN, markup_macro"isatfree"),
-   (Markup.tvarN, markup_macro"isatvar"),
-   (Markup.constN, markup_macro"isaconst"),
-   (Markup.freeN, markup_macro"isafree"),
-   (Markup.skolemN, markup_macro"isaskolem"),
-   (Markup.boundN, markup_macro"isabound"),
-   (Markup.varN, markup_macro"isavar")];
+   (Markup.keyword3N, markup_macro "isacommand"),
+   (Markup.tclassN, markup_macro "isatclass"),
+   (Markup.tconstN, markup_macro "isatconst"),
+   (Markup.tfreeN, markup_macro "isatfree"),
+   (Markup.tvarN, markup_macro "isatvar"),
+   (Markup.constN, markup_macro "isaconst"),
+   (Markup.freeN, markup_macro "isafree"),
+   (Markup.skolemN, markup_macro "isaskolem"),
+   (Markup.boundN, markup_macro "isabound"),
+   (Markup.varN, markup_macro "isavar")];
 
 fun latex_markup (a, props) =
   (if Markup.has_syntax props then NONE else Symtab.lookup markup_latex a)