\begin{tabbing}
{\rm -}{\rm -}\xspa{1}{\com Character\/}\xspa{1}{\com functions\/}\\
\\
\begin{tabular}{@{}l@{\xspa1}c@{}l}
{\iden minChar\/}$,$\xspa{1}{\iden maxChar\/}\xspa{8} & $::$ & \xspa{1}{\iden Char\/}\\
{\iden minChar\/}\xspa{17} & $=$ & \xspa{1}\forquo {\stri \hbox{$\setminus$}\/}{\numb 0\/}\forquo \\
{\iden maxChar\/}\xspa{17} & $=$ & \xspa{1}\forquo {\stri \hbox{$\setminus$}\/}{\numb 255\/}\forquo 
\end{tabular}
\end{tabbing}
