# Terminals

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.