diff -r 9bcad9c22fd4 -r 7705e6211865 doc-src/Logics/FOL.tex
--- a/doc-src/Logics/FOL.tex	Thu Dec 07 14:24:32 1995 +0100
+++ b/doc-src/Logics/FOL.tex	Thu Dec 07 14:25:45 1995 +0100
@@ -660,7 +660,7 @@
 equation~$(if)$.
 \begin{ttbox}
 If = FOL +
-consts  if     :: "[o,o,o]=>o"
+consts  if     :: [o,o,o]=>o
 rules   if_def "if(P,Q,R) == P&Q | ~P&R"
 end
 \end{ttbox}