Lines Matching full:implies
31 \def\implies{\Rightarrow}1692 & This option implies LTM\_PRIME\_BBS as well. \\
