From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 2 Sep 2019 13:46:59 +0900 Subject: Initial commit --- .../latex/contrib/stex/example/background/Makefile | 9 + .../latex/contrib/stex/example/background/all.pdf | Bin 0 -> 57294 bytes .../latex/contrib/stex/example/background/all.tex | 12 ++ .../stex/example/background/functions.omdoc | 187 +++++++++++++++++++++ .../contrib/stex/example/background/functions.pdf | Bin 0 -> 48605 bytes .../contrib/stex/example/background/functions.tex | 22 +++ .../latex/contrib/stex/example/background/post.tex | 1 + .../latex/contrib/stex/example/background/pre.tex | 8 + .../contrib/stex/example/background/reals.pdf | Bin 0 -> 53143 bytes .../contrib/stex/example/background/reals.tex | 20 +++ 10 files changed, 259 insertions(+) create mode 100644 macros/latex/contrib/stex/example/background/Makefile create mode 100644 macros/latex/contrib/stex/example/background/all.pdf create mode 100644 macros/latex/contrib/stex/example/background/all.tex create mode 100644 macros/latex/contrib/stex/example/background/functions.omdoc create mode 100644 macros/latex/contrib/stex/example/background/functions.pdf create mode 100644 macros/latex/contrib/stex/example/background/functions.tex create mode 100644 macros/latex/contrib/stex/example/background/post.tex create mode 100644 macros/latex/contrib/stex/example/background/pre.tex create mode 100644 macros/latex/contrib/stex/example/background/reals.pdf create mode 100644 macros/latex/contrib/stex/example/background/reals.tex (limited to 'macros/latex/contrib/stex/example/background') diff --git a/macros/latex/contrib/stex/example/background/Makefile b/macros/latex/contrib/stex/example/background/Makefile new file mode 100644 index 0000000000..67b4dc3d18 --- /dev/null +++ b/macros/latex/contrib/stex/example/background/Makefile @@ -0,0 +1,9 @@ +STEXDIR = ../.. +TARGET = all.tex +BUTFILES = pre.tex post.tex +MODSLIBDIR = . +BIBINPUTS = $(PREFIX)/lib/bib: + +include $(STEXDIR)/lib/make/Makefile.vars +all: pdf mpdf +include $(STEXDIR)/lib/make/Makefile.in diff --git a/macros/latex/contrib/stex/example/background/all.pdf b/macros/latex/contrib/stex/example/background/all.pdf new file mode 100644 index 0000000000..debf135663 Binary files /dev/null and b/macros/latex/contrib/stex/example/background/all.pdf differ diff --git a/macros/latex/contrib/stex/example/background/all.tex b/macros/latex/contrib/stex/example/background/all.tex new file mode 100644 index 0000000000..27df61d1e6 --- /dev/null +++ b/macros/latex/contrib/stex/example/background/all.tex @@ -0,0 +1,12 @@ +\documentclass{omdoc} +\usepackage{stex} +\usepackage{hyperref,amssymb} +\defpath{backmods}{../background} +\begin{document} +\input{functions} +\input{reals} +\end{document} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: t +%%% End: diff --git a/macros/latex/contrib/stex/example/background/functions.omdoc b/macros/latex/contrib/stex/example/background/functions.omdoc new file mode 100644 index 0000000000..72adb2e3b2 --- /dev/null +++ b/macros/latex/contrib/stex/example/background/functions.omdoc @@ -0,0 +1,187 @@ + + + + + + Functions + + + + + + + + + + + + + + + + × + + + + + + + + + + + + + + + + + + : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + × + + + + + + + + + + + + \ + + + + + + + + + + + + + + \ + + + + + + + + + + + + + + + { + + + , + + + + } + + + + + + + + + + + + + { + + + + } + + + + + +

A function is a left-total, right-unique relation in

+
+
+
+
diff --git a/macros/latex/contrib/stex/example/background/functions.pdf b/macros/latex/contrib/stex/example/background/functions.pdf new file mode 100644 index 0000000000..50567084b3 Binary files /dev/null and b/macros/latex/contrib/stex/example/background/functions.pdf differ diff --git a/macros/latex/contrib/stex/example/background/functions.tex b/macros/latex/contrib/stex/example/background/functions.tex new file mode 100644 index 0000000000..d4ac497685 --- /dev/null +++ b/macros/latex/contrib/stex/example/background/functions.tex @@ -0,0 +1,22 @@ +\begin{omgroup}[id=sec.functions,creators=miko]{Functions} +\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}{\}}} +\begin{definition}[id=functions.def] + A {\defi{function}} $\fun{f}AB$ is a left-total, right-unique relation in $\cart{A,B}$ +\end{definition} +\end{module} +\end{omgroup} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: "all" +%%% End: diff --git a/macros/latex/contrib/stex/example/background/post.tex b/macros/latex/contrib/stex/example/background/post.tex new file mode 100644 index 0000000000..6b47932f52 --- /dev/null +++ b/macros/latex/contrib/stex/example/background/post.tex @@ -0,0 +1 @@ +\end{document} diff --git a/macros/latex/contrib/stex/example/background/pre.tex b/macros/latex/contrib/stex/example/background/pre.tex new file mode 100644 index 0000000000..59f9473ea4 --- /dev/null +++ b/macros/latex/contrib/stex/example/background/pre.tex @@ -0,0 +1,8 @@ +\documentclass{omdoc} +\usepackage{stex,amssymb,lststex} +\usepackage{hyperref} +\def\omdoc{OMDoc} +\def\latexml{LaTeXML} +\defpath{backmods}{../background} +% \baseURI[\backmods{}]{http://linkeddata.tntbase.org/stex} +% \coolurion diff --git a/macros/latex/contrib/stex/example/background/reals.pdf b/macros/latex/contrib/stex/example/background/reals.pdf new file mode 100644 index 0000000000..4201a59ce1 Binary files /dev/null and b/macros/latex/contrib/stex/example/background/reals.pdf differ diff --git a/macros/latex/contrib/stex/example/background/reals.tex b/macros/latex/contrib/stex/example/background/reals.tex new file mode 100644 index 0000000000..9bcba08ab8 --- /dev/null +++ b/macros/latex/contrib/stex/example/background/reals.tex @@ -0,0 +1,20 @@ +\begin{omgroup}[id=sec.reals]{Real Numbers} +\begin{module}[id=reals] +\symdef{RealNumbers}{\mathbb{R}} +\symdef{absval}[1]{\mixfixi[p=2000]|{#1}|} +\symdef{rfrac}[2]{\frac{#1}{#2}} + +\begin{definition}[id=reals.def] + We denote the set of {\defii{real}{numbers}} we all know and love with + $\RealNumbers$. +\end{definition} + +\begin{definition}[id=absval.def] + The absolute value $\absval{r}$ of a real number $r$. +\end{definition} +\end{module} +\end{omgroup} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: "all" +%%% End: -- cgit v1.2.3