Fuente TeX:
gr(v)+gr(v')\geq gr(v)+gr(x)\geq n