TeX source:
(0{,}5 \mid -1)