{~}{{\raisebox{-.6ex}{\textasciitilde}}}1
% {\\}{{$\lambda\:$}}1
{->}{{$\shortrightarrow$}}2
+ {>->}{{>->}}3
{<-}{{$\shortleftarrow$}}2
{=>}{{$\Rightarrow$}}2
{<=}{{$\Leftarrow$}}2
{\[bin|}{{$\llbracket_{bin}$}}4
{\[|}{{$\llbracket$}}1
{|\]}{{$\rrbracket$}}1
+ {\(}{{{\rm\tt(}}}1
+ {\)}{{{\rm\tt)}}}1
}
\lstdefinelanguage[Lhs2Tex]{Haskell}[Regular]{Haskell}{%
moreliterate=%