Symbol: to_gma_encoder