Fuente TeX:

\prec Thn, \phi \succ = \int_{0}^{2/n}{(n - t . \frac{n.n}{2} ) . \phi}