TeX source:
4^y=64