A record of the latex file with catcode(S) reassigned to be an escape character.
Prints in a better format.
Put the standard format for the Sq+-admissible sequences.