TeX source:
0 ≤ a ≤ 1