| \(A\) |
actuator |
| \(A^1\) |
unary actuator |
| \(A^2\) |
binary actuator |
| \(G\) |
graph |
| \(\Gamma\) |
selector |
| \(M\) |
model |
| \(m\) |
subject mode |
| \(\mu\) |
transition target sepcifier |
| \(\mu^1\) |
unary transition target specifier |
| \(\mu^2\) |
binary transition target specifier |
| \(n\) |
signal |
| \(o\) |
object |
| \(O\) |
set of objects |
| \(p\) |
symbol presence |
| \(\Pi\) |
selector pattern |
| \(R\) |
set of relationships (graph edges) |
| \(S\) |
set of symbols |
| \(s\) |
symbol - any type |
| \(S^t\) |
set of symbols of type \(t\) |
| \(s^t\) |
symbol of type \(t\) |
| \(\sigma\) |
selector |
| \(\sigma_l\) |
selector for left subject |
| \(\sigma_r\) |
selector for right subject |
| \(t\) |
symbol type |
| \(T\) |
transition |
| \(T^1\) |
unary transition |
| \(T^2\) |
binary transition |
| \(T^2_l\) |
binary transition for left target |
| \(T^2_r\) |
binary transition for right target |