Power[x->NUMBER, y->NUMBER] =: NUMBER
Power raises x to the power y. Power is not implemented for the case where x is a rational, and y is not an integer.
x ^ y
Exp, Log.