'>>>' --> '> > >' and other cosmetics