add MathJax to probabilityAxioms; render aleph_0.