From 0f0b966d958464f08b6efa39f9eee38d96509c19 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Thu, 30 Jul 2026 23:13:36 +0200
Subject: Build module-local syntax interfaces

---
 library/set/symdiff.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'library/set/symdiff.tex')

diff --git a/library/set/symdiff.tex b/library/set/symdiff.tex
index 61f7448..ad92d55 100644
--- a/library/set/symdiff.tex
+++ b/library/set/symdiff.tex
@@ -3,6 +3,7 @@
 \import{set.tex}
 
 \begin{definition}\label{symdiff}
+    %! infixl 1
     $x\symdiff y = (x\setminus y)\union (y\setminus x)$.
 \end{definition}
 
-- 
cgit v1.2.3