Обозначение слова "следует" в логике и математике.