A logical operator denoting implication between statements, commonly used in proofs and mathematical logic.
Examples
Basic logical implication
p \implies q \text{ means 'if p then q'}
Mathematical proof step
x > 0 \implies x^2 > 0 \text{ for all real } x
Complex logical statement
(x \text{ is prime} \implies x > 1) \text{ and } (x > 1 \not\implies x \text{ is prime})