Source TeX:
U(e) \cup lvout \cup lvin(s, \emptyset)