TeX source:
S\rightarrow \varepsilon