Fuente TeX:

L/L' = \{x : \exists y \in L' \ / \ xy \in L\}