| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . .1 | pair | f | pair → elem |
| . .2 | pair | f | pair → data |
| . × . | pair | f | elem × data → pair |
| a | elem | v | elem |
| a0 | pair | v | elem |
| b | elem | v | elem |
| c | elem | v | elem |
| d | data | v | data |
| d0 | data | v | data |
| d1 | data | v | data |
| d2 | data | v | data |
| data | data | s | |
| elem | elem | s | |
| p | pair | v | pair |
| p0 | pair | v | pair |
| p1 | pair | v | pair |
| p2 | pair | v | pair |
| pair | pair | s |