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