- '=>' and ':=' require special replacement since they are not marked in html generated by coqdoc
- switching coqdoq to utf8 looses ASCII cut and paste
- all output to page should happen in body
- proof hoovering defined at end of interactive.css
- https://en.wikipedia.org/wiki/Mathematical_operators_and_symbols_in_Unicode