Ich verwende die tabularx-Umgebung, um formale Argumente darzustellen, und im Moment ist die linke Spalte am linken Rand des Textes ausgerichtet und die rechte Spalte am rechten Rand. Zum Beispiel:
Wie kann ich erreichen, dass die linke Spalte am Absatzeinzug ausgerichtet ist, die rechte Spalte aber am rechten Rand ausgerichtet bleibt? Ich habe versucht, das changepagePaket und den \adjustwidthBefehl zu verwenden, aber das scheint nicht zu helfen, ebenso wenig wie das Hinzufügen \hspace{\parindent}an verschiedenen Stellen. Ich bin sicher, dass es eine wirklich einfache Möglichkeit gibt, das zu tun, aber ich weiß nicht, wie.
Hier ist ein MWE:
\documentclass[12pt]{article}
\usepackage{tabularx} %tables
\usepackage{tabulary} %tables
\usepackage{lipsum}
\usepackage{upgreek} %greek letters
\usepackage{amssymb} %modal operators
\begin{document}
\lipsum[1-2]
\begin{table}[h!]
\centering
\setlength{\extrarowheight}{3pt}
\begin{tabularx}{\textwidth}{@{}rXr@{}}
(1) & $\varnothing \vdash \pi \leftrightarrow val(\ulcorner \pi \urcorner, \ulcorner \bot \urcorner)$ & ($\pi$ def.)\\
(2) & $\pi \vdash \pi$ & (Assumption)\\
(3) & $\pi \vdash val(\ulcorner \pi \urcorner, \ulcorner \bot \urcorner)$ & (1,2, MP)\\
(4) & $\pi \vdash \bot$ & (2,3, \textit{V-Detach})\\
(5) & $\varnothing \vdash val(\ulcorner \pi \urcorner, \ulcorner \bot \urcorner)$ & (4, \textit{V-Schema})\\
(6) & $\varnothing \vdash \pi$ & (1,5, MP)\\
(7) & $\varnothing \vdash \bot$ & (5,6, \textit{V-Detach})\\
\end{tabularx}
\end{table}
\lipsum[3-4]
\end{document}
Danke!
Antwort1
Der Standardwert von \parindentin der articleDokumentklasse ist 1.5em. Um Ihr Formatierungsziel zu erreichen, genügt es daher,
\begin{tabularx}{\textwidth}{@{} rXr @{}}
Zu
\begin{tabularx}{\textwidth}{@{\hspace{1.5em}} rXr @{}}
Da die GesamtverwendbarWenn die Breite der tabularxUmgebung um verringert wird 1.5em, verringert LaTeX die Breite der XSpalte automatisch um diesen Betrag, um sicherzustellen, dass sie weiterhin in den Textblock passt.
Nachtrag: Falls Sie den Wert von nicht kennen \parindent, können Sie beispielsweise Folgendes ausführen:
\newlength\origparindent
\setlength{\origparindent}{\parindent}
irgendwannVorStarten der tableUmgebung und Ersetzen
\begin{tabularx}{\textwidth}{@{\hspace{1.5em}} rXr @{}}
mit
\begin{tabularx}{\textwidth}{@{\hspace{\origparindent}} rXr @{}}
Antwort2
Sie müssen den Wert von nicht kennen \parindent, da TeX ihn kennt.
Außerdem möchten Sie keine tableUmgebung, da es sich um ein schwebendes Objekt handelt und Sie wahrscheinlich das Material möchtenDort, nicht irgendwo anders.
Sie können eine Umgebung verwenden enumerate, die mithilfe von richtig eingerichtet wurde enumitem. Etwas an den rechten Rand zu schieben ist mit einfach \hfill, solange das vorhergehende Material die Platzierung zulässt, genauer gesagt, es das Etikett nicht überlappt.
\documentclass[12pt]{article}
\usepackage{amsmath}
\usepackage{lipsum}
\usepackage{upgreek} %greek letters
\usepackage{amssymb} %modal operators
\usepackage{enumitem}
\newenvironment{sidecond}
{\begin{enumerate}[
label=(\arabic*),
leftmargin=\dimexpr\parindent+\labelsep,
labelwidth=0pt,
align=left
]}
{\end{enumerate}}
\begin{document}
\lipsum[2][1-5]
\begin{sidecond}
\item $\varnothing \vdash \pi \leftrightarrow
\mathit{val}(\ulcorner \pi \urcorner, \ulcorner \bot \urcorner)$\hfill ($\pi$ def.)
\item $\pi \vdash \pi$\hfill (Assumption)
\item $\pi \vdash \mathit{val}(\ulcorner \pi \urcorner, \ulcorner \bot \urcorner)$\hfill (1,2, MP)
\item $\pi \vdash \bot$\hfill (2,3, \textit{V-Detach})
\item $\varnothing \vdash \mathit{val}(\ulcorner \pi \urcorner, \ulcorner \bot \urcorner)$\hfill
(4, \textit{V-Schema})
\item $\varnothing \vdash \pi$\hfill (1,5, MP)
\item $\varnothing \vdash \bot$\hfill (5,6, \textit{V-Detach})
\end{sidecond}
\lipsum[4][1-3]
\end{document}
Ein paar abschließende Anmerkungen. Ich habe verwendet \mathit{val}, weil die Buchstaben sonst zu weit auseinander stehen (weil sie das Produkt dreier Variablen bezeichnen). Ich habe es weggelassen, \varnothingobwohl ich es für die Bezeichnung der leeren Menge verabscheue.