Improve formatting.
Replace |code| with `code`.

LaTeX style to markdown style.

Produced through a difficult and convoluted sed command.

find . -name "*.lhs" | xargs sed -E -i '' -e's/([^(])\|([^[:space:]]+)\|([^)])/\1`\2`\3/g'