The linear inequality symbol in "ax + by ​