En forma diferencial (ver, por ejemplo, la Definición 10.11 enPrincipios del análisis matemático):
hay símbolos en forma de cuña. Encontré dos comandos plausibles para producirlos: \wedgey \land. En apariencia, parecen indistinguibles. Entonces, ¿cuál debería adoptarse?
Respuesta1
Comoanotado en un comentarioLos dos símbolos son indistinguibles.
Al escribir formas diferenciales, use el comando \wedgeya que el símboloesllamado producto de cuña. (Del mismo modo cuando lo hacessumas de cuñaen topología.)
Utilícelo \landcuando utilice el símbolo como símbolo "lógico y".
Al escribir notas sobre teoría de celosías, a veces también definía \newcommand*\meet{\wedge}darle otro nombre al mismo símbolo (y reflejar su nombre en la teoría).
Los sinónimos pueden ayudar a que su código fuente sea más legible.
Ver tambiénesta pregunta y sus respuestas.
Respuesta2
La explicación para la denominación dual se encuentra en las siguientes líneas deplain.tex
837 \mathchardef\wedge="225E \let\land=\wedge
838 \mathchardef\vee="225F \let\lor=\vee
Entonces \landes solo un alias para \wedgey de manera similar para \lor.
LaTeX solía cargar una versión ligeramente modificada de plain.tex; cuando se lanzó LaTeX2e, los alias se mantuvieron por razones de compatibilidad en fontmath.ltx:
270 \DeclareMathSymbol{\wedge}{\mathbin}{symbols}{"5E}
271 \let\land=\wedge
272 \DeclareMathSymbol{\vee}{\mathbin}{symbols}{"5F}
273 \let\lor=\vee
(Números de línea agregados como referencia).
Entonces el nombre que uses es irrelevante. Sin embargo, si un paquete se redefine \wedgepara señalar otro símbolo, el significado de \landno se verá afectado.