reverse Polish notation