The Lookahead Operator[slide by John Werth.]
If r1 and r2 are patterns, then r1/r2 means match r1 only if it is followed by r2.
For example,
DO/({letter}|{digit})*=({letter}|{digit})*,