Мне нужен пробел между переменными в этой формуле (монадическая временная логика первого порядка). Я пробовал использовать \,
и, \hspace{}
но оба, похоже, не работают. Может кто-нибудь мне помочь? пример формулы:
$G(\forall (x) \forall (y)(p(x) \vee \neg p(y)))$
Должен быть
G space(\forall (x)space \forall (y)space(p(x)space \vee space \neg p(y)))
решение1
Тамявляетсяразница. Вот 5 версий вашей формулы с обычным интервалом и добавлением \,
, \:
, \;
и \
. По моему мнению, единственные места, которые могут оправдать добавление некоторого пробела, находятся только между квантификаторами. Для скобок и двоичного символа интервал вполне приемлем:
\documentclass{article}
\usepackage{mathtools} %
\begin{document}
\begin{gather*}
G\Bigl(\forall (x)\forall (y)\bigl(p(x) \vee\neg p(y)\bigr)\Bigr)\\
G\,\Bigl(\forall (x)\,\forall (y)\,\bigl(p(x)\,\vee\,\neg p(y)\bigr)\Bigr)\\
G\:\Bigl(\forall (x)\: \forall (y)\: \bigl(p(x)\: \vee\:\neg p(y)\bigr)\Bigr)\\
G\;\Bigl(\forall (x)\;\forall (y)\;\bigl(p(x)\;\vee\;\neg p(y)\bigr)\Bigr)\\
G\ \Bigl(\forall (x)\ \forall (y)\ \bigl(p(x)\ \vee\ \neg p(y)\bigr)\Bigr)\\
\end{gather*}
\end{document}
решение2
Не вижу здесь никакой проблемы. Ничего из этого вам не подходит? Просто для того, чтобы привести несколько примеров. Вы можете найти большой списокздесь.
% arara: pdflatex
\documentclass{article}
\usepackage{mathtools}
\newcommand*{\test}[1]{$G#1(\forall(x)#1\forall(y)#1(p(x)#1\vee#1\neg{}p(y)))$\par}
\begin{document}
\test{}
\test{\,}
\test{\>}
\test{\ }
\test{\mkern+10mu}
\test{\quad}
\test{\qquad}
\test{\hskip 3em}
\test{\hspace{35pt}}
\end{document}
Конечно, вы можете добавить эти команды непосредственно в свою формулу и использовать различные значения в каждой строке.