Fuente TeX:

L(M_1) = \{x: x \in L(M_a) \vee x \in L(M_b)\}