TeX source:
\implies |\lambda_i|=1