don't quote operators, and do quote end keyword, in symbol display as suggested by #7531