From 85905c93f74238b056f4b0ee0864782947ae02a6 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 12 Jun 2025 14:36:30 +0100
Subject: Change syntax of `\judgement`

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

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 1f8e1e5..17bbbee 100644
--- a/main.tex
+++ b/main.tex
@@ -162,7 +162,9 @@
 \newcommand\rangeover[2]{\overrightarrow{#1}}
 
 % Judgements for typing and such
-\newcommand\judgement[4][]{{#2} \vdash^{#1} {#3} : {#4}}
+\NewDocumentCommand\judgement{momO{:}m}{%
+  {#1} \vdash^{\IfNoValueF{#2}{#2}} {#3} \mathrel{#4} {#5}
+}
 \newcommand\jdgmnt[3]{{#2} \vdash {#3}~\mathrm{#1}}
 
 % List operators
-- 
cgit v1.2.3