Initial entry. The rules were ambiguous about how to deal with spaces after rule 5 but I have assumed that they appear (unless the symbol from rule 5 is followed by a newline).