Text this: Symbolic rewriting techniques/