If c0  |–n cn [r] for some n ³ 1, then
 c0  |–+ cn [r] or, simply,  c0  |–+ cn 
If c0  |–n cn [r] for some n ³ 0, then
 c0  |–* cn [r] or, simply, c0  |–* cn
Example: Consider
AApabc  |– ABqbc  [1: Apa ® Bq], and
  ABqbc  |– ABCrc [2: Bqb ® BCr].
Then, AApabc |–2 ABCrc [1 2], AApabc |–+ ABCrc [1 2], AApabc |–* ABCrc [1 2]
Sequence of Moves 2/2
28/50