Practical Grammar 8
Jump to navigation
Jump to search
Constraining equations
There are several types of equations that can be used in annotations. So far, we have encountered the following two:
(1) ↑=↓1;
(2) (↑ OBJ) =↓2;
These equations are both defining equations. This means the following.