diff options
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.sms | 13 |
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}% |