Fuente TeX:
G \neq \{1 \}