Update SmartSymbols doc