Fix escaped symbol printing