fixed: symbols are not properly highlighted if there are operators with ...

...dots between them