| Symbol | Associativity | Looseness | Precedence |
|---|---|---|---|
| ( | none | 1200 | 1 |
| ) | none | 1200 | 1 |
| = | none | 1200 | 1 |
| And | none | 1200 | 1 |
| Exists | none | 1200 | 1 |
| Forall | none | 1200 | 1 |
| Fun | none | 1200 | 1 |
| Naf | none | 1200 | 1 |
| Neg | none | 1200 | 1 |
| Object | none | 1200 | 1 |
| Or | none | 1200 | 1 |
| Rel | none | 1200 | 1 |
| Value | none | 1200 | 1 |
| Var | none | 1200 | 1 |
Copyright © 2006 ILOG, Inc.; All Rights Reserved.