Тавтология (верум) в LaTeX (\top)

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

Символ «T» (вершина): верум, всегда истинное высказывание, и наибольший элемент решётки.

В логике \top — тавтология, нейтральный элемент конъюнкции (p \land \top \equiv p). В теории решёток и теории доменов он обозначает наибольший элемент, а в теории типов — единичный тип. Он также широко используется как верхний индекс для транспонирования матрицы, A^\top, как альтернатива A^T или A^\intercal. \top — обычный символ. Не путайте его с буквой T, которая стоит на базовой линии и имеет другие пропорции. Двойственный ему символ — \bot.

Также в разделах: Булева алгебра

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

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

\documentclass{article}
\begin{document}
Tautology (verum, top): $\top$

\[ p \lor \neg p \equiv \top \]
\end{document}

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

• Квадрат\square
• Противоречие (фальсум)\bot
• Тождественное равенство\equiv
• Знак «так как»\because
• Знак неэквивалентности\not\equiv
• Знак «следовательно»\therefore

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

Как написать «Тавтология (верум)» в LaTeX?

Наберите \top в математическом режиме, например $p \lor \neg p \equiv \top$. Команда работает в обычном LaTeX без подключения пакетов.

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

Никакой. \top входит в стандартный LaTeX, поэтому в преамбуле достаточно класса документа.

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

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