Using an inequality symbol to highlight inequality is elegant, I wish they'd gone with that!