From 06149a5e99d31f8d4b885aeb6e8ef2f2e7cfc21e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcel=20Fabian=20Kr=C3=BCger?= <tex@2krueger.de>
Date: Tue, 1 Jun 2021 23:17:29 +0200
Subject: [PATCH] Annotate \models

---
 pdfmml.lua   | 2 +-
 test_pdf.tex | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/pdfmml.lua b/pdfmml.lua
index bf20c51..5997956 100755
--- a/pdfmml.lua
+++ b/pdfmml.lua
@@ -22,7 +22,7 @@ for i, block in ipairs(math_lists.groups) do
   local parsed = parse_showlists(block, nil, nil, math_lists.marks)
   local style = block.display and 0 or 2
   out_stream:write(
-    to_xml(convert.make_root(convert.process(parsed, style), style))
+    to_xml(convert.make_root(convert.process(parsed, style), style)), '\n'
   )
 end
 -- if ... then out_stream:close() end -- Don't bother since we terminate anyway
diff --git a/test_pdf.tex b/test_pdf.tex
index 22dfe3b..5d14c49 100644
--- a/test_pdf.tex
+++ b/test_pdf.tex
@@ -16,6 +16,10 @@
 }
 \ExplSyntaxOff
 
+\protected\edef\models{\AnnotateFormula[3]{%
+    nucleus = true, core = {[0] = 'mi', '\noexpand\string\noexpand\u{22a7}'},
+  }{\unexpanded\expandafter{\models}}}
+
 \begin{document}
 \[
   \emptyset\models((p\Rightarrow q)\Rightarrow(q\Rightarrow r))\Rightarrow (p\Rightarrow (q\Rightarrow r))