From 833d81f2b010ecaafac935d21a3f15f80cce1e25 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Thu, 14 Aug 2025 02:49:20 +0200
Subject: Improve scanning

Fixes scanning of relation symbols and adds a few error cases for function symbols.
---
 test/examples/relparam.tex | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 test/examples/relparam.tex

(limited to 'test/examples/relparam.tex')

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}
-- 
cgit v1.2.3