tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;

--- a/src/Pure/Thy/latex.ML	Mon Oct 24 20:24:34 2022 +0200
+++ b/src/Pure/Thy/latex.ML	Mon Oct 24 20:37:32 2022 +0200
@@ -14,6 +14,7 @@
   val macro0: string -> text
   val macro: string -> text -> text
   val environment: string -> text -> text
+  val output_name: string -> string
   val output_ascii: string -> string
   val output_ascii_breakable: string -> string -> string
   val output_symbols: Symbol.symbol list -> string