TeX source:

π:Ω→[0,1]