TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I would like to do something like the following. I am wondering if tikz-pgf would be the right tool to use.

Universal Generalization

Except the (E.G.) should not be there. I'm pretty sure that is a typo.

share|improve this question
Can you at least provide the bare code that you want to write over? Please add a minimal working example (MWE) that illustrates your problem. – percusse Nov 7 '12 at 20:02
Yes, tikz is perfect for this. See for example: tikz arrow outside tikzpicture environment. There is an example on this site with an image (as far as the arrow) pretty much identical to yours, but can't seem to find it right now. – Peter Grill Nov 7 '12 at 20:15
up vote 2 down vote accepted

If you do your alignment using a tikzpicture, you can do something like this:




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

\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);


enter image description here

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.