\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Schema Boxes}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Axiomatic definitions}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Object-Z Class Boxes}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Controlling the Spacing within Equations and Boxes}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Other Display Environments}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Style Parameters}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Symbols}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1}Special Z Notation}{7}}
\@writefile{toc}{\contentsline {subsubsection}{Numbers}{7}}
\@writefile{toc}{\contentsline {subsubsection}{Logic}{8}}
\@writefile{toc}{\contentsline {subsubsection}{Sets}{8}}
\@writefile{toc}{\contentsline {subsubsection}{Relations and Functions}{8}}
\@writefile{toc}{\contentsline {subsubsection}{Sequences}{9}}
\@writefile{toc}{\contentsline {subsubsection}{Schemas}{9}}
\@writefile{toc}{\contentsline {subsubsection}{Bags}{10}}
\@writefile{toc}{\contentsline {subsubsection}{Definitions and Declarations}{10}}
\@writefile{toc}{\contentsline {subsubsection}{Miscellaneous}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2}Other Special Notation}{11}}
\@writefile{toc}{\contentsline {subsubsection}{Temporal Logic}{11}}
\@writefile{toc}{\contentsline {subsubsection}{Proofs}{11}}
\@writefile{toc}{\contentsline {subsubsection}{Object-Z}{11}}
\@writefile{toc}{\contentsline {subsubsection}{Object Theory}{11}}
\@writefile{toc}{\contentsline {subsubsection}{Orders}{12}}
\@writefile{toc}{\contentsline {subsubsection}{Word Styles}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.3}Special Letter Fonts}{12}}
\@writefile{toc}{\contentsline {subsubsection}{Greek}{12}}
\@writefile{toc}{\contentsline {subsubsection}{Caligraphic}{12}}
\@writefile{toc}{\contentsline {subsubsection}{BlackBoard Bold}{13}}
\@writefile{toc}{\contentsline {subsubsection}{Miscellaneous}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.4}Shapes}{14}}
\@writefile{toc}{\contentsline {subsubsection}{Circled Operations}{15}}
\@writefile{toc}{\contentsline {subsubsection}{Boxed operators}{15}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.5}Arrow Symbols}{15}}
\@writefile{toc}{\contentsline {subsubsection}{Left Arrows}{15}}
\@writefile{toc}{\contentsline {subsubsection}{Right Arrows}{15}}
\@writefile{toc}{\contentsline {subsubsection}{Left Right Arrows}{16}}
\@writefile{toc}{\contentsline {subsubsection}{Up Down Arrows}{16}}
\@writefile{toc}{\contentsline {subsubsection}{Miscellaneous}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.6}Relations}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.7}Binary Operations}{20}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.8}Miscellaneous Symbols}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.9}Variable-sized Symbols}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.10}Delimiters}{22}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.11}Math Accents}{22}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.12}Size Commands}{23}}