From 7232a2e0ae43d4128b20ab2151a49b356eb5a704 Mon Sep 17 00:00:00 2001
From: Lyes Saadi <dev@lyes.eu>
Date: Thu, 15 Jan 2026 21:01:44 +0100
Subject: [PATCH] fixing an oupsi

---
 2.typ | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/2.typ b/2.typ
index e098fc8..83b8387 100644
--- a/2.typ
+++ b/2.typ
@@ -972,5 +972,5 @@ Similarly, if $LL$ has a terminal object $top$, $!top tilde.eq 1$.
 ]
 
 #exercise[
-  $("PCoh", **, 1)$ is symmetric monoidal.
+  $("PCoh", (*), 1)$ is symmetric monoidal.
 ]