In this clause, expand_phrase, expand_arg, phrase_to_pred, and expand_core are
basic tools in my private library PAC, and rec(F, V, P) is a PAC
expression introduced for recursive anonymous predicates like
the named recursive predicate append/3.
The folowing DCG rule removes all TeX control sequence occureences from a TeX text codes.