在对齐中使用箭头

Question

我想做类似以下的事情。我想知道 tikz-pgf 是否是合适的工具。

但 (EG) 不应该在那里。我确信那是打字错误。

Answer 1

如果您使用 tikzpicture 进行对齐，您可以执行以下操作：

\documentclass[a4paper]{article}

\usepackage{amssymb}
\usepackage{tikz}
\usetikzlibrary{positioning}

\begin{document}

\textbf{Universal Generalization (U.G.)}

\begin{tikzpicture}
\node (a) {flag $a$};
\node[below=.5ex of a] (b) {$\cdot$};
\node[below=.5ex of b] (c) {$\cdot$};
\node[below=.5ex of c] (d) {$\cdot$};
\node[below=.5ex of d,anchor=north east] (e) {$\phi a$};
\node[below=5ex of d] (f) {$(x)\phi x$};
\node[left=.5ex of f] (g) {$/\therefore$};
\draw[->] (e.south east) -- (e.south -| g.west) |- (a);
\draw (g.north west) -- (f.north east);
\end{tikzpicture}

\end{document}