diff --git a/doc/tl/tl.tex b/doc/tl/tl.tex
index 141daa7b8..8982f606f 100644
--- a/doc/tl/tl.tex
+++ b/doc/tl/tl.tex
@@ -1308,8 +1308,7 @@ any unbounded SERE.
                    \sere{r_I}\Asuffix \varphi_S\\
   \varphi_P ::={}& \varphi_O \mid \NOT\varphi_R\mid
                    \varphi_P\AND \varphi_P\mid (\varphi_P\OR \varphi_P)\mid
-                   \varphi_P\EQUIV \varphi_P\mid \varphi_P\XOR \varphi_P\mid
-                   \varphi_P\IMPLIES \varphi_P\\
+                   \varphi_R\IMPLIES \varphi_P\\
            \mid{}& \X\varphi_P \mid \F\varphi_P \mid
                    \varphi_P\U\varphi_P\mid\varphi_P\R\varphi_S\mid
                    \varphi_S\W\varphi_P\mid\varphi_P\M\varphi_P\\
@@ -1318,8 +1317,7 @@ any unbounded SERE.
                    \sere{r_I}\Asuffix \varphi_S\\
   \varphi_R ::={}& \varphi_O \mid \NOT\varphi_P\mid
                    \varphi_R\AND \varphi_R\mid (\varphi_R\OR \varphi_R)\mid
-                   \varphi_R\EQUIV \varphi_R\mid \varphi_R\XOR \varphi_R\mid
-                   \varphi_R\IMPLIES \varphi_R\\
+                   \varphi_P\IMPLIES \varphi_R\\
            \mid{}& \X\varphi_R \mid \G\varphi_R \mid
                    \varphi_R\U\varphi_G\mid\varphi_R\R\varphi_R\mid
                    \varphi_R\W\varphi_R\mid\varphi_G\M\varphi_R\\