big (and more explicit) notations for structures.

[kohlhase]

When we make more elaborate instances for math structures, e.g. the

\graph[nodes=\union{\nseq,\vseq,\set{\beta,b}},edges=\union{\eseq,\set{\seqmap{\pair\beta{#1}}\rseq}}]{}{}

from smglom/grammar/source/mod/termtree.en.tex, then it would be good to have a displayed, tabular notation \graph[tabular], elaborating to somthing like

\left\langle
\begin{array}{l}
<nodes>\\
<edges>
\end{array}
\right\rangle

or even a notation \graph[tabacc] that shows the accessors which elaborates to

\left\langle
\begin{array}{rcl}
\nodes & =& <nodes>\\
\edges & = & <edges> 
\end{array}
\right\rangle

and finally (I have a separate macro/env \mstrotab for this in the courses/FAU/AI preamble) a notation
\graph[tabaccnames] that does something like

\left\langle
\begin{array}{lrcl}
\sns{node} & \nodes & =& <nodes>\\
\sns{edge} & \edges & = & <edges> 
\end{array}
\right\rangle

and maybe a version with only names but without accessors. We have all the components in hand.

This would help me quite a lot in my slides (in AI and SMAI).