Renamed Symbol to Def at least for code embedded in Docs. Doc comments will still need to be changed.