Ответ:

Условное утверждение «из A следует B» обозначают стрелкой, направленной от условия к следствию.

Ответ: A → B.