It looks like this:
What does it mean?
It means that if on any accessible line above the insertion point you have a conjunction
P1 ^ . . . ^ Pn
you may enter any conjunct of that conjunction at the insertion point.
November 27, 2001
