What dictionary has to say about

reverse polish notation