Tautología (verum, máximo) en LaTeX (\top)

Dónde se usa

Símbolo de tachuela hacia abajo (máximo): verum, la proposición siempre verdadera, y el elemento máximo de un retículo.

En lógica \top es una tautología, el elemento neutro de la conjunción (p \land \top \equiv p). Los retículos y la teoría de dominios lo usan para el elemento máximo, y la teoría de tipos para el tipo unidad. También se usa mucho como superíndice para la traspuesta de una matriz, A^\top, como alternativa a A^T o A^\intercal. \top es un símbolo ordinario. No lo confundas con la letra T, que se apoya en la línea base y tiene otras proporciones. Su dual es \bot.

También aparece en: Álgebra Booleana

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Símbolos relacionados

• Cuadrado\square
• Contradicción (falsum, mínimo)\bot
• Equivalencia (triple barra)\equiv
• Signo «porque»\because
• Signo de no equivalencia\not\equiv
• Signo «por lo tanto»\therefore

Preguntas frecuentes

¿Cómo escribo Tautología (verum, máximo) en LaTeX?

Escribe \top en modo matemático, por ejemplo $p \lor \neg p \equiv \top$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \top?

Ninguno. \top forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \top en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\top$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ⊤ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).