I'd like to add x^y is also used other contexts - e.g. for cardinal numbers and ordinal numbers.