That's the whole language. For comparison, the lambda calculus requires an infinite stock of distinct variable symbols, and even Combinatory Logic requires at least three symbols, including S, K, and something to serve the function of parentheses. The syntax generates strings like i, *ii, *i*ii, or **ii*ii, but not ii, i*i, or **ii. The semantics is expressed using the lambda calculus. The symbol
{{#tags}}- {{label}}
{{/tags}}