MathJax is needed both to explain mathematical concepts and for proper rendering of Iverson Notation.
Yes it does: $\bot p_{32,33}:+/\alpha^2/I^0$ $i \gets O^{\bot I^0_{0,1,2,3}}_{\bot I^0_{4,5,6,7}}$
MathJax is needed both to explain mathematical concepts and for proper rendering of Iverson Notation.