Отношение достижимости в LaTeX (w R v)

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

Отношение достижимости в семантике Крипке: w R v означает, что мир v достижим (считается возможным) из мира w.

Свойства R соответствуют модальным аксиомам: рефлексивность даёт T (\Box p \to p), транзитивность даёт 4 (\Box p \to \Box\Box p), а отношение эквивалентности даёт S5. Истинность \Box p в w требует выполнения p в каждом v с wRv. При наборе w R v TeX считает R обычной буквой и пробелы исчезают, получается wRv; используйте w \mathrel{R} v для интервалов отношения или определите макрос. Некоторые авторы пишут вместо этого R(w, v) или w \to v.

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

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

\documentclass{article}
\usepackage{amssymb,amsmath}
\begin{document}
Accessibility: $w R v$

\[ w \mathrel{R} v \land v \models p \implies w \models \Diamond p \]
\end{document}

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

• Модель Крипке\mathcal{M}, w \models p
• Оператор «в следующий момент»\bigcirc p
• Возможный мирw
• Оператор «до тех пор, пока»p \mathcal{U} q
• Деонтическая обязательностьO p
• Темпоральный оператор «когда-нибудь»\Diamond p

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

Как написать «Отношение достижимости» в LaTeX?

Наберите w R v в математическом режиме, например $w \mathrel{R} v \land v \models p \implies w \models \Diamond p$. Команда работает в обычном LaTeX без подключения пакетов.

Какой пакет нужен для w R v?

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

Можно ли использовать w R v в текстовом режиме или только в математическом?

В обоих. w R v компилируется и в тексте, и внутри $...$; в формуле оставляйте её в математическом режиме ради математических шрифтов и интервалов.