Add encoding symbols