TeX source:

a \mid b