TeX source:
y=log_4(64)