Definition:Infix Notation/Binary Operation