%include poly.fmt

%format abs (a) = "\mathopen{|}" a "\mathclose{|}"
%format ~>      = "\leadsto"

The |abs| function computes the absolute value of an integer:
\begin{code}
abs(-2) ~> 2
\end{code}