2

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

1 Answer 1

3

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}
1
  • Great! This delarray package looks perfect.
    – ntc2
    Commented Mar 28, 2012 at 17:06

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .