Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

Please compile the below and the problem will be clear.

\documentclass{article}
\begin{document}
\noindent Compare
\[
\begin{array}{l}
  \land ~a\\
  \land \left(
    \begin{array}[t]{l}
      \lor ~a\\
      \lor \left(
        \begin{array}[t]{l}
          \land ~a\\
          \land ~b\\
        \end{array}
      \right)
    \end{array}
  \right)\\
\end{array}
\]
with
\[
\begin{array}{l}
  \land ~a\\
  \land
    \begin{array}[t]{l}
      \lor ~a\\
      \lor
        \begin{array}[t]{l}
          \land ~a\\
          \land ~b\\
        \end{array}
    \end{array}
\end{array}
.\]
I also don't want
\[
\begin{array}{l}
  \land ~a\\
  \land \left(
    \begin{array}{l}
      \lor ~a\\
      \lor \left(
        \begin{array}{l}
          \land ~a\\
          \land ~b\\
        \end{array}
      \right)
    \end{array}
  \right)\\
\end{array}
,\]
although it's better than the first version.
\end{document}

I want the vertical layout in the second version, but with parentheses around the nested subformulas.

enter image description here

share|improve this question
add comment

1 Answer

up vote 3 down vote accepted

This is reasonably close, the spacing can be tweaked a bit, depending on what you need, this is just the default spacing from the package.

enter image description here

\documentclass{article}
\usepackage{delarray}
\begin{document}
\noindent Compare
\[
\begin{array}{ll}
  \land &a\\
  \land&\begin{array}[t]({ll})
           \lor &a\\
            \lor &
           \begin{array}[t]({ll})
              \land&a\\
               \land&b
           \end{array}
\end{array}
\end{array}
\]

\end{document}
share|improve this answer
    
Great! This delarray package looks perfect. –  ntc2 Mar 28 '12 at 17:06
add comment

Your Answer

 
discard

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.