From caad07cfa47843cdcde1f7c8019187c5fc00878e Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 30 Jun 2019 19:06:50 +0200 Subject: [PATCH] * doc/tl/tl.tex: Typo. --- doc/tl/tl.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/tl/tl.tex b/doc/tl/tl.tex index 936a17ce6..094d75600 100644 --- a/doc/tl/tl.tex +++ b/doc/tl/tl.tex @@ -1818,7 +1818,7 @@ proved to be implied by $f$ using either of the above two methods. Additionally, implications denoted by $f\Simp g$ are only checked if the ``\verb|tl_simplifier_options::containment_checks_stronger|'' option is set (otherwise the rewriting rule is not applied). We write -$f\simpe g$ iff $f\simp g$ and $f\simp f$. +$f\simpe g$ iff $f\simp g$ and $g\simp f$. As in the previous section, formulas $e$ and $u$ represent respectively pure eventualities and purely universal formulas.