Знак Следовательно: как его использовать в математике и логике