TeX source:
log_2(8)=3