обратная импликация

Also known as implied by, ←

given P→Q, the implication Q→P