Shorten symbol names in examples