I think he meant it as an arrow instead of a “greater than” symbol