diff --git a/report/chapters/03_theory/typing.typ b/report/chapters/03_theory/typing.typ
index edda533..f703d11 100644
--- a/report/chapters/03_theory/typing.typ
+++ b/report/chapters/03_theory/typing.typ
@@ -103,7 +103,7 @@
   ),
   rule(
     "T-Assign",
-    $Gamma tack "x": "T"$,
+    $"x": "T" in Gamma$,
     $Gamma tack "t": "T"$,
     $Gamma tack "x" = "t" tack.l Gamma$,
     ```py x = t```,