TeX source:
10 \mod 10 = 0