--- a/doc-src/Logics/CTT.tex Mon May 30 13:58:00 2011 +0200
+++ b/doc-src/Logics/CTT.tex Mon May 30 15:30:05 2011 +0100
@@ -644,10 +644,14 @@
\begin{figure}
\index{#+@{\tt\#+} symbol}
\index{*"- symbol}
-\index{"|"-@{{\tt"|"-"|} symbol}}
\index{#*@{\tt\#*} symbol}
\index{*div symbol}
\index{*mod symbol}
+
+\index{absolute difference}
+\index{"!-"!@{\tt\char124-\char124} symbol}
+%\char124 is vertical bar. We use ! because | stopped working
+
\begin{constants}
\it symbol & \it meta-type & \it priority & \it description \\
\tt \#* & $[i,i]\To i$ & Left 70 & multiplication \\