\impliedbyThe symbol \impliedby is used in logic and mathematics to denote 'is implied by'. It is the reverse of the implication arrow \implies, indicating that the statement on the right is a consequence of the statement on the left.
Statement A is implied by statement B.
A \impliedby BThe inequality x > 2 is implied by the inequality x^2 > 4.
x > 2 \impliedby x^2 > 4The conjunction P and Q is implied by the statement P.
P \land Q \impliedby P