From 5c954d7726e2a2c40b2d426247334ec5ebb678e3 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 7 May 2025 15:09:15 +0100
Subject: Fix list append.

---
 main.tex | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 911399f..7a82b2b 100644
--- a/main.tex
+++ b/main.tex
@@ -165,6 +165,9 @@
 \newcommand\judgement[4][]{{#2} \vdash^{#1} {#3} : {#4}}
 \newcommand\jdgmnt[3]{{#2} \vdash {#3}~\mathrm{#1}}
 
+% List operators
+\newcommand\append{\mathbin{@}}
+
 %%% Term syntax
 
 %% Let
-- 
cgit v1.2.3