수식에 공백을 두는 방법

Question

나는 이 공식(모나드 1차 시간 논리)의 변수 사이에 공백을 원합니다. \,사용해 보았지만 \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)))

Answer 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} 

Answer 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}

물론 이러한 명령을 수식에 직접 추가하고 각 줄에서 다양하게 사용할 수 있습니다.