User blog comment:KthulhuHimself/Gulliver notation./@comment-25337554-20151103102017

The next step will be:

}x^y{ = }x^(y-1)*x^y{