Meta
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}}$