doc-src/Logics/CTT.tex
changeset 12679 8ed660138f83
parent 9695 ec7d7f877712
child 42637 381fdcab0f36
--- a/doc-src/Logics/CTT.tex	Tue Jan 08 21:02:15 2002 +0100
+++ b/doc-src/Logics/CTT.tex	Wed Jan 09 13:43:05 2002 +0100
@@ -645,7 +645,7 @@
 \begin{figure} 
 \index{#+@{\tt\#+} symbol}
 \index{*"- symbol}
-\index{*"|"-"| symbol}
+\index{"|"-@{{\tt"|"-"|} symbol}}
 \index{#*@{\tt\#*} symbol}
 \index{*div symbol}
 \index{*mod symbol}