experimental support for MathJax
fix inconsistent input contract
Update README.md
update docs with lozenge-typing instructions