Open kohlhase opened 1 year ago
alongside to \seqmap. The application is e.g. unification problems: There we have things like A1=B2 & ... & An=Bn and I would like to write
\seqmap
\varseq{Aseq}{1,\ellipses,n}{\comp{A}_{#1}} \varseq{Bseq}{1,\ellipses,n}{\comp{G}_{#1}} \[\seqmap2{\unifeq{#1}{#2}}\Aseq\Bseq\]
So far, I have not seen the need for a \seqmap3 in practice. A \seqzip might be more general, since it could be iterated.
\seqmap3
\seqzip
alongside to
\seqmap
. The application is e.g. unification problems: There we have things like A1=B2 & ... & An=Bn and I would like to writeSo far, I have not seen the need for a
\seqmap3
in practice. A\seqzip
might be more general, since it could be iterated.