A binary or unary predicate/functor that, on I/O will display in infix, prefix, or postfix notation. The builtin display/1 shows internal notation.
?- display( 2 + 2/3).
+(2,/(2,3))