Does MathJax work here?
Meta
add tag
Adám 
MathJax is needed both to explain mathematical concepts and for proper rendering of Iverson Notation.
Top Answer
Adám 
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}}$
comments
transcript

Enter question or answer id or url (and optionally further answer ids/urls from the same question) from

Separate each id/url with a space. No need to list your own answers; they will be imported automatically.