TeX source:
x=log_2(y)