This is an old revision of the document!
⇐for continuous variables when dealing with numerical algorithms.
⇐, thus a constraint with an integer variable
=L= 9means it can be less or equal to 9. If you want it to be less than 9, write the constraint as