added global prettify symbols mode