| Component . | Description . |
|---|---|
| c | Primitive concept c = 1, 2 or 3 |
| Gaussian with approximate mean | |
| m (w) | Meaning of form w |
| s (w, v) | Successor of w with interval v; s (w) = s (w, 1) |
| h (w) | Higher than w |
| + | Addition |
| − | Subtraction |
| × | Multiplication |
| ÷ | Division |
| p (x, n) | x to the nth power |
| Form definition | |
| ∈ | Set definition |
| ≡ | Equivalence |
| Component . | Description . |
|---|---|
| c | Primitive concept c = 1, 2 or 3 |
| Gaussian with approximate mean | |
| m (w) | Meaning of form w |
| s (w, v) | Successor of w with interval v; s (w) = s (w, 1) |
| h (w) | Higher than w |
| + | Addition |
| − | Subtraction |
| × | Multiplication |
| ÷ | Division |
| p (x, n) | x to the nth power |
| Form definition | |
| ∈ | Set definition |
| ≡ | Equivalence |