Notes concerning “Reverse Polish notation (RPN)”