TeX source:
u(x,q)>u(x^{∗}_{1}(q),q)