Definition:Reverse Polish Notation