pl-display shows a simplified definition of write1 to illustrate the described functions. This simplified version does not deal with operators. It is called display1, because it mimics closely the behaviour of this Edinburgh predicate.