TeX source:
8:(4:2)