summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex/example/background/functions.sms
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/example/background/functions.sms')
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/functions.sms13
1 files changed, 13 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.sms b/Master/texmf-dist/doc/latex/stex/example/background/functions.sms
new file mode 100644
index 00000000000..ee824b72754
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.sms
@@ -0,0 +1,13 @@
+\begin{module}[id=functions]%
+\symdef[assocarg=1]{cart}[1]{\assoc[p=500]{\times}{#1}}%
+\symdef{fun}[3]{\mixfixiii[p=200]{}{#1}{\colon}{#2}{\rightarrow}{#3}{}}%
+\symdef{inset}[2]{\infix[p=650]{\in}{#1}{#2}}%
+\symdef[name=sseteq]{sseteqOp}{\subseteq} %
+\symdef{sseteq}[2]{\infix[p=300]\sseteqOp{#1}{#2}} %
+\symdef{tup}[1]{\langle#1\rangle}%
+\symdef{cart}[1]{\assoc\times{#1}}%
+\symdef[name=setdiff]{setdiffOp}{\backslash}%
+\symdef{setdiff}[2]{\mixfixii[p=600]{}{#1}\setdiffOp{#2}{}} %
+\symdef[assocarg=1]{set}[1]{\mixfixa[nobrackets]{\{}{#1}{\}},}%
+\symdef{setst}[2]{\mixfixii[nobrackets]{\{}{#1}{\,\mid\,}{#2}{\}}}%
+\end{module}%