TeX source:
Φ : R → [0,1]