From dd7098fb4a092d88c51dbfa7b7268f9102a70d1d 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:00:21 +0200
Subject: [PATCH] Add pdfmml sample

---
 test_pdf.tex | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 test_pdf.tex

diff --git a/test_pdf.tex b/test_pdf.tex
new file mode 100644
index 0000000..22dfe3b
--- /dev/null
+++ b/test_pdf.tex
@@ -0,0 +1,34 @@
+\documentclass{article}
+\usepackage{luamml-pdf}
+
+% \RegisterFamilyMapping\symsymbols{oms}
+% \RegisterFamilyMapping\symletters{oml}
+% \RegisterFamilyMapping\symlargesymbols{omx}
+
+\ExplSyntaxOn
+\cs_set_eq:NN \WriteoutFormula \luamml_pdf_write:
+\NewDocumentCommand\AnnotateFormula{ o m m }{%
+  \IfValueTF{#1}{%
+    \luamml_pdf_annotate:nnn{#1}%
+  }{
+    \luamml_pdf_annotate:nn
+  }{#2}{#3}
+}
+\ExplSyntaxOff
+
+\begin{document}
+\[
+  \emptyset\models((p\Rightarrow q)\Rightarrow(q\Rightarrow r))\Rightarrow (p\Rightarrow (q\Rightarrow r))
+  \WriteoutFormula
+\]
+
+%\begin{align}
+%  abc&=def & e^{\mathrm{i}\pi}&=-1\\
+%  \Big(1+2&=3\Big)\\
+%  &4\\
+%  5
+%\end{align}
+
+Es gilt $\sin(x)-\sin(x+2\pi)=0\WriteoutFormula$.
+\end{document}
+