summaryrefslogtreecommitdiff
path: root/latex
diff options
context:
space:
mode:
Diffstat (limited to 'latex')
-rw-r--r--latex/naproche.sty10
-rw-r--r--latex/stdlib.tex2
2 files changed, 12 insertions, 0 deletions
diff --git a/latex/naproche.sty b/latex/naproche.sty
index 7ef2359..5ca673d 100644
--- a/latex/naproche.sty
+++ b/latex/naproche.sty
@@ -100,6 +100,7 @@
\newcommand{\memrel}[1]{{\in_{#1}}}
\newcommand{\monusNat}{-_{\naturals}}
\newcommand{\naturals}{\mathcal{N}}
+\newcommand{\naturalsPlus}{\mathcal{N}_{+}}
\newcommand{\notmeets}{\mathrel{\not\meets}}
\newcommand{\pow}[1]{\fun{Pow}(#1)}
\newcommand{\precedes}{<}
@@ -133,6 +134,14 @@
\newcommand{\zero}{0}
\newcommand{\one}{1}
\newcommand{\rmul}{\cdot}
+\newcommand{\inv}[1]{#1^{-1}}
+\newcommand{\rfrac}[2]{\frac{#1}{#2}}
+\newcommand{\rationals}{\mathcal{Q}}
+\newcommand{\rminus}{-_{\mathcal{R}}}
+\newcommand{\seq}[2]{\{#1, ... ,#2\}}
+\newcommand{\indexx}[2]{index_{#1}(#2)}
+\newcommand{\indexset}[2]{#1}
+
\newcommand\restrl[2]{{% we make the whole thing an ordinary symbol
@@ -166,6 +175,7 @@
\newcommand{\closure}[2]{\fun{cl}_{#2}{#1}}
\newcommand{\frontier}[2]{\fun{fr}_{#2}{#1}}
\newcommand{\neighbourhoods}[2]{\textsf{N}_{#2}{#1}}
+\newcommand{\neighbourhoodsSet}[2]{\textsf{N}_{SET #2}{#1}}
\newcommand{\disconnections}[1]{\fun{Disconnections}{#1}}
\newcommand{\teezero}{\ensuremath{T_0}} % Kolmogorov
diff --git a/latex/stdlib.tex b/latex/stdlib.tex
index dba42a2..2faa267 100644
--- a/latex/stdlib.tex
+++ b/latex/stdlib.tex
@@ -46,4 +46,6 @@
\input{../library/topology/basis.tex}
\input{../library/topology/disconnection.tex}
\input{../library/numbers.tex}
+ \input{../library/topology/urysohn.tex}
+ \input{../library/wunschzettel.tex}
\end{document}