TeX source:
log_2(y) = x