TeX source:
(a|0)