TeX source:
f_x(z) := x^z \mod n