Gruppo Utilizzatori Italiani di TeX
Whenever the sub–process $Q$ has the form $a^k.Q’$ or $Q \equiv let^k ~x=g(M_1,\dots,M_n) ~then ~A ~else~ B$, i.e. when …
da then in poi è fuori dal testo.