"—>" es la implicación.