diff --git a/doc/tl/tl.tex b/doc/tl/tl.tex
index 066bf1c94..39e0f1f48 100644
--- a/doc/tl/tl.tex
+++ b/doc/tl/tl.tex
@@ -1424,7 +1424,7 @@ $\NOT$ operator.
   f \EQUIV g & \equiv ((\NOT f)\AND(\NOT g))\OR(f\AND g) &
   \NOT(f \EQUIV g) & \equiv ((\NOT f)\AND g)\OR(f\AND\NOT g) &
   \NOT(f \OR g) & \equiv (\NOT f)\AND(\NOT g) \\
-  f \IMPLIES g & \equiv (\NOT f) \AND g &
+  f \IMPLIES g & \equiv (\NOT f) \OR g &
   \NOT(f \IMPLIES g) & \equiv f \AND \NOT g
 \end{align*}