Slight markup change.

Use {{ ... }} to protect LaTeX symbols instead of < ... >. The latter
get transformed to &lt; and &gt; along the way in certain circumstances.