Improve scanning

Fixes scanning of relation symbols and adds a few error cases for function symbols.

1 files changed, 8 insertions, 0 deletions

diff --git a/test/examples/relparam.tex b/test/examples/relparam.tex
new file mode 100644
index 0000000..958df48
--- /dev/null
+++ b/test/examples/relparam.tex
@@ -0,0 +1,8 @@
+% Dummy abbreviation to test relation symbols with parameters.
+\begin{abbreviation}\label{equalparam}
+    $x\EQUAL{y} z$ iff $x = z$.
+\end{abbreviation}
+
+\begin{proposition}\label{dummy_abbr_test_noun}
+    For all $x$ we have $x\EQUAL{y}x$.
+ \end{proposition}