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

I think we are looking at -roughly- (e0)^2 so far