Fuente TeX:
W\leq Res^G_N (V)