Source TeX:

U(e) \cup lvin(s1, lvout) \cup lvin(s2, lvout)