35 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'}

    35 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'}

    36 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)}

    36 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)}

    37 

    37 

    38 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}}

    38 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}}

    39 

    39 

    40 \def\Some{\textit{Some}}

    41 \def\Some{\textit{Some}}

    41 \def\None{\textit{None}}

    42 \def\None{\textit{None}}

    42 \def\code{\textit{code}}

    43 \def\code{\textit{code}}

    43 \def\decode{\textit{decode}}

    44 \def\decode{\textit{decode}}

    44 \def\internalise{\textit{internalise}}

    45 \def\internalise{\textit{internalise}}

    50 \def\AONE{\textit{AONE}}

    51 \def\AONE{\textit{AONE}}

    51 \def\ACHAR{\textit{ACHAR}}

    52 \def\ACHAR{\textit{ACHAR}}

    52 

    53 

    53 \def\fuse{\textit{fuse}}

    54 \def\fuse{\textit{fuse}}

    54 \def\bder{\textit{bder}}

    55 \def\bder{\textit{bder}}

    55 \def\POSIX{\textit{POSIX}}

    57 \def\POSIX{\textit{POSIX}}

    56 \def\ALTS{\textit{ALTS}}

    58 \def\ALTS{\textit{ALTS}}

    57 \def\ASTAR{\textit{ASTAR}}

    59 \def\ASTAR{\textit{ASTAR}}

    58 \def\DFA{\textit{DFA}}

    60 \def\DFA{\textit{DFA}}

    59 \def\NFA{\textit{NFA}}

    61 \def\NFA{\textit{NFA}}