TeX source:
u : G → [0,1]