TeX source:
0<a<1