diff --git a/spec/doc.tex b/spec/doc.tex
index 30f3167cfe746fbe83205392f7a003637a94c50f..7f35786f6c087711657b91f2651a2256013ae719 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -2333,7 +2333,7 @@ with $1 \leq k \leq n$.
     \begin{plList}
       \Gamma\proofsep&
       i.& \operatorname{ite} \varphi_1\;\varphi_2\;\varphi_3 \leftrightarrow
-      (\varphi_1 \rightarrow \varphi_2) \land (\neg\varphi_1 \rightarrow \neg\varphi_3)
+      (\varphi_1 \rightarrow \varphi_2) \land (\neg\varphi_1 \rightarrow \varphi_3)
       &(\currule)\\
     \end{plList}
   \end{plContainer}