User blog comment:Alejandro Magno/Extension of Pound-Star Notation/@comment-4297047-20141016203858

That's actually something I was considering at one point. And {x+1}y was already {x}{x}{x}{x}y to begin with.