--- 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 \\
--- a/doc-src/Logics/LK.tex Mon May 30 13:58:00 2011 +0200
+++ b/doc-src/Logics/LK.tex Mon May 30 15:30:05 2011 +0100
@@ -59,7 +59,7 @@
\begin{center}
\index{*"= symbol}
\index{&@{\tt\&} symbol}
-\index{*"| symbol}
+\index{"!@{\tt\char124} symbol} %\char124 is vertical bar. We use ! because | stopped working
\index{*"-"-"> symbol}
\index{*"<"-"> symbol}
\begin{tabular}{rrrr}