So lassen Sie Leerzeichen in einer Formel

Question

Ich möchte ein Leerzeichen zwischen den Variablen in dieser Formel (monadische Temporallogik erster Ordnung). Ich habe versucht, \,und zu verwenden \hspace{}, aber beide scheinen nicht zu funktionieren. Kann mir jemand helfen? Beispielformel:

$G(\forall  (x) \forall (y)(p(x) \vee \neg p(y)))$

Es sollte sein

G space(\forall  (x)space \forall (y)space(p(x)space \vee space \neg p(y)))

Answer 1

DortIstein Unterschied. Hier sind 5 Versionen Ihrer Formel, mit dem normalen Abstand und dem Hinzufügen von \,, \:, \; und \. Meiner Meinung nach sind die einzigen Stellen, an denen das Hinzufügen von Leerzeichen gerechtfertigt sein könnte, die zwischen den Quantifizierern. Für die Klammern und das Binärsymbol ist der Abstand in Ordnung:

\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

Ich sehe hier kein Problem. Funktioniert keines davon für Sie? Nur um einige Beispiele zu nennen. Sie finden eine große ListeHier.

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

Natürlich können Sie diese Befehle auch direkt in Ihre Formel einfügen und in jeder Zeile unterschiedliche verwenden.