24 

    24 

    25 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}

    25 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}

    26 \renewcommand{\isasymequiv}{$\dn$}

    26 \renewcommand{\isasymequiv}{$\dn$}

    27 \renewcommand{\isasymemptyset}{$\varnothing$}

    27 \renewcommand{\isasymemptyset}{$\varnothing$}

    28 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}

    28 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}

    29 

    30 

    30 \definecolor{mygrey}{rgb}{.80,.80,.80}

    31 \definecolor{mygrey}{rgb}{.80,.80,.80}

    31 \def\Brz{Brzozowski}

    32 \def\Brz{Brzozowski}

    32 \def\der{\backslash}

    33 \def\der{\backslash}

    33 \newcommand{\eps}{\varepsilon}

    34 \newcommand{\eps}{\varepsilon}