Runs dotted and double dotted symbols properly