Table 1.
Operator/symbol | Definition |
---|---|
x := a | Assignment of a value a to a variable x |
x = a | Comparison between x and a |
/a | Delimiter that precedes an operation a |
∖ a | Delimiter that precedes a predicate a |
a.b | Component operator: b is a member of a |
A – B | Bond association between A and B |
x → A | Mapping input x to machine A |