A logical symbol indicating that the left statement is implied by or follows from the right statement.
Examples
Basic logical statement showing 'is implied by'
B \impliedby A \text{ means 'B is implied by A'}
Mathematical proof with implied condition
x^2 = 4 \impliedby x = 2 \text{ (but not only)}
Logical equivalence using both implications
p \land q \impliedby q \land p