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\decode{\textit{decode}}

    41 \def\decode{\textit{decode}}

    41 \def\internalise{\textit{internalise}}

    42 \def\internalise{\textit{internalise}}

    42 \def\lexer{\mathit{lexer}}

    43 \def\lexer{\mathit{lexer}}

    43 \def\mkeps{\textit{mkeps}}

    44 \def\mkeps{\textit{mkeps}}

    44 \newcommand{\rder}[2]{#2 \backslash #1}

    45 \newcommand{\rder}[2]{#2 \backslash #1}