From fd80e944b5f4378f5d847c5ee856a42186c810ed Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 17 Oct 2013 05:08:49 +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 57c9f8ede..6c1c5d79e 100644 --- a/doc/tl/tl.tex +++ b/doc/tl/tl.tex @@ -1469,7 +1469,7 @@ SERE. \sere{r_1\FUSION b_1}\AND \sere{r_2\FUSION b_2} &\equiv \sere{r_1\ANDALT r_2}\FUSION\sere{b_1\AND b_2} \\ \end{align*} -Stared subformul\ae{} are rewritten in Star Normal +Starred subformul\ae{} are rewritten in Star Normal Form~\cite{bruggeman.96.tcs} with: \[r\STAR{\mvar{0}..\mvar{j}} \equiv r^\circ\STAR{\mvar{0}..\mvar{j}} \] where $r^\circ$ is recursively defined as follows: