Fuente TeX:

L(r|s) \stackrel{def. E.R.}{=} L(r) \cup L(s) =  ...