\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Miscellaneous Special Symbols and Other Macros}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Unary Operators}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Binary Operators}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Relations}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Delimiters}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Macros with a Variable Number of Parameters}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Lambda Notation}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Large Operators}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {9}Circled Operators}{13}}