Обозначение слова «следует» в обратном направлении в логике и математике.