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

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

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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