Updated documentation for symbols encode and decode