API for symbol printing has changed