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.
Thanks, - Conal