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)
The equations above are both defining equations. This means the following.