Следование в LaTeX (\implies)

Где используется

Записывает длинную двойную стрелку логического следования: левое утверждение влечёт правое.

\implies даёт \Longrightarrow, окружённую дополнительными широкими пробелами, что подходит для следования между целыми утверждениями, как в x > 2 \implies x^2 > 4. Для импликации между формулами внутри логического выражения многие логики предпочитают более короткие \Rightarrow или \to без широкого зазора. Обратная стрелка — \impliedby. В доказательствах не выстраивайте несколько \implies подряд через всю страницу: полные предложения со словом «следовательно» часто читаются лучше. В записи логики высказываний p \to q встречается чаще, чем p \implies q.

Также в разделах: Логика и доказательства

Минимальный компилируемый пример

Вставьте это в пустой файл .tex и скомпилируйте с pdfLaTeX, XeLaTeX или LuaLaTeX.

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Implies: $\implies$

\[ x^2 = 4 \implies x = 2 \text{ or } x = -2 \]
\end{document}

Похожие символы

• Тогда и только тогда\iff
• Больше или равно\geq
• Квантор всеобщности\forall
• Меньше или равно\leq
• Квантор существования\exists
• Знак неравенства\neq

Частые вопросы

Как написать «Следование» в LaTeX?

Наберите \implies в математическом режиме, например $x^2 = 4 \implies x = 2 \text{ or } x = -2$. Сначала подключите amsmath: \usepackage{amsmath}.

Какой пакет нужен для \implies?

Для \implies нужен amsmath: добавьте \usepackage{amsmath} в преамбулу до начала документа.

Можно ли использовать \implies в текстовом режиме или только в математическом?

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\implies$. Если нужен только сам знак в тексте, вставьте символ Unicode ⟹ (с XeLaTeX или LuaLaTeX и шрифтом, в котором он есть).