0 (used when writing some languages) a ~ mark made above a letter, especially n, to show that the letter has a special sound
The expressions (6.2) are substituted into (5.6) and (5.8) which are then linearized with respect to the constants marked with a tilde.
For the sake of simplifying notation, we remove the tildes from the new parametrization.
Let tildes denote quantities referring to the configuration at the next time step.
We use a tilde to represent tuples of expressions.
Since / has thus changed from a ^-abstraction to a ^-abstraction, applications of / must be changed to tilde-applications as well.
We use a tilde to denote a finite (and possibly empty) tuple.
In what follows we will drop the tilde sign where there is no chance of confusion.
Xlifting implies that tilde-abstractions can only occur in function positions of tilde applications, and that no other terms can occur in these positions.