Consider this:
There are several problems:
- The
\exists
operator is not horizontaly aligned with the following node (a,b). - There is too little space between
foobar
and the node below it and between the (a,b) node and the nodes below it. - The right arrow is not horizontally aligned with the preceding and following nodes. (I know that I can draw arrows with TikZ, this is just a placeholder.)
Any help on resolving these issues is greatly appreciated. Here is the code at present.
\documentclass{article}
\usepackage{tikz}
\usetikzlibrary{shapes.multipart,positioning,fit}
\begin{document}
\begin{tikzpicture}[
node distance=3mm and 3mm,
drs/.style={draw, rectangle split, rectangle split parts=2}
]
\node[drs,align=left]
{ foo
\nodepart{two}
foobar \
\tikz{
\node (operator) {$\exists$};
\node[drs,right=of operator]{
a%
\nodepart{two}{
b%
}
};
} \
\tikz{
\node[drs] (left side)
{ 1%
\nodepart{two}
2%
};
\node[right=of left side] (operator) {$\rightarrow$};
\node[drs,right=of operator] (right side)
{ 3%
\nodepart{two}
4 \\
5 \\
6%
};
}
};
\end{tikzpicture}
\end{document}
tikz
.