TeX source:
u(2250)=1