Symbol: Constraint