TeX source:
log_2(10)