diff options
Diffstat (limited to 'Master/texmf-dist')
14 files changed, 1853 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/mathsemantics/Contributing.md b/Master/texmf-dist/doc/latex/mathsemantics/Contributing.md new file mode 100644 index 00000000000..564cd295474 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mathsemantics/Contributing.md @@ -0,0 +1,51 @@ +# Contributing to `MathSemantics.sty` + +First, thanks for taking the time to contribute. +Any contribution is appreciated and welcome. + +The following is a set of guidelines to [`MathSemantics.sty`](https://github.com/kellertuer/MathSemantics.sty). + +- [Contributing to `MathSemantics.sty`](#contributing-to-mathsemanticssty) + - [I just have a question](#i-just-have-a-question) + - [How can I file an issue?](#how-can-i-file-an-issue) + - [How can I contribute?](#how-can-i-contribute) + - [Add a missing command](#add-a-missing-command) + - [Provide a new abbreviation or a name](#provide-a-new-abbreviation-or-a-name) + - [Provide a new command](#provide-a-new-command) + - [Code style](#code-style) + +## I just have a question + +The developers can most easily be reached in the GitHub Discussions at <https://github.com/kellertuer/MathSemantics.sty/discussions> + +## How can I file an issue? + +If you found a bug or want to propose a feature, we track our issues within the [GitHub repository](https://github.com/kellertuer/MathSemantics.sty/issues). + +## How can I contribute? + +### Add a missing command + +If you have a semantic command, and abbreviation or a syntactic sugar that fits this package, feel free to add it. contribution. + +### Provide a new abbreviation or a name + +Abbreviations are all defined in `mathsemantics-abbreviations.sty`. +They are stored grouped by language and ordered alphabetically by command. Remember to also add a line in the Abbreviations section in the `mathsemantics-documentation.tex` + +### Provide a new command + +Since commands might be a little complex from time to time, we often use `\NewDocumentCommand` to define them. Please remember to add a documentation in the source code above the command. + +Usually within a file (like `mathsemantics-semantic.sty` or `mathsemantics-manifold.sty`) first commands are defined, then math operators and symbols. + +If you define a command that uses a symbol, provide that as a command as well, so it can easily be changed without redefining the whole (maybe complicated) command. One example is the command `\geodesic` and the `\geodesicSymbol`. + +Remember to add an entry in the corresponding section in the documentation as well. Such an entry should explain all possible parameters, also the optional one. It should also provide an example usage of every parameter/setting that can be used. There is both a `\codeExample` as well as a `\mathCodeExample` example command that take one argument, which is both rendered as code and its resulting look. + +### Code style + +- the first optional parameter `[]` should usually be used to scale brackets appearing in a command and maybe also internal elements, like the `\mid` in `\setDef`. +- Commands are written in `CamelCase`, where the first letter might or might not be capitalised depending on the context +- The syntax helpers (Section 4.2 in the documentation) might be useful when parts should be enclosed in parenthesis or other delimiters +- For every command, the goal should be that the resulting mathematics is easier readable afterwards. diff --git a/Master/texmf-dist/doc/latex/mathsemantics/LICENSE b/Master/texmf-dist/doc/latex/mathsemantics/LICENSE new file mode 100644 index 00000000000..17885e398aa --- /dev/null +++ b/Master/texmf-dist/doc/latex/mathsemantics/LICENSE @@ -0,0 +1,21 @@ +MIT License + +Copyright (c) 2022 Ronny Bergmann, Roland Herzog + +Permission is hereby granted, free of charge, to any person obtaining a copy +of this software and associated documentation files (the "Software"), to deal +in the Software without restriction, including without limitation the rights +to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +copies of the Software, and to permit persons to whom the Software is +furnished to do so, subject to the following conditions: + +The above copyright notice and this permission notice shall be included in all +copies or substantial portions of the Software. + +THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +SOFTWARE. diff --git a/Master/texmf-dist/doc/latex/mathsemantics/README.md b/Master/texmf-dist/doc/latex/mathsemantics/README.md new file mode 100644 index 00000000000..bcec0369da1 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mathsemantics/README.md @@ -0,0 +1,38 @@ +# MathSemantics.sty + +[![documentation](https://badgen.net/badge/documentation/pdf/green)](https://ronnybergmann.net/MathSemantics.sty/mathsemantics-documentation.pdf) +![LaTeX](https://badgen.net/badge/language/LaTeX/blue) +[![GitHub license](https://badgen.net/github/license/kellertuer/MathSemantics.sty)](https://github.com/kellertuer/MathSemantics.sty/blob/master/LICENSE) + + +This LaTeX package `mathsemantics.sty` provides both syntactic and semantic helpers to typeset math in LaTeX. The syntactic layer eases typesetting of formular in general, while the semantic layer provides commands like `\inner{x}{y}` to unify + typesetting of inner products. These not only unify typesetting of math formulae but also allow to easily adapt Notation if a user prefers to. +The semantic layer is split into topics. + +## Example + +Instead of always writing + +```latex +\lVert x \rVert +``` + +for the norm and maybe having to manually increase _both_ delimiters for example in + +```latex +\Bigr\lVert \frac{x}{2} \Bigr\rVert +``` + +with the commands from this package this simplifies to + +```latex +\norm{x} +``` + +and + +```latex +\norm[Big]{\frac{1}{2}} +``` + +For a comprehensive overview over all commands, see the [mathsemantics-documentation.pdf](https://ronnybergmann.net/MathSemantics.sty/mathsemantics-documentation.pdf). diff --git a/Master/texmf-dist/doc/latex/mathsemantics/mathsemantics-documentation-local.sty b/Master/texmf-dist/doc/latex/mathsemantics/mathsemantics-documentation-local.sty new file mode 100644 index 00000000000..87ff66da0b4 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mathsemantics/mathsemantics-documentation-local.sty @@ -0,0 +1,106 @@ +% commands used in the docs. +\ProvidesPackage{mathsemantics-documentation-local} +\RequirePackage{fontawesome5} +% Load the metalogo package (which provides the \XeTeX command) +\RequirePackage{metalogo} + +\RequirePackage{xcolor} +\RequirePackage{lineno} +\RequirePackage{scrdate} +\RequirePackage{lastpage} +\RequirePackage{scrlayer-scrpage} +\RequirePackage{stmaryrd} +\RequirePackage{enumitem} +\RequirePackage{ccicons} +\usepackage[useregional]{datetime2} +\RequirePackage{minted} +\usemintedstyle{vs} +% load fonts +\RequirePackage{microtype} +\RequirePackage[proportional]{libertine} +\RequirePackage[libertine,liby]{newtxmath} +\RequirePackage[scaled=0.95,varqu,varl]{inconsolata} + +\RequirePackage{hyperref} +\RequirePackage[nameinlink,capitalize,noabbrev]{cleveref} +% Load Package - after minted +\RequirePackage[shortbb]{mathsemantics} + +\definecolor{TolMutedBlue}{HTML}{332288} +\definecolor{TolMutedGreen}{HTML}{117733} +\definecolor{TolMutedWine}{HTML}{882255} + +\crefformat{footnote}{#2\footnotemark[#1]#3} +\hypersetup{ + pdfpagemode=UseOutlines, + colorlinks=true, + linkcolor=TolMutedBlue, + filecolor=TolMutedWine, + urlcolor=TolMutedWine, + citecolor=TolMutedGreen, + plainpages=false, + hypertexnames=false +} + + +% Set up the appearance of author, date, title, and section headings etc. +\renewcommand*{\sectfont}{\color{TolMutedBlue}\sffamily} +\setkomafont{author}{\large\normalfont\sffamily} +\setkomafont{date}{\large\normalfont\sffamily} +\setkomafont{title}{\color{TolMutedBlue}\normalfont\sffamily\scshape} +\addtokomafont{pageheadfoot}{\normalfont\sffamily\footnotesize} +\addtokomafont{section}{\scshape} +\addtokomafont{subsection}{\scshape} +\addtokomafont{subsubsection}{\scshape\itshape} +\pagestyle{scrheadings} +\KOMAoptions{headsepline=true} +\KOMAoptions{footsepline=true} +\KOMAoptions{plainfootsepline=true} + +\rohead[]{mathsemantics.sty} +\lehead[]{R. Bergmann} +\refoot[]{\ISOToday} +\cofoot[]{\ccbysa} +\ofoot[page~\thepage~of~\pageref*{LastPage}]{page~\thepage~of~\pageref*{LastPage}} +\useosf + +% Define a command which displays a command inline +\NewDocumentCommand\codeCommand{v}{\mintinline{LaTeX}|#1|} + +% Define a command which displays code and renders its results +\NewDocumentCommand\codeExample{v}{% + \faIcon{code}\hspace{.25cm}% + \mintinline{LaTeX}{#1} + \hspace{.5cm}\faEye[regular]\hspace{.25cm}% + \scantokens{#1\noexpand}% +} + +% Define a command which just renders the result but does not display the code +\NewDocumentCommand\justCodeExample{v}{% + \faEye[regular]\hspace{.25cm}% + \scantokens{#1\noexpand}% +} + +% Define a command which displays code and renders its results in math mode +\NewDocumentCommand\mathCodeExample{v}{% + \faIcon{code}$_{\hspace{-.5ex}\text{\color{TolMutedGreen}\faIcon{dollar-sign}}}$\hspace{.125cm}% + \mintinline{LaTeX}{#1} + \hspace{.5cm} + \faEye[regular]\hspace{.125cm}\scantokens{$\displaystyle #1\noexpand$}% +} + +\newcommand{\mathsemanticsWarning}{{ \color{TolVibrantOrange}\faIcon{exclamation-triangle}\ }} +\newcommand{\file}[1]{\nolinkurl{#1}} + +% Define a command which displays colors +\NewDocumentCommand\colorExample{v}{% + \faIcon{tint}% + \hspace{.25cm} + \makebox[.3\textwidth][l]{\textcolor{#1}{#1}}% + \hspace{.5cm}% + \colorbox{#1}{\textcolor{white}{\faIcon{fill}}\hspace{.25cm}#1\hspace{.25cm}}% +} + +% Define a new description type list +\newenvironment{commandlist}{\begin{description}[style=multiline,leftmargin=.25\textwidth,font=\texttt]}{\end{description}} +\newenvironment{dictionarylist}{\begin{description}[style=multiline,leftmargin=.5\textwidth,font=\textbf, topsep=0pt,itemsep=-1.1ex,partopsep=1ex,parsep=1ex]}{\end{description}} diff --git a/Master/texmf-dist/doc/latex/mathsemantics/mathsemantics-documentation.pdf b/Master/texmf-dist/doc/latex/mathsemantics/mathsemantics-documentation.pdf Binary files differnew file mode 100644 index 00000000000..eb438346c69 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mathsemantics/mathsemantics-documentation.pdf diff --git a/Master/texmf-dist/doc/latex/mathsemantics/mathsemantics-documentation.tex b/Master/texmf-dist/doc/latex/mathsemantics/mathsemantics-documentation.tex new file mode 100644 index 00000000000..875f0a0b554 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mathsemantics/mathsemantics-documentation.tex @@ -0,0 +1,710 @@ +\documentclass[english,a4paper,DIV=12,parskip=full,oneside]{scrartcl} +\usepackage{mathsemantics-documentation-local} +\date{\today, v\,1.0.0} +\author{% + Ronny Bergmann\\[.25\baselineskip]% + \small\href{mailto:ronny.bergmann@ntnu.no}{ronny.bergmann@ntnu.no}\\[.125\baselineskip] + \small Department of Mathematical Sciences\\% + \small NTNU, Trondheim, Norway.% + \and + Roland Herzog\\[.25\baselineskip]% + \small\href{mailto:roland.herzog@iwr.uni-heidelberg.de}{roland.herzog@iwr.uni-heidelberg.de}\\[.125\baselineskip] + \small Interdisciplinary Center for Scientific Computing\\% + \small Heidelberg University, Germany.% + } +% Roland Herzog, Interdisciplinary Center for Scientific Computing, Heidelberg University, Germany +% Ronnny Bergmann, Department of Mathematical Sciences, NTNU, Trondheim, Norway +\title{MathSemantics.sty – Semantic Math Commands} +\begin{document} + \maketitle + \tableofcontents + \section{Introduction} + This package aims to provide semantic commands for ease of use in mathematics + to see better \emph{what} you semantically mean which should be distinct/split + from \emph{how} it is realised in \LaTeX. + + The package is a spin-off and developed in the suite of packages from the former numapde-group in Chemnitz, + see the original repository at \url{https://gitlab.hrz.tu-chemnitz.de/numapde-public/numapde-latex}. + + Throughout this documentation most commands are directly illustrated by examples, which are + both displayed as code (\faIcon{code} or \faIcon{code}$_{\hspace{-.5ex}\text{\color{TolMutedGreen}\faIcon{dollar-sign}}}$ for math examples) and its rendered result in \LaTeX\ (\faEye[regular]). + Two examples are\\ + \mathCodeExample{\bbR}\\ + and\\ + \codeExample{\eg} + + The aim is to first ease the use of some often used letters and low-level formats like + bold face letters \mathCodeExample{\bbR}, but also to provide high level commands that + make typing mathematics easier, for example using \mathCodeExample{\abs{\frac{1}{2}}} and \mathCodeExample{\abs[Big]{\frac{1}{2}}} + This is the main goal in \cref{sec:syntax} about syntactical commands for mathematics. + A next more support/helping section about abbreviations and names is \cref{sec:abbreviations}. + + The first main part on general semantic commands is \cref{sec:semantic}. + + While all these are loaded by default. The next part, \cref{sec:semantics-by-topic}, + introduces semantic commands for specific topics. + These are given in separate sub-packages and can be loaded if you work in this area and want to use the commands. + + The package should be loaded late, since it might overwrite a few commands, + currently most prominently \codeCommand{\d} which is overwritten by \mintinline{LaTeX}|cleveref| in case \mintinline{LaTeX}|minted| is loaded. + So for more flexibility, there is the alternative command \codeCommand{\dInt}. + + + + \section{Package Options} + \label{sec:package-options} + \begin{commandlist} + \item[shortbb] use shorter notations for the blackboard-bold math letters \codeCommand{\C, \K, \N, \Q, \R, \Z} + \end{commandlist} + + \section{Required Packages} + \label{sec:required-packages} + \begin{description} + \item[amssymb.sty] defines mathematical symbol fonts + \item[ifthen.sty] facilitates the definition of conditional commands + \item[ifxetex.sty] provides a way to check if a document is being processed by \XeTeX{} and company + \item[mathtools.sty] provides lots of improvements for math typesetting (includes \file{amsmath.sty}) + \item[xifthen.sty] extends \file{ifthen.sty} by adding new boolean conditions + \item[xparse.sty] provides a high-level interface to define new commands + \item[xspace.sty] adds space depending on context + \end{description} + + + \section{Syntax} + \label{sec:syntax} + + The \file{mathsemantics-syntax.sty} package provides mainly symbols and short commands, which can be used in semantic definitions for ease of notation. + They usually are rather simple commands without too many parameters. + + + \subsection{Letters} + \label{subsec:letters} + + \begin{commandlist} + \item[ba\ldots bz] lower-case \textbf{b}old-face letters \mathCodeExample{\br, \bf} + \item[bA\ldots bZ] upper-case \textbf{b}old-face letters \mathCodeExample{\bR, \bF} + \item[balpha\ldots bomega] lower-case \textbf{b}old-face Greek letters \mathCodeExample{\balpha,\boldeta} (the latter being an exception) + \item[bAlpha\ldots bOmega] upper-case \textbf{b}old-face Greek letters \mathCodeExample{\bGamma,\bDelta} + \item[bnull] \textbf{b}old-face zero \mathCodeExample{\bnull} + \item[bone] \textbf{b}old-face one \mathCodeExample{\bone} + \item[cA\ldots cZ] upper-case \textbf{c}alligraphic letters \mathCodeExample{\cM, \cN}\\ + \item[fA\ldots fZ] upper-case \textbf{f}raktur letters \mathCodeExample{\fM, \fN, \fX}\\ + \item[sA\ldots sZ] upper-case \textbf{s}cript letters \mathCodeExample{\sM, \sN, \sX}\\ + \item[va\ldots vz] lower-case letters with a \textbf{v}ector accent \mathCodeExample{\va,\vb} + \item[vA\ldots vZ] upper-case letters with a \textbf{v}ector accent \mathCodeExample{\vA,\vB} + \item[valpha\ldots vomega] lower-case Greek letters with a \textbf{v}ector accent \mathCodeExample{\valpha,\vbeta} + \item[vAlpha\ldots vOmega] upper-case Greek letters with a \textbf{v}ector accent \mathCodeExample{\vGamma,\vDelta} + \item[vnull] vector zero \mathCodeExample{\vnull} + \item[vone] vector one \mathCodeExample{\vone} + \item[bbA,...,bbZ] blackboard-bold uppercase letters\par\mathCodeExample{\bbC,\bbK,\bbN,\bbQ,\bbR,\bbS,\bbZ} + \\[.5\baselineskip] use the package option \codeCommand{shortbb} to introduce\\ + \mathCodeExample{\C,\K,\N,\Q,\R,\Z} if not already defined elsewhere (\ie they are not redefined, only \emph{provided}. + \end{commandlist} + + \subsection{Syntax Helpers}\label{subsec:syntax_helpers} + + \begin{commandlist} + \item[enclspacing] provides spacing after the opening and before the closing delimiters for \codeCommand{\enclose}. + This is by default set to be empty. + \item[enclose] is a command which encloses some content in scaled delimiters. + It is meant as a helper to facilitate the definition of other commands. + Its syntax is \codeCommand{\enclose[#1]{#2}{#3}{#4}}. + The first (optional) argument is used to scale the delimiters to the standard amsmath sizes.% + \footnote{\mintinline{LaTeX}|big|, \mintinline{LaTeX}|Big|, \mintinline{LaTeX}|bigg|, \mintinline{LaTeX}|Bigg| or \mintinline{LaTeX}|auto|, which uses \mintinline{LaTeX}|left| and \mintinline{LaTeX}|right| as well as \mintinline{LaTeX}|none| to easily deactivate brackets.\label{footnote:amsmath_sizes}} + The second and fourth arguments specify the opening and closing delimiters, respectively. + The third argument is the content to be enclosed. + \par\mathCodeExample{\enclose{[}{\dfrac{1}{2}}{]}} % chktex 9 + \par\mathCodeExample{\enclose[Big][{\dfrac{1}{2}}]} % chktex 9 + \par\mathCodeExample{\enclose[auto]{[}{\dfrac{1}{2}}{]}} % chktex 9 + \par\mathCodeExample{\enclose[none]{[}{\dfrac{1}{2}}{]}} % chktex 9 + + \textbf{Note 1.} \mintinline{LaTeX}|none| is merely meant for testing when having arguments + in brackets whether it is useful to omit them. You can also deactivate the absolute value + vertical lines this way, so \emph{use this option with care}. + + \textbf{Note 2.} This command should normally be used only in the definition of other commands. + For instance, \codeCommand{\abs} is using it internally. See \codeCommand{\paren} for the nicer command to use + \item[enclspacingSet] provides spacing before and after the center delimiter \codeCommand{\encloseSet}. + This is by default set to \codeCommand{\,}. + \item[encloseSet] is a command which encloses some content in scaled delimiters. + It is meant as a helper to facilitate the definition of other commands. + Its syntax is \codeCommand{\encloseSet#1]{#2}{#3}{#4}{#5}{#6}}. + The first (optional) argument is used to scale the delimiters including the center one to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second and sixth arguments specify the opening and closing delimiters, respectively. + The fourth argument specifies the center delimiter and + The third and fifth argument are the content to be enclosed. + \par\mathCodeExample{\encloseSet[big]{\{}{x\in\bbR}{|}{x>5}{\}}} % chktex 9 + \par\mathCodeExample{\encloseSet[auto]{\{}{x\in\bbR}{|}{x>\dfrac{1}{2}}{\}}} % chktex 9 + \\ + \textbf{Note.} This command should normally be used only in the definition of other commands. + For instance, \codeCommand{\setDef} is using it internally. + \item[paren] is an alternative to \codeCommand{\enclose}, with a different ordering of arguments. + Its syntax is \codeCommand{\paren[#1]{#2}{#3}{#4}}, which is simply mapped to \codeCommand{\enclose[#1]{#2}{#4}{#3}}. + \par\mathCodeExample{\paren[Big]{[}{]}{\dfrac{1}{2}}} + \par\mathCodeExample{\paren[Big][]{\dfrac{1}{2}}} + \par\mathCodeExample{\paren[auto]{[}{]}{\dfrac{1}{2}}} + \end{commandlist} + + \subsection{Spacing Helpers}\label{subsec:spacing_helpers} + + \begin{commandlist} + \item[clap] complements the standard \LaTeX\ commands \codeCommand{\llap} and \codeCommand{\rlap}. + These commands horizontally smash their arguments. + \par\codeExample{Let us \llap{smash} something.} + \par\codeExample{Let us \clap{smash} something.} + \par\codeExample{Let us \rlap{smash} something.} + \item[mathllap] corresponds to \codeCommand{\llap} in math mode. + \par\mathCodeExample{\sum_{\mathllap{1\le i\le j\le n}} X_{ij}} + \item[mathclap] corresponds to \codeCommand{\clap} in math mode. + \par\mathCodeExample{\sum_{\mathclap{1\le i\le j\le n}} X_{ij}} + \item[mathrlap] corresponds to \codeCommand{\rlap} in math mode. + \par\mathCodeExample{\sum_{\mathrlap{1\le i\le j\le n}} X_{ij}} + \item[mrep] stands for \emph{math replace} and it typesets an argument while reserving the space for another. + Its syntax is \codeCommand{\mrep[#1]{#2}{#3}} + The first (optional) argument is one of \codeCommand{{l,c,r}} and it is used to define the alignment. + \codeCommand{c} is the default. + \par\mathCodeExample{\mrep[l]{1}{-1}-1} + \par\mathCodeExample{\mrep[c]{1}{-1}-1} + \par\mathCodeExample{\mrep[r]{1}{-1}-1} + \end{commandlist} + + \section{Abbreviations} + \label{sec:abbreviations} + \subsection{English} + \begin{commandlist} + \item[aa] almost all \codeExample{\aa} + \item[ale] almost everywhere \codeExample{\ale} + \item[eg] exempli gratia (for example) \codeExample{\eg} + \item[etc] et cetera (and so on) \codeExample{\etc} + \item[ie] id est (id est) \codeExample{\ie} + \item[iid] independent and identically distributed \codeExample{\iid} + \item[spd] symmetric positive definite \codeExample{\spd} + \item[st] such that or subject to \codeExample{\st} + \item[wrt] with respect to \codeExample{\wrt} + \end{commandlist} + \subsection{German} + \begin{commandlist} + \item[bspw] beispielsweise (for example) \codeExample{\bspw} + \item[bzgl] bezüglich (with regard to) \codeExample{\bzgl} + \item[bzw] beziehungsweise (respectively) \codeExample{\bzw} + \item[Dah] Das heißt (That is, beginning of phrase) \codeExample{\Dah} + \item[dah] das heißt (that is) \codeExample{\dah} + \item[evtl] eventuell (possibly) \codeExample{\evtl} + \item[fs] fast sicher \codeExample{\fs} + \item[fue] fast überall \codeExample{\fue} + \item[IA] Im Allgemeinen (beginning of phrase) \codeExample{\IA} + \item[iA] im Allgemeinen \codeExample{\iA} + \item[idR] in der Regel \codeExample{\idR} + \item[IdR] In der Regel (beginning of phrase) \codeExample{\IdR} + \item[iW] im Wesentlichen \codeExample{\iW} + \item[IW] Im Wesentlichen (beginning of phrase) \codeExample{\IW} + \item[mE] meines Erachtens \codeExample{\mE} + \item[oBdA] ohne Beschränkung der Allgemeinheit \codeExample{\oBdA} + \item[OBdA] ohne Beschränkung der Allgemeinheit (beginning of phrase) \par\codeExample{\OBdA} + \item[og] oben genannt \codeExample{\og} + \item[oae] oder ähnliche \codeExample{\oae} + \item[so] siehe oben \codeExample{\so} + \item[ua] unter anderem \codeExample{\ua} + \item[Ua] Unter anderem (beginning of phrase) \codeExample{\Ua} + \item[ug] unten genannt \codeExample{\ug} + \item[usw] und so weiter (and so on) \justCodeExample{\usw} + \item[uU] unter Umständen \codeExample{\uU} + \item[UnU] Unter Umständen (beginning of phrase) \codeExample{\UnU} + \item[vgl] vergleiche (compare) \codeExample{\vgl} + \item[zB] zum Beisiel \codeExample{\zB} + \item[ZB] Zum Beispiel (beginning of phrase) \codeExample{\ZB} + \item[zHd] zu Händen \codeExample{\zHd} + \end{commandlist} + + \section{Names} + \begin{commandlist} + \item[adimat] \justCodeExample{\adimat} + \item[ampl] \justCodeExample{\ampl} + \item[BibTeX] \justCodeExample{\BibTeX} + \item[BibLaTeX] \justCodeExample{\BibLaTeX} + \item[cg] \justCodeExample{\cg} + \item[cpp] \justCodeExample{\cpp} + \item[cppmat] \justCodeExample{\cppmat} + \item[dolfin] \justCodeExample{\dolfin} + \item[dolfinplot] \justCodeExample{\dolfinplot} + \item[dolfinadjoint] \justCodeExample{\dolfinadjoint} + \item[doxygen] \justCodeExample{\doxygen} + \item[femorph] \justCodeExample{\femorph} + \item[fenics] \justCodeExample{\fenics} + \item[ffc] \justCodeExample{\ffc} + \item[fmg] \justCodeExample{\fmg} + \item[fortran] \justCodeExample{\fortran} + \item[gitlab] \justCodeExample{\gitlab} + \item[gmres] \justCodeExample{\gmres} + \item[gmsh] \justCodeExample{\gmsh} + \item[ipopt] \justCodeExample{\ipopt} + \item[libsvm] \justCodeExample{\libsvm} + \item[liblinear] \justCodeExample{\liblinear} + \item[macmpec] \justCodeExample{\macmpec} + \item[manifoldsjl] \justCodeExample{\manifoldsjl} + \item[manopt] \justCodeExample{\manopt} + \item[manoptjl] \justCodeExample{\manoptjl} + \item[mathematica] \justCodeExample{\mathematica} + \item[matlab] \justCodeExample{\matlab} + \item[maple] \justCodeExample{\maple} + \item[maxima] \justCodeExample{\maxima} + \item[metis] \justCodeExample{\metis} + \item[minres] \justCodeExample{\minres} + \item[mshr] \justCodeExample{\mshr} + \item[mvirt] \justCodeExample{\mvirt} + \item[numpy] \justCodeExample{\numpy} + \item[paraview] \justCodeExample{\paraview} + \item[pdflatex] \justCodeExample{\pdflatex} + \item[perl] \justCodeExample{\perl} + \item[petsc] \justCodeExample{\petsc} + \item[pymat] \justCodeExample{\pymat} + \item[python] \justCodeExample{\python} + \item[scikit] \justCodeExample{\scikit} + \item[scikitlearn] \justCodeExample{\scikitlearn} + \item[scipy] \justCodeExample{\scipy} + \item[sphinx] \justCodeExample{\sphinx} + \item[subgmres] \justCodeExample{\subgmres} + \item[subminres] \justCodeExample{\subminres} + \item[superlu] \justCodeExample{\superlu} + \item[svmlight] \justCodeExample{\svmlight} + \item[tritetmesh] \justCodeExample{\tritetmesh} + \item[ufl] \justCodeExample{\ufl} + \item[uqlab] \justCodeExample{\uqlab} + \item[viper] \justCodeExample{\viper} + \item[xml] \justCodeExample{\xml} + \end{commandlist} + + \section{Semantic Commands} + \label{sec:semantic} + Build upon Syntax from \cref{sec:syntax} this part provides semantic mathematical commands. + + \begin{commandlist} + \item[abs] absolute value. + Its syntax is \codeCommand{\abs[#1]{#2}}. + The first (optional) argument is used to scale the delimiters enclosing the arguments to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the argument. + \par\mathCodeExample{\abs{a}} + \par\mathCodeExample{\abs[Big]{\dfrac{1}{2}}} + \par\mathCodeExample{\abs[auto]{\dfrac{1}{2}}} + \item[aff] affine hull \mathCodeExample{\aff} + \item[arcosh] area hyperbolic cosine \mathCodeExample{\arcosh} + \item[arcoth] area hyperbolic cotangens \mathCodeExample{\arcoth} + \item[argmax] maximizer of a function + \mathCodeExample{\argmax_{x \in \bbR} f(x)} % chktex 6 + \item[Argmax] set of maximizers of a function + \mathCodeExample{\Argmax_{x \in \bbR} f(x)} % chktex 6 + \item[argmin] minimizer of a function + \mathCodeExample{\argmin_{x \in \bbR} f(x)} % chktex 6 + \item[Argmin] set of minimizers of a function + \mathCodeExample{\Argmin_{x \in \bbR} f(x)} % chktex 6 + \item[arsinh] area hyperbolic cotangens \mathCodeExample{\arsinh} + \item[artanh] area hyperbolic tangens \mathCodeExample{\artanh} + \item[bdiv] bold (meaning: vector) divergence of a matrix-valued function \mathCodeExample{\bdiv} + \item[ceil] integer larger or equal to input. + Its syntax is \codeCommand{\ceil[#1]{#2}}. + The first (optional) argument is used to scale the delimiters enclosing the arguments to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the argument. + \par\mathCodeExample{\ceil{a}} + \par\mathCodeExample{\ceil[Big]{\dfrac{1}{2}}} + \item[clconv] closure of the convex hull of a set \mathCodeExample{\clconv M} + \item[closure] closure of a set \mathCodeExample{\closure M} + \item[cofac] cofactor matrix \mathCodeExample{\cofac(A)} + \item[compactly] compact embedding of topological spaces \mathCodeExample{\compactly} + \item[cone] conic hull \mathCodeExample{\cone} + \item[conv] convex hull of a set \mathCodeExample{\conv M} + \item[corresponds] binary operator for correspondence \mathCodeExample{A\corresponds B} + \item[cov] covariance \mathCodeExample{\cov} + \item[curl] the curl operator \mathCodeExample{\curl} + \item[d, dInt] integral symbol with prepended space, as in + \par\mathCodeExample{\int_\bbR \exp(-x^2) \d x} + \\Since \codeCommand{\d} is often overridden, \codeCommand{\dInt} is the safe alternative + \item[dev] deviator of a matrix \mathCodeExample{\dev A} + \item[diag] diagonal matrix composed of entries in a vector, or diagonal of a matrix + \par\mathCodeExample{\diag(a)} + \par\mathCodeExample{\diag(A)} + \item[diam] diameter \mathCodeExample{\diam(M)} + \item[distOp] the mathematical operator denoting the distance + \par\mathCodeExample{\distOp} + \item[dist] distance from a point to a set. + Its syntax is \codeCommand{\dist[#1]{#2}{#3}} or \codeCommand{\dist[#1]{#2}}. + The first (optional) argument is used to scale the parentheses enclosing the argument to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the set. + The third argument denotes the point; it can be omitted. + The command \codeCommand{\distOp} is used to typeset the operator. + \par\mathCodeExample{\dist[Big]{\cC}{\dfrac{x}{2}}} + \par\mathCodeExample{\dist{\cC}} + \par\mathCodeExample{\dist} + \item[div] divergence \mathCodeExample{\div} + \item[Div] (row-wise) divergence \mathCodeExample{\Div} + \item[dom] domain \mathCodeExample{\dom} + \item[dotcup] distinct union \mathCodeExample{\dotcup} + \item[dprod] double contraction of matrices $A \dprod B = \sum_{i,j} A_{ij} B_{ij} = \trace(A^\transp B)$ + \par\mathCodeExample{A \dprod B} + \item[dual] duality pairing. + Its syntax is \codeCommand{\dual[#1]{#2}{#3}}. + The first (optional) argument is used to scale the delimiters enclosing the arguments to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the first factor. + The third argument denotes the second factor. + \par\mathCodeExample{\dual{x^*}{x}} + \par\mathCodeExample{\dual[Big]{x^*}{\dfrac{1}{2}}} + \item[e] Euler's number \mathCodeExample{\e} + \item[embed] embedding of topological spaces \mathCodeExample{\embed} + \item[embeds] synonym of \codeCommand{\embed} \mathCodeExample{\embeds} + \item[epi] epigraph \mathCodeExample{\epi} + \item[eR] extended real line \mathCodeExample{\eR = \bbR \cup \{\pm \infty\}} + \item[essinf] essential infimum \par \mathCodeExample{\displaystyle\essinf_{x \in \bbR} f(x)} % chktex 1 chktex 6 + \item[esssup] essential supremum \par \mathCodeExample{\displaystyle\esssup_{x \in \bbR} f(x)} % chktex1 chktex 6 + \item[file] typesets a file name (using \codeCommand{nolinkurl}) + \par\codeExample{\file{test.txt}} + \item[floor] integer less or equal to input. + Its syntax is \codeCommand{\floor[#1]{#2}}. + The first (optional) argument is used to scale the delimiters enclosing the arguments to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the argument. + \par\mathCodeExample{\floor{a}} + \par\mathCodeExample{\floor[Big]{\dfrac{1}{2}}} + \item[grad] gradient (of a function) \mathCodeExample{\grad F} %chktex 1 + \item[Graph] graph of a function \mathCodeExample{\Graph} + \item[id] identity operator \mathCodeExample{\id} + \item[image] image of a function \mathCodeExample{\image} + \item[inj] injectivity (radius) \mathCodeExample{\inj} + \item[inner] inner product. + Its syntax is \codeCommand{\inner[#1]{#2}{#3}}. + The first (optional) argument is used to scale the parentheses enclosing the arguments to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the first factor. + The third argument denotes the second factor. + \par\mathCodeExample{\inner{a}{b}} + \par\mathCodeExample{\inner[Big]{a}{\dfrac{b}{2}}} + \item[interior] \mathCodeExample{\interior} + \item[jump] jump of a quantity, \eg, across a finite element facet. + Its syntax is \codeCommand{\jump[#1]{#2}}. + The first (optional) argument is used to scale the delimiters enclosing the arguments to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the argument. + \par\mathCodeExample{\jump{a}} + \par\mathCodeExample{\jump[Big]{\dfrac{1}{2}}} + \item[laplace] the Laplace operator \mathCodeExample{\laplace u} %chktex 1 + \item[lin] linear hull of a set of vectors \mathCodeExample{\lin\{v_1,v_2\}} + \item[norm] norm of a vector. + Its syntax is \codeCommand{\norm[#1]{#2}}. + The first (optional) argument is used to scale the delimiters enclosing the arguments to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the argument. + \par\mathCodeExample{\norm{a}} + \par\mathCodeExample{\norm[Big]{\dfrac{c}{2}}} + \par\mathCodeExample{\norm[auto]{\dfrac{c}{2}}} + % + \item[projOp] the mathematical operator denoting the projection \mathCodeExample{\projOp} + \par\mathCodeExample{\projOp} + \item[proj] projection onto a set. + Its syntax is \codeCommand{\proj[#1]{#2}(#3)} or \codeCommand{\proj[#1]{#2}}. + The first (optional) argument is used to scale the parentheses enclosing the argument to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the set and can also be left out. + The third argument denotes the point; it can be omitted. + The command \codeCommand{\projOp} is used to typeset the operator. + \par\mathCodeExample{\proj} + \par\mathCodeExample{\proj(x)} + \par\mathCodeExample{\proj{\cC}} + \par\mathCodeExample{\proj{\cC}(x)} + \par\mathCodeExample{\proj[Big](\dfrac{x}{2})} + \par\mathCodeExample{\proj[Big]{\cC}(\dfrac{x}{2})} + \item[proxOp] the mathematical operator denoting the proximal map + \par\mathCodeExample{\proxOp} + \item[prox] the proximal operator of a function. + Its syntax is \codeCommand{\prox[#1]{#2}(#3)} or \codeCommand{\prox[#1]{#2}}. + The first (optional) argument is used to scale the parentheses enclosing the argument to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the set. + The third argument denotes the point; it can be omitted. + The command \codeCommand{\proxOp} is used to typeset the operator. + \par\mathCodeExample{\prox} + \par\mathCodeExample{\prox{\lambda F}} % chktex 1 + \par\mathCodeExample{\prox{\lambda F}(x)} % chktex 1 + \par\mathCodeExample{\prox[auto]{\lambda F}(\dfrac{x}{2})} %chktex 1 + \item[rank] rank (of a matrix) \mathCodeExample{\rank} + \item[range] range of some operator \mathCodeExample{\range} + \item[restr] restriction/evaluation. + Its syntax is \codeCommand{\restr[#1]{#2}{#3}}. + The first (optional) argument is used to scale the deliminters enclosing the arguments to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the argument to be restricted/evaluated. + The third argument denotes the restriction set/evaluation point. + \par\mathCodeExample{\restr[auto]{\frac{\d}{\d t}(f \circ \gamma)(t)}{t=0}} + \item[ri] relative interior \mathCodeExample{\ri} + + + \item[setDef] define a set, where \codeCommand{\setMid} serves as the center divider. + Its syntax is \codeCommand{\setDef[#1]{#2}{#3}}. + The first (optional) argument is used to scale the parentheses enclosing the argument and the center divider to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the left part of the definition, naming the potential elements of the set being defined. + The third argument denotes the condition to include the elements in the set. + \par\mathCodeExample{\setDef{x\in\bbR}{x>5}}\\ + \par\mathCodeExample{\setDef[Big]{x\in\bbR}{x>\dfrac{1}{2}}} + \item[setMid] divider within \codeCommand{\setDef} (set definitions). + \\This defaults to \mathCodeExample{\setMid}. + \item[sgn] sign \mathCodeExample{\sgn} + \item[Sgn] sign (set valued) \mathCodeExample{\Sgn} + \item[supp] support (of a function) \mathCodeExample{\supp F} % chktex 1 + \item[sym] symmetric part (of a matrix) \mathCodeExample{\sym A} % chktex 1 + \item[trace] trace (of a matrix) \mathCodeExample{\trace A} % chktex 1 + \item[transp] transpose of a vector or matrix. + \par\mathCodeExample{A^\transp} + \item[transposeSymbol] symbol to use for the transpose + \par\mathCodeExample{\transposeSymbol} + \item[var] variance \mathCodeExample{\var} + \item[weakly] weak convergence of a sequence \mathCodeExample{\weakly} + \item[weaklystar] weak star convergence of a sequence \mathCodeExample{\weaklystar} + \end{commandlist} + + \section{Additional Semantics by Topic}\label{sec:semantics-by-topic} + +While semantic commands might be suitable for all mathematical topics, the following subsections collect commands which are most useful in one particular mathematical area and hence might clutter the general semantic file. +Any semantic topic files should always build on \file{mathsemantics-semantic.sty}. + + +\subsection{Manifolds: \texorpdfstring{\file{mathsemantics-manifolds.sty}}{mathsemantics-manifolds.sty}}\label{subsec:manifolds} + +The semantic file \file{mathsemantics-manifolds.sty} collects definitions and notations for Riemannian manifolds. +\begin{commandlist} + \item[bitangentSpace] the bi tangent space. + Its syntax is \codeCommand{\bitangent{#1}[#2]}. + The first argument denotes the base point. + The second (optional) argument denotes the manifold, which defaults to $\cM$. + \par\mathCodeExample{\bitangentSpace{p}} + \par\mathCodeExample{\bitangentSpace{q}[\cN]} + \item[bitangentSpaceSymbol] the symbol used within \codeCommand{\bitangentSpace}. + \par\mathCodeExample{\bitangentSpaceSymbol} + \item[cotangentSpace] the cotangent space. + Its syntax is \codeCommand{\cotangentSpace{#1}[#2]}. + The first argument denotes the base point. + The second (optional) argument denotes the manifold, which defaults to $\cM$. + \par\mathCodeExample{\cotangentSpace{p}} + \par\mathCodeExample{\cotangentSpace{q}[\cN]} + \item[cotangentBundle] the cotangent bundle. + Its syntax is \codeCommand{\cotangentBundle[#1]}. + The (optional) argument denotes the manifold, which defaults to $\cM$. + \par\mathCodeExample{\cotangentBundle} + \par\mathCodeExample{\cotangentBundle[\cN]} + \item[cotangentSpaceSymbol] the symbol used within \codeCommand{\cotangent}. + \par\mathCodeExample{\cotangentSpaceSymbol} + \item[covariantDerivative] is the covariant derivative. + Its syntax is \codeCommand{\covariantDerivative{#1}[#2]}. + The first argument is the vector (or vector field) determining the direction of differentiation. + The second (optional) argument denotes the tensor field being differentiated. + \par\mathCodeExample{\covariantDerivative{X}{Y}} + \item[covariantDerivativeSymbol]\hspace{4em}the symbol used for the covariant derivative \codeCommand{\covariantDerivative}. + \par\mathCodeExample{\covariantDerivativeSymbol} + \item[exponential] the exponential map. + Its syntax is \codeCommand{\exponential[#1]{#2}(#3)}. + The first argument can be used to scale the third. + The second argument denotes the base point and is mandatory. + The third argument denotes the tangent vector, which is optional, but if provided, the argument is put in brackets. + The first following example illustrates the case, where no brackets are put. + Note that the space is mandatory. + \par\mathCodeExample{\exponential{p}X} + \par\mathCodeExample{\exponential{p}(X)} + \par\mathCodeExample{\exponential[Big]{p}(\frac{X}{2})} + \item[expOp] the symbol used within the \codeCommand{\exponential}. + \par\mathCodeExample{\expOp} + \item[geodesic] a geodesic. + Its syntax is \codeCommand{\geodesic|#1|<#2>[#3]{#4}{#5}(#6)}.% chktex 6 + The first argument can be used to use a different symbol (locally) for the geodesic + The second (optional) argument is used to modify the style of the geodesic (\codeCommand{s}ymbol, \codeCommand{l}ong, \codeCommand{a}rc or \codeCommand{p}lain, where the last is the default) + The third (optional) argument is used to scale the parentheses enclosing the argument to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + It is ignored when the sixth argument is not given. + The fourth argument denotes the initial point (at $t = 0$). + The fifth argument denotes either the final point (at $t = 1$) for types~\codeCommand{l} and \codeCommand{a}, or the initial tangent vector for type~\codeCommand{p}. + The sixth (optional) argument denotes the evaluation point. + The command \codeCommand{\geodesicSymbol} is used to typeset the geodesic symbol default (i.e. globally) + % \begin{itemize} + % \item a style might be given in \lstinline!<>! as first, optional argument + % \item the second argument in \lstinline![]! is again scaling of the argument (ignored for \lstinline!s! or if the last is not given) + % \item the third and fourth in usual curly braces are also optional and refer to either start and end point or start point and tangent, + % \item the argument of the geodesic is given in \lstinline!()! as fifth argument + % \end{itemize} + % Note that omitting the third and fourth might lead to undesired print, especially for \lstinline!l!ong. + \par\mathCodeExample{\geodesic<s>} + \par\mathCodeExample{\geodesic<s>(t)} %chktex 36 + \par\mathCodeExample{\geodesic<l>{p}{q}} + \par\mathCodeExample{\geodesic<l>{p}{q}(t)} %chktex 36 + \par\mathCodeExample{\geodesic<a>{p}{q}} + \par\mathCodeExample{\geodesic<a>[Big]{p}{q}(\dfrac{t}{2})} %chktex 36 + \par\mathCodeExample{\geodesic<p>{p}{X}} + \par\mathCodeExample{\geodesic<p>{p}{X}(t)} %chktex 36 + \par\mathCodeExample{\geodesic<p>[Big]{p}{X}(\dfrac{t}{2})} %chktex 36 + \par\mathCodeExample{\geodesic[big]{p}{X}((1-t)t)} %chktex 36 + \par\mathCodeExample{\geodesic|\dot\gamma|{p}{X}(t)} %chktex 36 + \item[geodesicSymbol] symbol to use for the geodesic in \codeCommand{\geodesic} + \par\mathCodeExample{\geodesicSymbol} + \item[inverseRetract] use an inverse retraction, the arguments are similar to \codeCommand{\logarithm} but use the \codeCommand{\retractionSymbol} + \par\mathCodeExample{\inverseRetract{p}q} + \par\mathCodeExample{\inverseRetract{p}(q)} + \par\mathCodeExample{\inverseRetract[Big]{p}(q)} + \item[logarithm] the logarithmic map. + Its syntax is \codeCommand{\logarithm[#1]{#2}(#3)}. + The first argument can be used to scale the third. + The second argument denotes the base point and is mandatory. + The third argument denotes another point, which is optional, but + if provided, the argument is put in brackets. The first following example + illustrates the case, where no brackets are put. Note that the space is + mandatory. + \par\mathCodeExample{\logarithm{p}q} + \par\mathCodeExample{\logarithm{p}(q)} + \par\mathCodeExample{\logarithm[Big]{p}(q)} + \item[logOp] the symbol used within the \codeCommand{\logarithm}. + \par\mathCodeExample{\logOp} + \item[parallelTransport] the parallel transport.\\ + Its syntax is \codeCommand{\parallelTransport[#1]{#2}{#3}(#4){5}}. + The first (optional) argument is used to scale the parentheses enclosing the argument \#4.\cref{footnote:amsmath_sizes} + The second argument is the start point of parallel transport on a manifold. + The third argument is the end point of parallel transport on a manifold. + The fourth (optional) argument is the tangent vector that is transported. + Putting it in brackets enables the scaling by the first argument. + The fifth (optional) argument specifies an exponent, for example to parallel transport along a curve $c$ + \par\mathCodeExample{\parallelTransport{p}{q}X} + \par\mathCodeExample{\parallelTransport{p}{q}(X)} + \par\mathCodeExample{\parallelTransport[big]{p}{q}(X)} + \par\mathCodeExample{\parallelTransport{p}{q}(X)[c]} + \par\mathCodeExample{\parallelTransport{p}{q}[c]} + \item[parallelTransportDir] similar to \codeCommand{\parallelTransport}, but the third + argument is a direction to transport into. This can be rewritten to the classical notation + applying an exponential map from the base point (\#2) to th direction (\#3). + The fifth (optional) argument specifies an exponent, for example to parallel transport along a curve $c$ + \par\mathCodeExample{\parallelTransportDir{p}{Y}X} + \par\mathCodeExample{\parallelTransportDir{p}{Y}(X)} + \par\mathCodeExample{\parallelTransportDir[big]{p}{Y}(X)} + \par\mathCodeExample{\parallelTransportDir{p}{Y}(X)[c]} + \par\mathCodeExample{\parallelTransportDir{p}{Y}[c]} + \item[parallelTransportSymbol]\hspace*{2em}the symbol to use within \codeCommand{\parallelTransport} and \codeCommand{\parallelTransportDir} + \par\mathCodeExample{\parallelTransportSymbol} + \item[retract] a retraction.\\ + Its syntax is \codeCommand{\retract[#1]{#2}{#3}}. + The first argument can be used to scale the third. + The second argument denotes the base point. + The third argument denotes the tangent vector, which is optional, but + if provided, the argument is put in brackets. The first following example + illustrates the case, where no brackets are put. Note that the space is + mandatory. + \par\mathCodeExample{\retract{p}X} + \par\mathCodeExample{\retract{p}(X)} + \par\mathCodeExample{\retract[Big]{p}(\frac{X}{2})} + \item[retractionSymbol] symbol to use for a retraction and an inverse retraction, + see \codeCommand{\retract} and \codeCommand{\inverseRetract}. + \par\mathCodeExample{\retractionSymbol} + \item[riemannian] the Riemannian metric (family of inner products on the tangent spaces). + Its syntax is \codeCommand{\riemannian[#1]{#2}{#3}[#4]}. + The first (optional) argument is used to scale the parentheses enclosing the argument to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the first factor. + The third argument denotes the second factor. + The fourth (optional) argument denotes the base point of the tangent space. + \par\mathCodeExample{\riemannian{X_1}{X_2}} + \par\mathCodeExample{\riemannian{Y_1}{Y_2}[q]} + \par\mathCodeExample{\riemannian[Big]{\dfrac{1}{2}X_1}{X_2}[p]} + \item[riemanniannorm] the norm induced by the Riemannian metric.\\ + Its syntax is \codeCommand{\riemanniannorm[#1]{#2}[#3]}. + The first (optional) argument is used to scale the parentheses enclosing the argument to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the argument. + The third (optional) argument denotes the base point of the tangent space. + \par\mathCodeExample{\riemanniannorm{X}} + \par\mathCodeExample{\riemanniannorm{Y}[p]} + \par\mathCodeExample{\riemanniannorm[Big]{\dfrac{1}{2}X}[p]} + \item[secondCovariantDerivative]\hspace*{3em}is the second-order covariant derivative.\\ + Its syntax is \codeCommand{\secondCovariantDerivative{#1}{#2}[#3]}. + The first argument is the vector (or vector field) determining the first direction of differentiation. + The second argument is the vector (or vector field) determining the second direction of differentiation. + The third (optional) argument denotes the tensor field being differentiated. + \par\mathCodeExample{\secondCovariantDerivative{X}{Y}{T}} + \item[secondCovariantDerivativeSymbol]\hspace*{6em} the symbol used for the second covariant derivative.\\ + This is used within \codeCommand{\secondCovariantDerivative}. + \par\mathCodeExample{\secondCovariantDerivativeSymbol} + \item[tangentSpace] the tangent space. + Its syntax is \codeCommand{\tangentSpace{#1}[#2]}. + The first argument denotes the base point. + The second (optional) argument denotes the manifold, which defaults to $\cM$. + \par\mathCodeExample{\tangentSpace{p}} + \par\mathCodeExample{\tangentSpace{q}[\cN]} + \item[tangentBundle] the tangent bundle. + Its syntax is \codeCommand{\tangentBundle[#1]}. + The (optional) argument denotes the manifold, which defaults to $\cM$. + \par\mathCodeExample{\tangentBundle} + \par\mathCodeExample{\tangentBundle[\cN]} + \item[tangentSpaceSymbol] the symbol used within \codeCommand{\tangent}. + \par\mathCodeExample{\tangentSpaceSymbol} + \item[tensorBundle] the tensor bundle. + Its syntax is \codeCommand{\tensorBundle{#1}{#2}[#3]}. + The first argument denotes the number $r$ of elements of the cotangent space the tensors accept. + The second argument denotes the number $s$ of elements of the tangent space the tensors accept. + The third (optional) argument denotes the manifold, which defaults to $\cM$. + \par\mathCodeExample{\tensorBundle{r}{s}} + \par\mathCodeExample{\tensorBundle{r}{s}[\cN]} + \item[tensorSpace] a tensor space over a vector space~$V$. + Its syntax is \codeCommand{\tensorSpace{#1}{#2}[#3]}. + The first argument denotes the number $r$ of elements of the dual space~$V^*$ the tensors accept. + The second argument denotes the number $s$ of elements of the space~$V$ the tensors accept. + The third (optional) argument denotes the vector space, which defaults to empty. + \par\mathCodeExample{\tensorSpace{r}{s}} + \par\mathCodeExample{\tensorSpace{r}{s}[V]} + \item[tensorSpaceSymbol] the symbol used within \codeCommand{\tensorSpace} and \codeCommand{\tensorBundle}. + \par\mathCodeExample{\tensorSpaceSymbol} + \item[vectorTransport] a vector transport.\\ + Its syntax is \codeCommand{\vectorTransport[#1]{#2}{#3}(#4)[#5]}. + The first (optional) argument is used to scale the parentheses enclosing the argument \#4.\cref{footnote:amsmath_sizes} + The second argument is the start point of vector transport on a manifold. + The third argument is the end point of vector transport on a manifold. + The fourth (optional) argument is the tangent vector that is transported. + Putting it in brackets enables the scaling by the first argument. + Finally a retraction symbol can be added in the exponent to distinguish vector transports as \#5. + \par\mathCodeExample{\vectorTransport{p}{q}X} + \par\mathCodeExample{\vectorTransport{p}{q}(X)} + \par\mathCodeExample{\vectorTransport[big]{p}{q}(X)} + \par\mathCodeExample{\vectorTransport{p}{q}(X)[\retractionSymbol]} + \item[vectorTransportDir] similar to \codeCommand{\vectorTransport}, but the third + argument is a direction to transport into. This can be rewritten to the classical notation + applying an retraction from the base point (\#2) to th direction (\#3). + \par\mathCodeExample{\vectorTransportDir{p}{Y}X} + \par\mathCodeExample{\vectorTransportDir{p}{Y}(X)} + \par\mathCodeExample{\vectorTransportDir[big]{p}{Y}(X)} + \par\mathCodeExample{\vectorTransportDir{p}{Y}(X)[\retractionSymbol]} + \item[vectorTransportSymbol]\hspace*{2em}the symbol to use within \codeCommand{\vectorTransport} and \codeCommand{\vectorTransportDir} + \par\mathCodeExample{\vectorTransportSymbol} +\end{commandlist} + + +\subsection{Optimization: \texorpdfstring{\file{mathsemantics-optimization.sty}}{mathsemantics-optimization.sty}}\label{subsec:optimization} + +The semantic file \file{mathsemantics-optimization.sty} collects definitions and notations related to optimization. +\begin{commandlist} + \item[linearizingcone] the linearizing cone. + Its syntax is \codeCommand{\linearizingcone[#1]{#2}{#3}}. + The first (optional) argument is used to scale the parentheses enclosing the argument to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the set. + The third argument denotes the base point. + \par\mathCodeExample{\linearizingcone{A}{x}} + \par\mathCodeExample{\linearizingcone{A}{x^2}} + \par\mathCodeExample{\linearizingcone[big]{A}{x^2}} + + \item[normalcone] the normal cone. + Its syntax is \codeCommand{\normalcone[#1]{#2}{#3}}. + The first (optional) argument is used to scale the parentheses enclosing the argument to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the set. + The third argument denotes the base point. + \par\mathCodeExample{\normalcone{A}{x}} + \par\mathCodeExample{\normalcone{A}{x^2}} + \par\mathCodeExample{\normalcone[big]{A}{x^2}} + + \item[polarcone] the polar cone of a set \mathCodeExample{\polarcone{A}} + + \item[radialcone] the radial cone. + Its syntax is \codeCommand{\radialcone[#1]{#2}{#3}}. + The first (optional) argument is used to scale the parentheses enclosing the argument to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the set. + The third argument denotes the base point. + \par\mathCodeExample{\radialcone{A}{x}} + \par\mathCodeExample{\radialcone{A}{x^2}} + \par\mathCodeExample{\radialcone[big]{A}{x^2}} + + \item[tangentcone] the tangent cone. + Its syntax is \codeCommand{\tangentcone[#1]{#2}{#3}}. + The first (optional) argument is used to scale the parentheses enclosing the argument to the standard amsmath sizes.\cref{footnote:amsmath_sizes} + The second argument denotes the set. + The third argument denotes the base point. + \par\mathCodeExample{\tangentcone{A}{x}} + \par\mathCodeExample{\tangentcone{A}{x^2}} + \par\mathCodeExample{\tangentcone[big]{A}{x^2}} +\end{commandlist} +\end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-abbreviations.sty b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-abbreviations.sty new file mode 100644 index 00000000000..e156608aad7 --- /dev/null +++ b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-abbreviations.sty @@ -0,0 +1,53 @@ +\ProvidesPackage{mathsemantics-abbreviations}[2022/05/06] + +% Resolve the dependencies of this package +\RequirePackage{mathsemantics-commons} + +% Define some English abbreviations +\let\aa\undefined \newcommand{\aa}{a.a.\xspace} +\newcommand{\ale}{a.e.\xspace} +\let\cf\undefined \newcommand{\cf}{cf.\xspace} +\newcommand{\eg}{e.\,g.\xspace} +\newcommand{\Eg}{E.\,g.\xspace} +\let\ie\undefined \newcommand{\ie}{i.\,e.\xspace} +\newcommand{\Ie}{I.\,e.\xspace} +\newcommand{\iid}{i.\,i.\,d.\xspace} +\let\st\undefined \newcommand{\st}{s.\,t.\xspace} % WileyNJD-v2.cls (loads soul.sty) +\newcommand{\wolog}{w.l.o.g.\xspace} % \wlog is a LaTeX core command which writes to the .log file +\newcommand{\wrt}{w.r.t.\xspace} + +% Define some German abbreviations +\newcommand{\bspw}{bspw.\xspace} +\newcommand{\bzgl}{bzgl.\xspace} +\newcommand{\bzw}{bzw.\xspace} +\newcommand{\dah}{d.\,h.\xspace} +\newcommand{\Dah}{D.\,h.\xspace} +\newcommand{\etc}{etc.\xspace} +\newcommand{\evtl}{evtl.\xspace} +\newcommand{\Evtl}{Evtl.\xspace} +\newcommand{\fue}{f.\,ü.\xspace} +\newcommand{\fs}{f.\,s.\xspace} +\newcommand{\iA}{i.\,A.\xspace} +\newcommand{\IA}{I.\,A.\xspace} +\newcommand{\idR}{i.\,d.\,R.\xspace} +\newcommand{\IdR}{I.\,d.\,R.\xspace} +\newcommand{\iW}{i.\,W.\xspace} +\newcommand{\IW}{I.\,W.\xspace} +\newcommand{\mE}{m.\,E.\xspace} +\newcommand{\oBdA}{o.\,B.\,d.\,A.\xspace} +\newcommand{\OBdA}{O.\,B.\,d.\,A.\xspace} +\let\og\undefined \newcommand{\og}{o.\,g.\xspace} % cedram.cls +\newcommand{\oae}{o.\,ä.\xspace} +\newcommand{\pa}{p.\,a.\xspace} +\newcommand{\spd}{s.\,p.\,d.\xspace} +\let\so\undefined \newcommand{\so}{s.\,t.\xspace} % WileyNJD-v2.cls (loads soul.sty) +\newcommand{\ua}{u.\,a.\xspace} +\newcommand{\ug}{u.\,g.\xspace} +\newcommand{\usw}{usw.\xspace} +\newcommand{\Ua}{U.\,a.\xspace} +\newcommand{\uU}{u.\,U.\xspace} +\newcommand{\UnU}{U.\,U.\xspace} +\newcommand{\vgl}{vgl.\xspace} +\newcommand{\zB}{z.\,B.\xspace} +\newcommand{\ZB}{Z.\,B.\xspace} +\newcommand{\zHd}{z.\,Hd.\xspace}
\ No newline at end of file diff --git a/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-commons.sty b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-commons.sty new file mode 100644 index 00000000000..7f32621c535 --- /dev/null +++ b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-commons.sty @@ -0,0 +1,13 @@ +\ProvidesPackage{mathsemantics-commons}[2022/05/06] + +% Packages which allow control flow +\RequirePackage{ifthen} +\RequirePackage{xifthen} +\RequirePackage{ifxetex} + +\RequirePackage{xparse} +\RequirePackage{xspace} +\let\Bbbk\relax +\RequirePackage{amssymb} % load diableable by an option? +\RequirePackage{mathtools} +\RequirePackage{calc}
\ No newline at end of file diff --git a/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-manifolds.sty b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-manifolds.sty new file mode 100644 index 00000000000..7c3c80d4935 --- /dev/null +++ b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-manifolds.sty @@ -0,0 +1,197 @@ +% This LaTeX package provides numerous commands relevant to typesetting +% material related to manifolds and differential geometry. +\ProvidesPackage{mathsemantics-manifolds}[2022/05/06] + +% Resolve the dependencies of this package +\RequirePackage{mathsemantics-semantic} + +% Define some symbols +\newcommand{\bitangentSpaceSymbol}{\cT^{**}} +\newcommand{\cotangentSpaceSymbol}{\cT^*} +\newcommand{\covariantDerivativeSymbol}{\textup{D}} +\newcommand{\secondCovariantDerivativeSymbol}{\covariantDerivativeSymbol^2} +\newcommand{\geodesicSymbol}{\gamma} +\@ifundefined{widearc}{% + \DeclareSymbolFont{yhlargesymbols}{OMX}{yhex}{m}{n} + \DeclareMathAccent{\wideparen}{\mathord}{yhlargesymbols}{"F3} + \newcommand{\geodesicArcSymbol}{\wideparen} + }{% + \newcommand{\geodesicArcSymbol}{\widearc} +} +\newcommand{\parallelTransportSymbol}{\textup{P}} +\newcommand{\retractionSymbol}{\textup{retr}} +\newcommand{\tangentSpaceSymbol}{\cT} +\newcommand{\tensorSpaceSymbol}{\cT} +\newcommand{\vectorTransportSymbol}{\textup{T}} + +% Define a command for the bitangent space +% Argument {#1} is the base point +% The optional argument [#2] (default \cM) is the manifold +\NewDocumentCommand{\bitangentSpace}{ m O{\cM} }{\bitangentSpaceSymbol_{#1}#2} + +% Define a command for the cotangent space +% Argument {#1} is the base point +% The optional argument [#2] (default \cM) is the manifold +\NewDocumentCommand{\cotangentSpace}{ m O{\cM} }{\cotangentSpaceSymbol_{#1}\!#2} + +% Define a command for the cotangent bundle +% The optional argument [#1] (default \cM) is the manifold +\NewDocumentCommand{\cotangentBundle}{ O{\cM} }{\cotangentSpaceSymbol\!#1} + +% Define a command for the covariant derivative (connection) +% Argument {#1} is the vector (field) which determines the direction of differentiation +% The optional argument [#2] denotes the tensor field being differentiated +\NewDocumentCommand{\covariantDerivative}{ m O{} }{\covariantDerivativeSymbol_{#1}#2} + +\DeclareMathOperator{\expOp}{exp} +% Define a command for the exponential map +% Argument {#1} is used to scale the brackets around #3 +% Argument {#2} is the source base point +% Argument {#3} is a corresponding tangent vector +\NewDocumentCommand{\exponential}{ O{} m d() }{% + \expOp_{#2}\IfNoValueF{#3}{\enclose[#1]{(}{#3}{)}}% +} + +% Define a command for various versions of geodesic curves +% * The optional argument (#1) can be used to locally set the geodesic symbol. +% note that globally setting it, you can also redefine `\geodesicSymbol' +% * The optional argument <#2> defines the type: [s]symbol, [l]ong, [a]rc, or [p]lain (the default) +% * The optional argument [#2] scales the delimiters +% * Argument {#4} is the initial point (t = 0) of the geodesic +% * Argument {#5} is the final point (t = 1) of the geodesic (for types l and a) +% * Argument {#5} is the initial tangent direction of the geodesic (for type p) +% * The optional argument (#6) denotes the evaluation point +\NewDocumentCommand{\geodesic}{ D||{\geodesicSymbol} D<>{plain} o G{} G{} d() }{% + \ifthenelse{\equal{#2}{s}}{% + {#1}% format: just the symbol + \IfNoValueF{#6}{\enclose[#3]{(}{#6}{)}}% if arg given + }{% not s + \ifthenelse{\equal{#2}{l}}{% long form + {#1}% format: arg; p1, p2 + \enclose[#3]{(}{% + \IfNoValueTF{#6}{\cdot}{#6};#4\,,\,#5% + }{)}%print \cdot if not param given + }{% neither s nor l + \ifthenelse{\equal{#2}{a}}{% + {#1}_{\geodesicArcSymbol{#4,#5}}% + \IfNoValueF{#6}{\enclose[#3]{(}{#6}{)}}% if arg given -> print + }{% neither s nor l nor a -> plain + {#1}_{#4,#5}% + \IfNoValueF{#6}{\enclose[#3]{(}{#6}{)}}% if arg given -> print + }% + }% + }% +} + +\DeclareMathOperator{\logOp}{log} +% Define a command for the logarithmic map +% Argument {#1} is used to scale the brackets around #3 +% Argument {#2} is the source base point +% Argument {#3} is a second point +\NewDocumentCommand{\logarithm}{ O{} m d() }{% + \logOp_{#2}\IfNoValueF{#3}{\enclose[#1]{(}{#3}{)}}% +} + +% Define a command for the logarithmic map +% Argument {#1} is used to scale the brackets around #3 +% Argument {#2} is the source base point +% Argument {#3} is a second point +\NewDocumentCommand{\inverseRetract}{ O{} m d() }{% + \retractionSymbol^{-1}_{#2}\IfNoValueF{#3}{\enclose[#1]{(}{#3}{)}}% +} + +% Define a command for the Lie bracket (of two vector fields) +% The optional argument [#1] scales the delimiters +% Argument {#2} is the first vector field +% Argument {#3} is the second vector field +\NewDocumentCommand{\lie}{ O{} m m }{\enclose[#1]{[}{#2,#3}{]}} + +% Define a command for the parallel transport, where +% Argument {#1} (optional) is used to scale the brackets around #4 +% Argument {#2} is the source base point +% Argument {#3} is the destination base point +% Argument {#4} is a tangent vector from the source base points tangent space (in round brackets) +% Argument {#5} (optional) can be used to specify that this parallel transport is along a curve +\NewDocumentCommand{\parallelTransport}{ O{} m m d() O{}}{% + \parallelTransportSymbol^{#5}_{#3\leftarrow#2}% + \IfNoValueF{#4}{\enclose[#1]{(}{#4}{)}}% +} + +% Define a command for the parallel transport with direction, where +% Argument {#1} (optional) is used to scale the brackets around #4 +% Argument {#2} is the source base point +% Argument {#3} is the direction to transport into +% Argument {#4} is a tangent vector from the source base points tangent space (in round brackets) +% Argument {#5} (optional) can be used to specify that this parallel transport is along a curve +\NewDocumentCommand{\parallelTransportDir}{ O{} m m d() O{}}{% + \parallelTransportSymbol^{#5}_{#2,#3}% + \IfNoValueF{#4}{\enclose[#1]{(}{#4}{)}}% +} + +% Define a command for a retraction map +% Argument {#1} is used to scale the brackets around #3 +% Argument {#2} is the source base point +% Argument {#3} is a corresponding tangent vector +\NewDocumentCommand{\retract}{ O{} m d() }{% + \retractionSymbol_{#2}\IfNoValueF{#3}{\enclose[#1]{(}{#3}{)}}% +} + +% Define a command for the Riemannian metric (inner product in the tangent space) +% The optional argument [#1] scales the delimiters +% Argument {#2} is the first tangent vector +% Argument {#3} is the second tangent vector +% The optional argument [#4] can be used to denote the base point or to specify the metric +\NewDocumentCommand{\riemannian}{ O{} m m O{} }{\enclose[#1]{(}{#2\,,\,#3}{)}_{#4}} + +% Define a command for the norm induced by the Riemannian metric (inner product in the tangent space) +% The optional argument [#1] scales the delimiters +% Argument {#2} is the tangent vector +% The optional argument [#3] can be used to denote the base point or to specify the metric +\NewDocumentCommand{\riemanniannorm}{ O{} m O{} }{\norm[#1]{#2}_{#3}} + +% Define a command for the second covariant derivative +% Argument {#1} is the vector (field) which determines the first direction of differentiation +% Argument {#2} is the vector (field) which determines the second direction of differentiation +% The optimal argument (#3) denotes the tensor field being differentiated +\NewDocumentCommand{\secondCovariantDerivative}{ m m O{} }{\secondCovariantDerivativeSymbol_{#1,#2}#3} + +% Define a command for the tangent space +% Argument {#1} is the base point +% The optional argument [#2] (default \cM) is the manifold +\NewDocumentCommand{\tangentSpace}{ m O{\cM} }{\tangentSpaceSymbol_{#1}#2} + +% Define a command for the tangent bundle +% The optional argument [#1] (default \cM) is the manifold +\NewDocumentCommand{\tangentBundle}{ O{\cM} }{\tangentSpaceSymbol{}#1} + +% Define a command for the (r,s)-tensor bundle +% Argument {#1} is the number r of elements of the cotangent space the tensors accept. +% Argument {#2} is the number s of elements of the tangent space the tensors accept. +% The optimal argument [#3] (default \cM) is the manifold +\NewDocumentCommand{\tensorBundle}{ m m O{\cM} }{\tensorSpaceSymbol^{(#1,#2)}#3} + +% Define a command for the space of (r,s)-tensors over a vector space V +% Argument {#1} is the number r of elements of the dual space V^* the tensors accept. +% Argument {#2} is the number s of elements of the space V the tensors accept. +% The optimal argument [#3] (default empty) denotes the vector space V. +\NewDocumentCommand{\tensorSpace}{ m m O{} }{\tensorSpaceSymbol^{(#1,#2)}\IfNoValueF{#3}{(#3)}} + +% Define a command for the general vector transport, where +% Argument {#1} (optional) is used to scale the brackets around #4 +% Argument {#2} is the source base point +% Argument {#3} is the destination base point +% Argument {#4} (optional) is a tangent vector from the source base point's tangent space +% Argument {#5} (optional) can be used to specify that this vector transport is from a retraction or symmetric +\NewDocumentCommand{\vectorTransport}{ O{} m m d() O{}}{% + \vectorTransportSymbol_{#3\leftarrow#2}^{#5}\IfNoValueF{#4}{\enclose[#1]{(}{#4}{)}}% +} + +% Define a command for the general vector transport with direction, where +% Argument {#1} (optional) is used to scale the brackets around #4 +% Argument {#2} is the source base point +% Argument {#3} is the dirction to transport to (using the retraction in #5) +% Argument {#4} (optional) is a tangent vector from the source base point's tangent space +% Argument {#5} (optional) can be used to specify that this vector transport is from a retraction or symmetric +\NewDocumentCommand{\vectorTransportDir}{ O{} m m d() O{}}{% + \vectorTransportSymbol_{#2,#3}^{#5}\IfNoValueF{#4}{\enclose[#1]{(}{#4}{)}}% +} diff --git a/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-names.sty b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-names.sty new file mode 100644 index 00000000000..360e889eca0 --- /dev/null +++ b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-names.sty @@ -0,0 +1,65 @@ +\ProvidesPackage{mathsemantics-names}[2022/05/06] + +% Resolve the dependencies of this package +\RequirePackage{mathsemantics-commons} + +% Define a default markdown for named (mostly software related) +% packages, and some commands for often-used packages as well +\newcommand{\namemd}[1]{\textsc{#1}\xspace} +\newcommand{\adimat}{\namemd{ADiMat}} +\newcommand{\ampl}{\namemd{AMPL}} +\newcommand{\BibTeX}{\namemd{Bib\TeX}} +\newcommand{\BibLaTeX}{\namemd{Bib\LaTeX}} +\newcommand{\cg}{\namemd{CG}} +\newcommand{\cpp}{\namemd{C++}} +\newcommand{\cppmat}{\namemd{cppmat}} +\newcommand{\dolfin}{\namemd{Dolfin}} +\newcommand{\dolfinplot}{\namemd{Dolfin-Plot}} +\newcommand{\dolfinadjoint}{\namemd{Dolfin-Adjoint}} +\newcommand{\doxygen}{\namemd{Doxygen}} +\newcommand{\femorph}{\namemd{FEMorph}} +\newcommand{\fenics}{\namemd{FEniCS}} +\newcommand{\ffc}{\namemd{FFC}} +\newcommand{\fmg}{\namemd{FMG}} +\newcommand{\fortran}{\namemd{Fortran}} +\newcommand{\gitlab}{\namemd{GitLab}} +\newcommand{\gmres}{\namemd{Gmres}} +\newcommand{\gmsh}{\namemd{Gmsh}} +\newcommand{\ipopt}{\namemd{Ipopt}} +\newcommand{\libsvm}{\namemd{LIBSVM}} +\newcommand{\liblinear}{\namemd{LIBLINEAR}} +\newcommand{\macmpec}{\namemd{MacMPEC}} +\newcommand{\manifoldsjl}{\namemd{Manifolds.jl}} +\newcommand{\manopt}{\namemd{Manopt}} +\newcommand{\manoptjl}{\namemd{Manopt.jl}} +\newcommand{\mathematica}{\namemd{Mathematica}} +\newcommand{\matlab}{\namemd{Matlab}} +\newcommand{\maple}{\namemd{Maple}} +\newcommand{\maxima}{\namemd{Maxima}} +\newcommand{\meshio}{\namemd{meshio}} +\newcommand{\metis}{\namemd{Metis}} +\newcommand{\minres}{\namemd{Minres}} +\newcommand{\mshr}{\namemd{mshr}} +\newcommand{\mvirt}{\namemd{MVIRT}} +\newcommand{\numapde}{\namemd{numapde}} +\newcommand{\numpy}{\namemd{NumPy}} +\newcommand{\paraview}{\namemd{Paraview}} +\newcommand{\pdflatex}{\namemd{PDF\LaTeX}} +\newcommand{\perl}{\namemd{Perl}} +\newcommand{\petsc}{\namemd{PETSc}} +\newcommand{\pymat}{\namemd{pymat}} +\newcommand{\python}{\namemd{Python}} +\newcommand{\scikit}{\namemd{SciKit}} +\newcommand{\scikitlearn}{\namemd{SciKit-learn}} +\newcommand{\scipy}{\namemd{SciPy}} +\newcommand{\sphinx}{\namemd{Sphinx}} +\newcommand{\subgmres}{\namemd{SubGmres}} +\newcommand{\subminres}{\namemd{SubMinres}} +\newcommand{\superlu}{\namemd{SuperLU}} +\newcommand{\svmlight}{\namemd{SVM${}^\text{light}$}} +\newcommand{\TikZ}{Ti\textit{k}Z\xspace} +\newcommand{\tritetmesh}{\namemd{TriTetMesh}} +\newcommand{\ufl}{\namemd{UFL}} +\newcommand{\uqlab}{\namemd{UQLab}} +\newcommand{\viper}{\namemd{Viper}} +\newcommand{\xml}{\namemd{XML}}
\ No newline at end of file diff --git a/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-optimization.sty b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-optimization.sty new file mode 100644 index 00000000000..fecbf027d79 --- /dev/null +++ b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-optimization.sty @@ -0,0 +1,40 @@ +% This LaTeX package provides numerous commands relevant to typesetting +% material related to manifolds and differential geometry. +\ProvidesPackage{mathsemantics-optimization}[2022/05/06] + +% Resolve the dependencies of this package +\RequirePackage{mathsemantics-semantic} + +% Define some symbols +\newcommand{\normalCone}{\cN} +\newcommand{\radialCone}{\cK} +\newcommand{\tangentCone}{\cT} +\newcommand{\linearizingCone}{\cT^{\textup{lin}}} + +% Define a command for the radial cone +% The optional argument [#1] scales the delimiters +% Argument {#2} is the set +% Argument {#3} is the base point +\NewDocumentCommand{\radialcone}{ O{} m m }{\radialCone_{#2}\enclose[#1]{(}{#3}{)}} + +% Define a command for the tangent cone +% The optional argument [#1] scales the delimiters +% Argument {#2} is the set +% Argument {#3} is the base point +\NewDocumentCommand{\tangentcone}{ O{} m m }{\tangentCone_{#2}\enclose[#1]{(}{#3}{)}} + +% Define a command for the linearizing cone +% The optional argument [#1] scales the delimiters +% Argument {#2} is the set +% Argument {#3} is the base point +\NewDocumentCommand{\linearizingcone}{ O{} m m }{\linearizingCone_{#2}\enclose[#1]{(}{#3}{)}} + +% Define a command for the normal cone +% The optional argument [#1] scales the delimiters +% Argument {#2} is the set +% Argument {#3} is the base point +\NewDocumentCommand{\normalcone}{ O{} m m }{\normalCone_{#2}\enclose[#1]{(}{#3}{)}} + +% Define a command for the polar cone +% Argument {#1} is the set +\NewDocumentCommand{\polarcone}{ m }{#1^\circ} diff --git a/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-semantic.sty b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-semantic.sty new file mode 100644 index 00000000000..6ccb0f7b624 --- /dev/null +++ b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-semantic.sty @@ -0,0 +1,112 @@ +\ProvidesPackage{mathsemantics-semantic}[2022/05/06] + +% Resolve the dependencies of this package +\RequirePackage{mathsemantics-commons} +\RequirePackage{mathsemantics-syntax} + +\newcommand{\abs}[2][]{\enclose[#1]{\lvert}{#2}{\rvert}} +\newcommand{\ceil}[2][]{\enclose[#1]{\lceil}{#2}{\rceil}} +\newcommand{\dual}[3][]{\enclose[#1]{\langle}{#2\,,#3}{\rangle}} +\newcommand{\floor}[2][]{\enclose[#1]{\lfloor}{#2}{\rfloor}} +\newcommand{\avg}[2][]{\enclose[#1]{\lbrace}{#2}{\rbrace}} +\newcommand{\inner}[3][]{\enclose[#1]{(}{#2\,,\,#3}{)}} +\newcommand{\jump}[2][]{\enclose[#1]{\llbracket}{#2}{\rrbracket}} +\newcommand{\norm}[2][]{\enclose[#1]{\lVert}{#2}{\rVert}} +\newcommand{\restr}[3][]{\enclose[#1]{.}{#2}{\rvert}_{#3}} +\newcommand{\setMid}{|} +\newcommand{\setDef}[3][]{\encloseSet[#1]{\{}{#2}{\setMid}{#3}{\}}} +% Define the distance to a set operator +% The optional argument #1 scales the delimiters +% Argument #2 is the set +% Argument #3 is the quantity +\DeclareMathOperator{\distOp}{dist} +\NewDocumentCommand{\dist}{ O{} g g }{\IfNoValueTF{#3}{\IfNoValueTF{#2}{\distOp}{\distOp_{#2}}}{\distOp_{#2}\enclose[#1]{(}{#3}{)}}} + +% Define the projection operator +% The optional argument #1 scales the delimiters +% Argument #2 is the set to be projected onto +% Argument #3 is the quantity to be projected +\DeclareMathOperator{\projOp}{proj} +\NewDocumentCommand{\proj}{ O{} g d() }{% + \IfNoValueTF{#2}{\projOp}{\projOp_{#2}}\IfNoValueF{#3}{\enclose[#1]{(}{#3}{)}}% +} + +% Define the prox operator +% The optional argument #1 scales the delimiters +% Argument #2 is the function whose prox map we are taking +% Argument #3 is the argument of the prox map +\DeclareMathOperator{\proxOp}{prox} +\NewDocumentCommand{\prox}{ O{} g d() }{% + \IfNoValueTF{#2}{\proxOp}{\proxOp_{#2}}\IfNoValueF{#3}{\enclose[#1]{(}{#3}{)}}% +} + +% Define some mathematical and other operators +\DeclareMathOperator{\aff}{aff} +\DeclareMathOperator{\arcosh}{arcosh} +\DeclareMathOperator{\arcoth}{arcoth} +\DeclareMathOperator{\arsinh}{arsinh} +\DeclareMathOperator{\artanh}{artanh} +\DeclareMathOperator*{\argmax}{arg\,max} +\DeclareMathOperator*{\Argmax}{Arg\,max} +\DeclareMathOperator*{\argmin}{arg\,min} +\DeclareMathOperator*{\Argmin}{Arg\,min} +\DeclareMathOperator{\bdiv}{\textup{\textbf{div}}} +\DeclareMathOperator{\card}{card} +\DeclareMathOperator{\clconv}{\overline{\conv}} +\let\closure\undefined \DeclareMathOperator{\closure}{cl} % WileyNJD-v2.cls (loads stix.sty) +\DeclareMathOperator{\cofac}{cof} +\newcommand{\compactly}{\hookrightarrow\hookrightarrow} +\DeclareMathOperator{\cone}{cone} +\DeclareMathOperator{\conv}{conv} +\newcommand{\corresponds}{\mathrel{\widehat{=}}} +\DeclareMathOperator{\cov}{Cov} +\DeclareMathOperator{\curl}{curl} +\DeclareMathOperator{\dev}{dev} +\let\div\undefined \DeclareMathOperator{\div}{div} +\DeclareMathOperator{\Div}{Div} +% https://tex.stackexchange.com/questions/140642/conditionally-remove-the-space-before-a-one-letter-operator +\newcommand{\dInt}{\mathop{}\!\textup{d}} +\let\d\undefined\newcommand{\d}{\dInt} +\let\diag\undefined \DeclareMathOperator{\diag}{diag} % etna.cls +\DeclareMathOperator{\diam}{diam} +\DeclareMathOperator{\dom}{dom} +\newcommand{\dotcup}{\ensuremath{\mathaccent\cdot\cup}} +\DeclareMathSymbol{\dprod}{\mathbin}{operators}{"3A} +\let\e\undefined \newcommand{\e}{\mathrm{e}} % ifacconf.cls +\newcommand{\embed}{\hookrightarrow} +\newcommand{\embeds}{\embed} +\DeclareMathOperator{\epi}{epi} +\newcommand{\eR}{\overline{\bbR}} +\DeclareMathOperator*{\esssup}{ess\,sup} +\DeclareMathOperator*{\essinf}{ess\,inf} +\let\grad\undefined \DeclareMathOperator{\grad}{grad} % etna.cls +\DeclareMathOperator{\Graph}{Graph} +\newcommand{\id}{\textup{id}} +\DeclareMathOperator{\image}{image} +\DeclareMathOperator{\interior}{int} +\DeclareMathOperator{\inj}{inj} +\newcommand{\laplace}{\Delta} +\DeclareMathOperator*{\limessinf}{lim\,ess\,inf} +\DeclareMathOperator*{\limesssup}{lim\,ess\,sup} +\DeclareMathOperator{\lin}{lin} +\let\rank\undefined \DeclareMathOperator{\rank}{rank} % etna.cls +\DeclareMathOperator{\range}{range} +\DeclareMathOperator{\ri}{ri} +\DeclareMathOperator{\sgn}{sgn} +\DeclareMathOperator{\Sgn}{Sgn} +\DeclareMathOperator{\Span}{span} +\let\supp\undefined \DeclareMathOperator{\supp}{supp} % etna.cls +\DeclareMathOperator{\sym}{sym} +\DeclareMathOperator{\trace}{trace} +\newcommand{\transposeSymbol}{\mkern-1.5mu\textup{T}} +\AtBeginDocument{\providecommand*{\transp}{{\transposeSymbol}}} % postpone it since newtxmath.sty has its own \transp +\DeclareMathOperator{\var}{Var} +\newcommand{\weakly}{\rightharpoonup} +\newcommand{\weaklystar}{\stackrel\star\rightharpoonup} + +\@ifpackageloaded{academicon}{% + \definecolor{orcidlogocolor}{HTML}{A6CE39} + \providecommand*{\orcid}[1]{\href{https://orcid.org/#1}{\textcolor{orcidlogocolor}{\aiOrcid}~\detokenize{#1}}} +}{% + \providecommand*{\orcid}[1]{\href{https://orcid.org/#1}{ORCID~\detokenize{#1}}} +} diff --git a/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-syntax.sty b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-syntax.sty new file mode 100644 index 00000000000..d11cd624051 --- /dev/null +++ b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics-syntax.sty @@ -0,0 +1,428 @@ +\ProvidesPackage{mathsemantics-syntax}[2022/05/06] +\provideboolean{mathsemantics@syntax@shortbb} +\setboolean{mathsemantics@syntax@shortbb}{false}% default: false +\DeclareOption{shortbb}{% + \setboolean{mathsemantics@syntax@shortbb}{true}% Some Code +} +\ProcessOptions\relax +\RequirePackage{mathsemantics-commons} + +% Define commands for bold upper-case letters in math mode +\newcommand{\bA}{{\boldsymbol{A}}} +\newcommand{\bB}{{\boldsymbol{B}}} +\newcommand{\bC}{{\boldsymbol{C}}} +\newcommand{\bD}{{\boldsymbol{D}}} +\newcommand{\bE}{{\boldsymbol{E}}} +\newcommand{\bF}{{\boldsymbol{F}}} +\newcommand{\bG}{{\boldsymbol{G}}} +\newcommand{\bH}{{\boldsymbol{H}}} +\newcommand{\bI}{{\boldsymbol{I}}} +\newcommand{\bJ}{{\boldsymbol{J}}} +\newcommand{\bK}{{\boldsymbol{K}}} +\newcommand{\bL}{{\boldsymbol{L}}} +\newcommand{\bM}{{\boldsymbol{M}}} +\newcommand{\bN}{{\boldsymbol{N}}} +\newcommand{\bO}{{\boldsymbol{O}}} +\newcommand{\bP}{{\boldsymbol{P}}} +\newcommand{\bQ}{{\boldsymbol{Q}}} +\newcommand{\bR}{{\boldsymbol{R}}} +\newcommand{\bS}{{\boldsymbol{S}}} +\newcommand{\bT}{{\boldsymbol{T}}} +\newcommand{\bU}{{\boldsymbol{U}}} +\newcommand{\bV}{{\boldsymbol{V}}} +\newcommand{\bW}{{\boldsymbol{W}}} +\newcommand{\bX}{{\boldsymbol{X}}} +\newcommand{\bY}{{\boldsymbol{Y}}} +\newcommand{\bZ}{{\boldsymbol{Z}}} + +% Define commands for bold lower-case letters in math mode +\newcommand{\ba}{{\boldsymbol{a}}} +\newcommand{\bb}{{\boldsymbol{b}}} +\newcommand{\bc}{{\boldsymbol{c}}} +\newcommand{\bd}{{\boldsymbol{d}}} +\newcommand{\be}{{\boldsymbol{e}}} +\let\bf\undefined \newcommand{\bf}{{\boldsymbol{f}}} +\newcommand{\bg}{{\boldsymbol{g}}} +\newcommand{\bh}{{\boldsymbol{h}}} +\let\bi\undefined \newcommand{\bi}{{\boldsymbol{i}}} % Taylor and Francis +\newcommand{\bj}{{\boldsymbol{j}}} +\newcommand{\bk}{{\boldsymbol{k}}} +\newcommand{\bl}{{\boldsymbol{l}}} +\let\bm\undefined \newcommand{\bm}{{\boldsymbol{m}}} % Taylor and Francis +\newcommand{\bn}{{\boldsymbol{n}}} +\newcommand{\bo}{{\boldsymbol{o}}} +\newcommand{\bp}{{\boldsymbol{p}}} +\newcommand{\bq}{{\boldsymbol{q}}} +\newcommand{\br}{{\boldsymbol{r}}} +\newcommand{\bs}{{\boldsymbol{s}}} +\newcommand{\bt}{{\boldsymbol{t}}} +\newcommand{\bu}{{\boldsymbol{u}}} +\newcommand{\bv}{{\boldsymbol{v}}} +\newcommand{\bw}{{\boldsymbol{w}}} +\newcommand{\bx}{{\boldsymbol{x}}} +\newcommand{\by}{{\boldsymbol{y}}} +\newcommand{\bz}{{\boldsymbol{z}}} + +% Define commands for bold numbers 0, 1 in math mode +\newcommand{\bnull}{{\boldsymbol{0}}} +\newcommand{\bone}{{\boldsymbol{1}}} + +% Define commands for bold lower-case Greek letters in math mode +\newcommand{\balpha}{{\boldsymbol{\alpha}}} +\newcommand{\bbeta}{{\boldsymbol{\beta}}} +\newcommand{\bgamma}{{\boldsymbol{\gamma}}} +\newcommand{\bdelta}{{\boldsymbol{\delta}}} +\newcommand{\bepsilon}{{\boldsymbol{\epsilon}}} +\newcommand{\bvarepsilon}{{\boldsymbol{\varepsilon}}} +\newcommand{\bzeta}{{\boldsymbol{\zeta}}} +\newcommand{\boldeta}{{\boldsymbol{\eta}}} % exception: \boldeta instead of \beta +\newcommand{\btheta}{{\boldsymbol{\theta}}} +\newcommand{\bvartheta}{{\boldsymbol{\vartheta}}} +\newcommand{\biota}{{\boldsymbol{\iota}}} +\newcommand{\bkappa}{{\boldsymbol{\kappa}}} +\newcommand{\bvarkappa}{{\boldsymbol{\varkappa}}} +\newcommand{\blambda}{{\boldsymbol{\lambda}}} +\newcommand{\bmu}{{\boldsymbol{\mu}}} +\newcommand{\bnu}{{\boldsymbol{\nu}}} +\newcommand{\bomicron}{\boldsymbol{o}} +\newcommand{\bxi}{{\boldsymbol{\xi}}} +\newcommand{\bpi}{{\boldsymbol{\pi}}} +\newcommand{\bvarpi}{{\boldsymbol{\varpi}}} +\newcommand{\brho}{{\boldsymbol{\rho}}} +\newcommand{\bvarrho}{{\boldsymbol{\varrho}}} +\newcommand{\bsigma}{{\boldsymbol{\sigma}}} +\newcommand{\bvarsigma}{{\boldsymbol{\varsigma}}} +\newcommand{\btau}{{\boldsymbol{\tau}}} +\newcommand{\bupsilon}{{\boldsymbol{\upsilon}}} +\newcommand{\bphi}{{\boldsymbol{\phi}}} +\newcommand{\bvarphi}{{\boldsymbol{\varphi}}} +\newcommand{\bchi}{{\boldsymbol{\chi}}} +\newcommand{\bpsi}{{\boldsymbol{\psi}}} +\newcommand{\bomega}{{\boldsymbol{\omega}}} + +% Define commands for bold upper-case Greek letters in math mode +\newcommand{\bAlpha}{{\boldsymbol{A}}} +\newcommand{\bBeta}{{\boldsymbol{B}}} +\newcommand{\bGamma}{{\boldsymbol{\Gamma}}} +\newcommand{\bDelta}{{\boldsymbol{\Delta}}} +\newcommand{\bEpsilon}{{\boldsymbol{E}}} +\newcommand{\bZeta}{{\boldsymbol{Z}}} +\newcommand{\bEta}{{\boldsymbol{H}}} +\newcommand{\bTheta}{{\boldsymbol{\Theta}}} +\newcommand{\bIota}{{\boldsymbol{I}}} +\newcommand{\bKappa}{{\boldsymbol{K}}} +\newcommand{\bLambda}{{\boldsymbol{\Lambda}}} +\newcommand{\bMu}{{\boldsymbol{M}}} +\newcommand{\bNu}{{\boldsymbol{N}}} +\newcommand{\bXi}{{\boldsymbol{\Xi}}} +\newcommand{\bOmicron}{{\boldsymbol{O}}} +\newcommand{\bPi}{{\boldsymbol{\Pi}}} +\newcommand{\bRho}{{\boldsymbol{P}}} +\newcommand{\bSigma}{{\boldsymbol{\Sigma}}} +\newcommand{\bTau}{{\boldsymbol{T}}} +\newcommand{\bUpsilon}{{\boldsymbol{\Upsilon}}} +\newcommand{\bPhi}{{\boldsymbol{\Phi}}} +\newcommand{\bChi}{{\boldsymbol{X}}} +\newcommand{\bPsi}{{\boldsymbol{\Psi}}} +\newcommand{\bOmega}{{\boldsymbol{\Omega}}} + +% Define commands for calligraphic upper-case letters in math mode +\newcommand{\cA}{\mathcal{A}} +\newcommand{\cB}{\mathcal{B}} +\newcommand{\cC}{\mathcal{C}} +\newcommand{\cD}{\mathcal{D}} +\newcommand{\cE}{\mathcal{E}} +\newcommand{\cF}{\mathcal{F}} +\newcommand{\cG}{\mathcal{G}} +\newcommand{\cH}{\mathcal{H}} +\newcommand{\cI}{\mathcal{I}} +\newcommand{\cJ}{\mathcal{J}} +\newcommand{\cK}{\mathcal{K}} +\newcommand{\cL}{\mathcal{L}} +\newcommand{\cM}{\mathcal{M}} +\newcommand{\cN}{\mathcal{N}} +\newcommand{\cO}{\mathcal{O}} +\newcommand{\cP}{\mathcal{P}} +\newcommand{\cQ}{\mathcal{Q}} +\newcommand{\cR}{\mathcal{R}} +\newcommand{\cS}{\mathcal{S}} +\newcommand{\cT}{\mathcal{T}} +\newcommand{\cU}{\mathcal{U}} +\newcommand{\cV}{\mathcal{V}} +\newcommand{\cW}{\mathcal{W}} +\newcommand{\cX}{\mathcal{X}} +\newcommand{\cY}{\mathcal{Y}} +\newcommand{\cZ}{\mathcal{Z}} + +% Define commands for fraktur upper-case letters in math mode +\newcommand{\fA}{\mathfrak{A}} +\newcommand{\fB}{\mathfrak{B}} +\newcommand{\fC}{\mathfrak{C}} +\newcommand{\fD}{\mathfrak{D}} +\newcommand{\fE}{\mathfrak{E}} +\newcommand{\fF}{\mathfrak{F}} +\newcommand{\fG}{\mathfrak{G}} +\newcommand{\fH}{\mathfrak{H}} +\newcommand{\fI}{\mathfrak{I}} +\newcommand{\fJ}{\mathfrak{J}} +\newcommand{\fK}{\mathfrak{K}} +\newcommand{\fL}{\mathfrak{L}} +\newcommand{\fM}{\mathfrak{M}} +\newcommand{\fN}{\mathfrak{N}} +\newcommand{\fO}{\mathfrak{O}} +\newcommand{\fP}{\mathfrak{P}} +\newcommand{\fQ}{\mathfrak{Q}} +\newcommand{\fR}{\mathfrak{R}} +\newcommand{\fS}{\mathfrak{S}} +\newcommand{\fT}{\mathfrak{T}} +\newcommand{\fU}{\mathfrak{U}} +\newcommand{\fV}{\mathfrak{V}} +\newcommand{\fW}{\mathfrak{W}} +\newcommand{\fX}{\mathfrak{X}} +\newcommand{\fY}{\mathfrak{Y}} +\newcommand{\fZ}{\mathfrak{Z}} + + +% Define commands for fraktur upper-case letters in math mode +\newcommand{\sA}{\mathscr{A}} +\newcommand{\sB}{\mathscr{B}} +\newcommand{\sC}{\mathscr{C}} +\newcommand{\sD}{\mathscr{D}} +\newcommand{\sE}{\mathscr{E}} +\newcommand{\sF}{\mathscr{F}} +\newcommand{\sG}{\mathscr{G}} +\newcommand{\sH}{\mathscr{H}} +\newcommand{\sI}{\mathscr{I}} +\newcommand{\sJ}{\mathscr{J}} +\newcommand{\sK}{\mathscr{K}} +\newcommand{\sL}{\mathscr{L}} +\newcommand{\sM}{\mathscr{M}} +\newcommand{\sN}{\mathscr{N}} +\newcommand{\sO}{\mathscr{O}} +\newcommand{\sP}{\mathscr{P}} +\newcommand{\sQ}{\mathscr{Q}} +\newcommand{\sR}{\mathscr{R}} +\newcommand{\sS}{\mathscr{S}} +\newcommand{\sT}{\mathscr{T}} +\newcommand{\sU}{\mathscr{U}} +\newcommand{\sV}{\mathscr{V}} +\newcommand{\sW}{\mathscr{W}} +\newcommand{\sX}{\mathscr{X}} +\newcommand{\sY}{\mathscr{Y}} +\newcommand{\sZ}{\mathscr{Z}} + +% Define commands for lower-case letters with vector accents in math mode +\newcommand{\va}{\vec{a}} +\newcommand{\vb}{\vec{b}} +\newcommand{\vc}{\vec{c}} +\newcommand{\vd}{\vec{d}} +\newcommand{\ve}{\vec{e}} +\newcommand{\vf}{\vec{f}} +\let\vg\undefined \newcommand{\vg}{\vec{g}} % ESAIM +\newcommand{\vh}{\vec{h}} +\newcommand{\vi}{\vec{i}} +\newcommand{\vj}{\vec{j}} +\newcommand{\vk}{\vec{k}} +\newcommand{\vl}{\vec{l}} +\newcommand{\vm}{\vec{m}} +\newcommand{\vn}{\vec{n}} +\newcommand{\vo}{\vec{o}} +\newcommand{\vp}{\vec{p}} +\newcommand{\vq}{\vec{q}} +\newcommand{\vr}{\vec{r}} +\newcommand{\vs}{\vec{s}} +\newcommand{\vt}{\vec{t}} +\newcommand{\vu}{\vec{u}} +\let\vv\undefined \newcommand{\vv}{\vec{v}} % jnsao +\newcommand{\vw}{\vec{w}} +\newcommand{\vx}{\vec{x}} +\newcommand{\vy}{\vec{y}} +\newcommand{\vz}{\vec{z}} + +% Define commands for upper-case letters with vector accents in math mode +\newcommand{\vA}{\vec{A}} +\newcommand{\vB}{\vec{B}} +\newcommand{\vC}{\vec{C}} +\newcommand{\vD}{\vec{D}} +\newcommand{\vE}{\vec{E}} +\newcommand{\vF}{\vec{F}} +\newcommand{\vG}{\vec{G}} +\newcommand{\vH}{\vec{H}} +\newcommand{\vI}{\vec{I}} +\newcommand{\vJ}{\vec{J}} +\newcommand{\vK}{\vec{K}} +\newcommand{\vL}{\vec{L}} +\newcommand{\vM}{\vec{M}} +\newcommand{\vN}{\vec{N}} +\newcommand{\vO}{\vec{O}} +\newcommand{\vP}{\vec{P}} +\newcommand{\vQ}{\vec{Q}} +\newcommand{\vR}{\vec{R}} +\newcommand{\vS}{\vec{S}} +\newcommand{\vT}{\vec{T}} +\newcommand{\vU}{\vec{U}} +\newcommand{\vV}{\vec{V}} +\newcommand{\vW}{\vec{W}} +\newcommand{\vX}{\vec{X}} +\newcommand{\vY}{\vec{Y}} +\newcommand{\vZ}{\vec{Z}} + +% Define commands for numbers 0, 1 with vector accents in math mode +\newcommand{\vnull}{{\vec{0}}} +\newcommand{\vone}{{\vec{1}}} + +% Define commands for lower-case Greek letters with vector accents in math mode +\newcommand{\valpha}{{\vec{\alpha}}} +\newcommand{\vbeta}{{\vec{\beta}}} +\newcommand{\vgamma}{{\vec{\gamma}}} +\newcommand{\vdelta}{{\vec{\delta}}} +\newcommand{\vepsilon}{{\vec{\epsilon}}} +\newcommand{\vvarepsilon}{{\vec{\varepsilon}}} +\newcommand{\vzeta}{{\vec{\zeta}}} +\newcommand{\veta}{{\vec{\eta}}} +\newcommand{\vtheta}{{\vec{\theta}}} +\newcommand{\vvartheta}{{\vec{\vartheta}}} +\newcommand{\viota}{{\vec{\iota}}} +\newcommand{\vkappa}{{\vec{\kappa}}} +\newcommand{\vvarkappa}{{\vec{\varkappa}}} +\newcommand{\vlambda}{{\vec{\lambda}}} +\newcommand{\vmu}{{\vec{\mu}}} +\newcommand{\vnu}{{\vec{\nu}}} +\newcommand{\vomicron}{\vec{o}} +\newcommand{\vxi}{{\vec{\xi}}} +\newcommand{\vpi}{{\vec{\pi}}} +\newcommand{\vvarpi}{{\vec{\varpi}}} +\newcommand{\vrho}{{\vec{\rho}}} +\newcommand{\vvarrho}{{\vec{\varrho}}} +\newcommand{\vsigma}{{\vec{\sigma}}} +\newcommand{\vvarsigma}{{\vec{\varsigma}}} +\newcommand{\vtau}{{\vec{\tau}}} +\newcommand{\vupsilon}{{\vec{\upsilon}}} +\newcommand{\vphi}{{\vec{\phi}}} +\newcommand{\vvarphi}{{\vec{\varphi}}} +\newcommand{\vchi}{{\vec{\chi}}} +\newcommand{\vpsi}{{\vec{\psi}}} +\newcommand{\vomega}{{\vec{\omega}}} + +% Define commands for upper-case Greek letters with vector accents in math mode +\newcommand{\vAlpha}{{\vec{A}}} +\newcommand{\vBeta}{{\vec{B}}} +\newcommand{\vGamma}{{\vec{\Gamma}}} +\newcommand{\vDelta}{{\vec{\Delta}}} +\newcommand{\vEpsilon}{{\vec{E}}} +\newcommand{\vZeta}{{\vec{Z}}} +\newcommand{\vEta}{{\vec{H}}} +\newcommand{\vTheta}{{\vec{\Theta}}} +\newcommand{\vIota}{{\vec{I}}} +\newcommand{\vKappa}{{\vec{K}}} +\newcommand{\vLambda}{{\vec{\Lambda}}} +\newcommand{\vMu}{{\vec{M}}} +\newcommand{\vNu}{{\vec{N}}} +\newcommand{\vOmicron}{\vec{O}} +\newcommand{\vXi}{{\vec{\Xi}}} +\newcommand{\vPi}{{\vec{\Pi}}} +\newcommand{\vRho}{{\vec{P}}} +\newcommand{\vSigma}{{\vec{\Sigma}}} +\newcommand{\vTau}{{\vec{T}}} +\newcommand{\vUpsilon}{{\vec{\Upsilon}}} +\newcommand{\vPhi}{{\vec{\Phi}}} +\newcommand{\vChi}{{\vec{X}}} +\newcommand{\vPsi}{{\vec{\Psi}}} +\newcommand{\vOmega}{{\vec{\Omega}}} + +% Define commands for some blackboard characters in math mode, mainly used for sets +\newcommand{\bbA}{\mathbb{A}} +\newcommand{\bbB}{\mathbb{B}} +\newcommand{\bbC}{\mathbb{C}} +\newcommand{\bbD}{\mathbb{D}} +\newcommand{\bbE}{\mathbb{E}} +\newcommand{\bbF}{\mathbb{F}} +\newcommand{\bbG}{\mathbb{G}} +\newcommand{\bbH}{\mathbb{H}} +\newcommand{\bbI}{\mathbb{I}} +\newcommand{\bbJ}{\mathbb{J}} +\newcommand{\bbK}{\mathbb{K}} +\newcommand{\bbL}{\mathbb{L}} +\newcommand{\bbM}{\mathbb{M}} +\newcommand{\bbN}{\mathbb{N}} +\newcommand{\bbO}{\mathbb{O}} +\newcommand{\bbP}{\mathbb{P}} +\newcommand{\bbQ}{\mathbb{Q}} +\newcommand{\bbR}{\mathbb{R}} +\newcommand{\bbS}{\mathbb{S}} +\newcommand{\bbT}{\mathbb{T}} +\newcommand{\bbU}{\mathbb{U}} +\newcommand{\bbV}{\mathbb{V}} +\newcommand{\bbW}{\mathbb{W}} +\newcommand{\bbX}{\mathbb{X}} +\newcommand{\bbY}{\mathbb{Y}} +\newcommand{\bbZ}{\mathbb{Z}} + +\ifthenelse{\boolean{mathsemantics@syntax@shortbb}}{ + \providecommand{\C}{\bbC}% + \providecommand{\K}{\bbK}% + \providecommand{\N}{\bbN}% + \providecommand{\Q}{\bbQ}% + \providecommand{\R}{\bbR}% + \providecommand{\Z}{\bbZ}% +}{} + + +% Define \enclose command +% \enclose[a]{b}{c}{d} encloses content (c) in brackets (b,d) where the optional parameter +% a scales the brackets (big, Big, bigg, Bigg) or (auto)matically scales them. +% It can also be set to [none] do deactivate the brackets/enclosing +% \enclosespacing allows for additional spacing before and after the \enclose:d content +% https://blag.nullteilerfrei.de/2014/01/16/a-dynamic-bracketing-macro-in-latex/ +% The \enclose command is mainly meant for internal use; use \paren instead +\newcommand{\enclspacing}{} +\newcommand{\enclose}[4][]{% + \ifthenelse{\isempty{#1}}% + {\ifthenelse{\equal{#2}{.}}{}{#2}\enclspacing#3\enclspacing#4}% + {\ifthenelse{\equal{#1}{auto}}% given auto + {\mathopen{}\left#2\enclspacing#3\enclspacing\mathclose{}\right#4}% + {\ifthenelse{\equal{#1}{none}}% given none + {#3}% + {\csname#1l\endcsname#2\enclspacing#3\enclspacing\csname#1r\endcsname#4}% + }% end auto + }% end #1 empty +} + +% Define \encloseSet command to do { c | e } +% \enclose[a]{b}{c}{d}{e}{f} encloses content c and e in brackets (b,f) with a center delimiter d, where the optional parameter +% a scales the brackets (big, Big, bigg, Bigg) or (auto)matically scales them +% \enclosespacingSet allows for additional spacing before and after the center delimiter, the outer brackets gain a \encloseSpacing as \enclose: +% https://blag.nullteilerfrei.de/2014/01/16/a-dynamic-bracketing-macro-in-latex/ +% The \enclose command is mainly meant for internal use; use \paren instead +\newcommand{\enclspacingSet}{\,} +\newcommand{\encloseSet}[6][]{% + \ifthenelse{\isempty{#1}}% + {#2\enclspacing#3 \enclspacingSet#4\enclspacingSet #5\enclspacing#6}% + {\ifthenelse{\equal{#1}{auto}}% + {\left#2\enclspacing#3\enclspacingSet\middle#4\enclspacingSet#5\right#6}% + {\csname#1l\endcsname#2\enclspacing#3\enclspacingSet\csname#1\endcsname#4\enclspacingSet#5\enclspacing\csname#1r\endcsname#6}% + }% + } + +% Define \paren command +% \paren[a]bc{d} encloses content (d) in brackets b,c where the optional parameter +% a scales the brackets +\newcommand{\paren}[4][]{\enclose[#1]{#2}{#4}{#3}} + +% Define the \clap (complementing \{l,r}lap) and \math{l,c,r}lap commands, +% which horizontally smash the argument with alignment +% http://www.tug.org/TUGboat/Articles/tb22-4/tb72perlS.pdf +\def\clap#1{\hbox to 0pt{\hss#1\hss}} +\def\mathllap{\mathpalette\mathllapinternal} +\def\mathrlap{\mathpalette\mathrlapinternal} +\def\mathclap{\mathpalette\mathclapinternal} +\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}} +\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}} +\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}} + +% Define the \mrep[a]{b}{c} command, which prints b but reserves the space for c. +% The optional argument a specifies the alignment {l,c,r}. The command works in text and math modes. +% https://groups.google.com/forum/?fromgroups#!topic/comp.text.tex/GikFchXJIM0 +\def\my@mathpalette#1#2#3#4{\mathchoice{#1\displaystyle{#2}{#3}{#4}}{#1\textstyle{#2}{#3}{#4}}{#1\scriptstyle{#2}{#3}{#4}}{#1\scriptscriptstyle{#2}{#3}{#4}}} +\def\mrepinternal#1#2#3#4{\makebox[\widthof{$#1#4$}][#2]{$#1\vphantom{#4}{#3}$}} +\newcommand{\mrep}[3][l]{\ifmmode\my@mathpalette\mrepinternal{#1}{#2}{#3}\else\makebox[\widthof{#3}][#1]{\vphantom{#3}#2}\fi}
\ No newline at end of file diff --git a/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics.sty b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics.sty new file mode 100644 index 00000000000..193c74c33dd --- /dev/null +++ b/Master/texmf-dist/tex/latex/mathsemantics/mathsemantics.sty @@ -0,0 +1,19 @@ +% +% mathsemantics.sty +% +\ProvidesPackage{mathsemantics}[2022/05/06 MathSemantics.sty v1.0.0] +\DeclareOption{shortbb}{% + \PassOptionsToPackage{shortbb}{mathsemantics-syntax} +} +\ProcessOptions\relax + +\RequirePackage{mathsemantics-commons} + +\RequirePackage{mathsemantics-syntax} +\RequirePackage{mathsemantics-abbreviations} +\RequirePackage{mathsemantics-names} + +\RequirePackage{mathsemantics-semantic} + +\RequirePackage{mathsemantics-manifolds} +\RequirePackage{mathsemantics-optimization}
\ No newline at end of file |