В дифференциальной форме (см., например, Определение 10.11 вПринципы математического анализа):
есть клиновидные символы. Я нашел две правдоподобные команды для их создания: \wedgeи \land. По внешнему виду они выглядят неразличимыми. Так какой из них следует принять?
решение1
Какотмечено в комментарииэти два символа неразличимы.
При вводе дифференциальных форм используйте команду, \wedgeтак как символявляетсяназывается клиновидным продуктом. (Аналогично, когда вы делаетесуммы клинав топологии.)
Используйте \land, когда вы используете символ как символ «логического И».
При написании заметок по теории решеток я иногда также определял, \newcommand*\meet{\wedge}как дать еще одно название тому же символу (и отразить его название в теории).
Синонимы могут помочь сделать ваш исходный код более читабельным.
Смотрите такжеэтот вопрос и ответы на него.
решение2
Объяснение двойного наименования содержится в следующих строках:plain.tex
837 \mathchardef\wedge="225E \let\land=\wedge
838 \mathchardef\vee="225F \let\lor=\vee
So \land— это просто псевдоним для \wedgeи аналогично для \lor.
LaTeX использовался для загрузки слегка измененной версии plain.tex; когда был выпущен LaTeX2e, псевдонимы были сохранены из соображений совместимости в fontmath.ltx:
270 \DeclareMathSymbol{\wedge}{\mathbin}{symbols}{"5E}
271 \let\land=\wedge
272 \DeclareMathSymbol{\vee}{\mathbin}{symbols}{"5F}
273 \let\lor=\vee
(номера строк добавлены для справки).
Поэтому не имеет значения, какое имя вы используете. Однако, если пакет переопределяется \wedge, чтобы указывать на другой символ, значение \landне изменится.