diff options
Diffstat (limited to 'ghc/CONTRIB/pphs/docs/LaTeX_char.tex')
-rw-r--r-- | ghc/CONTRIB/pphs/docs/LaTeX_char.tex | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/ghc/CONTRIB/pphs/docs/LaTeX_char.tex b/ghc/CONTRIB/pphs/docs/LaTeX_char.tex new file mode 100644 index 0000000000..7b5a7c83c6 --- /dev/null +++ b/ghc/CONTRIB/pphs/docs/LaTeX_char.tex @@ -0,0 +1,9 @@ +\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} |