empty represents the empty document, the identity element for ^^. It renders as nothing and is eliminated by concatenation: (^^ empty x) and (^^ x empty) are both just x.