minor: remove i subscript from beta command
matching refactor from notes-ip.tex in semantics