Turns out Chrome on Android can't display &olt; so I went with just
old-fashioned &lt;. Doesn't look quite as nice, but it'll do for now.