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/abbr.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/test/examples/abbr.tex b/test/examples/abbr.tex
index c4790bb..c81cd59 100644
--- a/test/examples/abbr.tex
+++ b/test/examples/abbr.tex
@@ -13,7 +13,7 @@
 \end{abbreviation}
 
 \begin{proposition}\label{dummy_abbr_test_noun}
-    $x$ is a function.
+    For all $x$ we have $x$ is a function.
  \end{proposition}
 
 
-- 
cgit v1.2.3