From 437b0c42e713774e7a27ccdc1f08770e30aeacbd Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 19 Jun 2025 00:26:46 +0100
Subject: Fix missing character warning.

---
 sec/lang.ltx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sec/lang.ltx')

diff --git a/sec/lang.ltx b/sec/lang.ltx
index e675a85..1319d5e 100644
--- a/sec/lang.ltx
+++ b/sec/lang.ltx
@@ -58,7 +58,7 @@ unrepresentable in some models of System~T}.
   For any type \(A\) such that \(\jdgmnt{ty}{\Psi}{A}\) and a
   substitution from variables \(X \in \Psi\) to types
   \(\jdgmnt{ty}{\Theta}{f(X)}\), we have
-  \(\jdgmnt{ty}{\Theta}{\submult{A}{f}}\).
+  \(\jdgmnt{ty}{\Theta}{\suball{A}{f}}\).
 \end{proposition}
 
 \begin{figure}
-- 
cgit v1.2.3

