TeX source:
a \mod b