Si η es una transformación natural de "F" a "G", se escribe también η: "F" → "G".