TeX source:
0 \quad 5 \quad 5 \quad 7 \quad 8