TeX source:
0 \lt a \lt 1