diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-09-16 11:34:01 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-09-16 11:34:01 +0200 |
| commit | 588c6ab14184cab4bb7df89def641acaafe3b7eb (patch) | |
| tree | da958f5a94676aa7ab557c1ee9b5c4fdc38ecf8a /latex/naproche.sty | |
| parent | 640fe16eaab00ea29046ef18e6f751571d923eaa (diff) | |
working commit
Diffstat (limited to 'latex/naproche.sty')
| -rw-r--r-- | latex/naproche.sty | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/latex/naproche.sty b/latex/naproche.sty index 5ca673d..1a8afb6 100644 --- a/latex/naproche.sty +++ b/latex/naproche.sty @@ -40,6 +40,7 @@ \newtheorem{remark}[theoremcount]{Remark} \newtheorem{signature}[theoremcount]{Signature} \newtheorem{theorem}[theoremcount]{Theorem} +\newtheorem{inductive}[theoremcount]{Inductive} % Theorem environments without numbering. \newtheorem*{quotedaxiom}{Axiom} @@ -139,9 +140,22 @@ \newcommand{\rationals}{\mathcal{Q}} \newcommand{\rminus}{-_{\mathcal{R}}} \newcommand{\seq}[2]{\{#1, ... ,#2\}} -\newcommand{\indexx}[2]{index_{#1}(#2)} -\newcommand{\indexset}[2]{#1} - +\newcommand{\indexx}[2][]{index_{#1}(#2)} +\newcommand{\indexxset}[1]{#1} +\newcommand{\topoBasisReals}{\mathbb{B}_{\mathcal{R}}} +\newcommand{\intervalopen}[2]{(#1, #2)} +\newcommand{\intervalclosed}[2]{[#1, #2]} +\newcommand{\epsBall}[2]{\mathcal{B}_{#1,#2}} +\newcommand{\realsplus}{\reals_{+}} +\newcommand{\rless}{<} +\newcommand{\two}{2} +\newcommand{\powerOfTwoSet}{\mathbb{P}_{2^{}}} +\newcommand{\pot}{\powerOfTwoSet} +\newcommand{\chain}[1]{#1} +\newcommand{\refine}{\text{ finer than }} +\newcommand{\abs}[1]{\left\lvert#1\right\rvert} +\newcommand{\realsminus}{\reals_{-}} +\newcommand{\at}[2]{#1(#2)} \newcommand\restrl[2]{{% we make the whole thing an ordinary symbol |