TeX source:
\implies \lambda_i