I've had the misfortune to meet the =< operator: Prolog uses it for less than or equal to. However, => is not a relational operator I've ever met, I've only seen it used as an arrow.