User blog comment:Alejandro Magno/Extension of Pound-Star Notation/@comment-4297047-20141016205348/@comment-25371339-20141018203710

I think {1}_3 = e(0)