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