Do the right magic to make \ABC{} get sorted correctly in the index.

diff --git a/Doc/lib/libtypes.tex b/Doc/lib/libtypes.tex
index dfe1ecb0fcc5b529a95cc9723e4a44696702ef21..33d1b15efb1fd8fb039df8b95880a136cae70f43 100644 (file)
--- a/Doc/lib/libtypes.tex
+++ b/Doc/lib/libtypes.tex
@@ -118,7 +118,7 @@ Notes:
 \item[(1)]
 \code{<>} and \code{!=} are alternate spellings for the same operator.
 (I couldn't choose between \ABC{} and \C{}! :-)
-\indexii{\ABC{}}{language}
+\indexii{ABC@\ABC{}}{language}
 \indexii{\C{}}{language}
 
 \end{description}

diff --git a/Doc/libtypes.tex b/Doc/libtypes.tex
index dfe1ecb0fcc5b529a95cc9723e4a44696702ef21..33d1b15efb1fd8fb039df8b95880a136cae70f43 100644 (file)
--- a/Doc/libtypes.tex
+++ b/Doc/libtypes.tex
@@ -118,7 +118,7 @@ Notes:
 \item[(1)]
 \code{<>} and \code{!=} are alternate spellings for the same operator.
 (I couldn't choose between \ABC{} and \C{}! :-)
-\indexii{\ABC{}}{language}
+\indexii{ABC@\ABC{}}{language}
 \indexii{\C{}}{language}
 
 \end{description}