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. ]