>
> Does anyone have a nice way to format the "~" of a lazy pattern in
> lhs2TeX? I use
>
> %format ~ = "{} ^\sim "
>
> but the result isn't as pretty as I'd like. For one thing, no space
> is inserted before the "~" after a lambda, "do", or whatever.
``Nice'' is in the eye of the beholder --- after limited fiddling,
I use:
\def\irref{{\lower0.3ex\hbox{\texttt{\bf\~{}}}}\kern-0.1em\strut}
Wolfram
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
