reverse polish prefix notation Synonyms