imply.pdf (35.5 KB)
You are probably mixing up the nearly-identical characters \[Implies] and \[DoubleRightArrow]. Only the former has the meaning of logical implication.
You are right. => and => look the same but in {DoubleRightArrow] there is a space between esc and =