summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--main.tex14
1 files changed, 13 insertions, 1 deletions
diff --git a/main.tex b/main.tex
index f02720b..09e8bed 100644
--- a/main.tex
+++ b/main.tex
@@ -226,7 +226,19 @@
\newcommand\encode[1]{\llcorner {#1} \lrcorner}
%% Tuples
-\DeclarePairedDelimiter\tuple{\langle}{\rangle}
+\DeclarePairedDelimiter\rawtuple{\langle}{\rangle}
+\NewDocumentCommand\domultituple{mm}{%
+ \langle & {#1} \cr
+ , & {#2} \cr
+ \rangle &
+}
+\NewDocumentCommand\multituple{>{\SplitArgument{1}{,}}m}{{%
+ \arraycolsep=0.2em
+ \begin{array}[t]{rl}
+ \domultituple#1
+ \end{array}%
+}}
+\NewDocumentCommand\tuple{s}{\IfBooleanTF{#1}{\multituple}{\rawtuple}}
%% Naturals
\newcommand\nat{\ensuremath{\mathsf{N}}}