TeX source:
Y_n\Rightarrow Y