Getting and checking user input infix expression¶