TeX source:
log9