| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . ≪1 . | lexical-param | p | elem1 × elem1 |
| . ≪2 . | lexical-param | p | elem2 × elem2 |
| a | lexical | v | elem1 |
| b | lexical | v | elem2 |
| elem1 | lexical-param | s | |
| elem2 | lexical-param | s | |
| iHPQ | lexical | v | elem1 × elem2 → bool |
| lex< | lexical | p | elem1 × elem2 × elem1 × elem2 |