User blog comment:Nayuta Ito/generalization of arrow notation/@comment-11227630-20141026002048/@comment-99.185.0.100-20150802201350

Isn't that just the function e^^x? What about x^^y?