@lostinrecursion is there a rationale for either one? I'm used to the superscript one, and I think it looks nicer too