Rewrite rules of a DCPSG are identical to those of a CFG, with the addition of a meta-symbol, denoted here as an underscore.
For rules with an underscore, the rewrite semantics are slightly different: given a rule X \to \alpha \_ \beta, an occurrence of X can be rewritten as \alpha, with \beta being inserted immediately after the next non-terminal that is introduced at the same time.