texlive[74351] Master: math-operator (28feb25)
commits+karl at tug.org
commits+karl at tug.org
Fri Feb 28 23:10:12 CET 2025
Revision: 74351
https://tug.org/svn/texlive?view=revision&revision=74351
Author: karl
Date: 2025-02-28 23:10:12 +0100 (Fri, 28 Feb 2025)
Log Message:
-----------
math-operator (28feb25)
Modified Paths:
--------------
trunk/Master/tlpkg/bin/tlpkg-ctan-check
trunk/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
Added Paths:
-----------
trunk/Master/texmf-dist/doc/latex/math-operator/
trunk/Master/texmf-dist/doc/latex/math-operator/README.txt
trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_code.pdf
trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_heading.tex
trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_user_guide.tex
trunk/Master/texmf-dist/doc/latex/math-operator/user_guide/
trunk/Master/texmf-dist/doc/latex/math-operator/user_guide/math-operator_user_guide.pdf
trunk/Master/texmf-dist/source/latex/math-operator/
trunk/Master/texmf-dist/source/latex/math-operator/math-operator_code.dtx
trunk/Master/texmf-dist/tex/latex/math-operator/
trunk/Master/texmf-dist/tex/latex/math-operator/math-operator.sty
trunk/Master/tlpkg/tlpsrc/math-operator.tlpsrc
Added: trunk/Master/texmf-dist/doc/latex/math-operator/README.txt
===================================================================
--- trunk/Master/texmf-dist/doc/latex/math-operator/README.txt (rev 0)
+++ trunk/Master/texmf-dist/doc/latex/math-operator/README.txt 2025-02-28 22:10:12 UTC (rev 74351)
@@ -0,0 +1,128 @@
+ LaTeX Package math-operator v. 1.0
+ Installation Guide/README
+ Conrad Kosowsky
+
+
+This file is README.txt from version 1.0 of the free and
+open-source LaTeX package "math-operator," released February
+2025. The operator package defines some one hundred and
+fifty math operator control sequences and provides an
+interface to define more. See the user guide for more
+information. See below for installation and license information.
+
+*********************************************************
+
+To install math-operator automatically, update your TeX
+distribution or use a package manager such as tlmgr.
+
+To install math-operator manually requires two steps as follows.
+
+Step 1: You need to generate the package file math-operator.sty
+from math-operator_code.dtx. You can do this in two ways:
+
+ (1) Running Plain TeX on math-operator_code.dtx will create
+ math-operator.sty as well as other tex files that
+ are used for typesetting documentation.
+
+ (2) Running LaTeX on math-operator_code.dtx will produce the
+ files listed in point (1) including math-operator.sty as
+ well as math-operator_code.pdf, which documents the
+ package code.
+
+Step 2: Once you have created math-operator.sty, you should
+move it into a directory searchable by TeX to complete the
+installation. If you are unsure how to do this, consult your
+TeX distribution.
+
+*********************************************************
+
+Besides this README, the installation contains the following
+items:
+
+ (1) math-operator_code.dtx: the main file. See above for
+ instructions to generate operator.sty from this
+ file and complete the installation.
+
+ (2) math-operator_code.pdf: documentation of the package
+ code.
+
+ (3) math-operator_user_guide.pdf: a user guide.
+
+Typesetting math-operator_code.dtx will create
+math-operator_user_guide.tex, which is the tex file that
+produces the user guide in point (3) above.
+
+*********************************************************
+
+Copyright 2025 Conrad Kosowsky
+
+This file may be used, distributed, and modified under the
+terms of the LaTeX Public Project License, version 1.3c or
+any later version. The most recent version of this license
+is available online at
+
+ https://www.latex-project.org/lppl/
+
+This Work has the LPPL status "maintained," and the current
+maintainer is the package author, Conrad Kosowsky. He can
+be reached at kosowsky.latex at gmail.com. The Work consists
+of the following items:
+
+ (1) the base file:
+ math-operator_code.dtx
+
+ (2) the package file:
+ math-operator.sty
+
+ (3) the pdf documentation files:
+ math-operator_code.pdf
+ math-operator_user_guide.pdf
+
+ (4) the derived files:
+ math-operator_user_guide.tex
+ math-operator_heading.tex
+
+ (5) all other files created through the configuration
+ process
+
+ and
+
+ (6) the associated README.txt file
+
+PLEASE KNOW THAT THIS FREE SOFTWARE IS PROVIDED WITHOUT
+ANY WARRANTY. SPECIFICALLY, THE "NO WARRANTY" SECTION OF
+THE LATEX PROJECT PUBLIC LICENSE STATES THE FOLLOWING:
+
+THERE IS NO WARRANTY FOR THE WORK. EXCEPT WHEN OTHERWISE
+STATED IN WRITING, THE COPYRIGHT HOLDER PROVIDES THE WORK
+`AS IS’, WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
+OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE
+OF THE WORK IS WITH YOU. SHOULD THE WORK PROVE DEFECTIVE,
+YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR, OR
+CORRECTION.
+
+IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED
+TO IN WRITING WILL THE COPYRIGHT HOLDER, OR ANY AUTHOR
+NAMED IN THE COMPONENTS OF THE WORK, OR ANY OTHER PARTY
+WHO MAY DISTRIBUTE AND/OR MODIFY THE WORK AS PERMITTED
+ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY GENERAL,
+SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT
+OF ANY USE OF THE WORK OR OUT OF INABILITY TO USE THE WORK
+(INCLUDING, BUT NOT LIMITED TO, LOSS OF DATA, DATA BEING
+RENDERED INACCURATE, OR LOSSES SUSTAINED BY ANYONE AS A
+RESULT OF ANY FAILURE OF THE WORK TO OPERATE WITH ANY
+OTHER PROGRAMS), EVEN IF THE COPYRIGHT HOLDER OR SAID
+AUTHOR OR SAID OTHER PARTY HAS BEEN ADVISED OF THE
+POSSIBILITY OF SUCH DAMAGES.
+
+For more information, see the LaTeX Project Public License.
+Derivative works based on this software may come with their
+own license or terms of use, and the package author is not
+responsible for any third-party software.
+
+*********************************************************
+
+For more information, see math-operator_code.dtx. Happy TeXing!
+
Property changes on: trunk/Master/texmf-dist/doc/latex/math-operator/README.txt
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_code.pdf
===================================================================
(Binary files differ)
Index: trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_code.pdf
===================================================================
--- trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_code.pdf 2025-02-28 22:08:51 UTC (rev 74350)
+++ trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_code.pdf 2025-02-28 22:10:12 UTC (rev 74351)
Property changes on: trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_code.pdf
___________________________________________________________________
Added: svn:mime-type
## -0,0 +1 ##
+application/pdf
\ No newline at end of property
Added: trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_heading.tex
===================================================================
--- trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_heading.tex (rev 0)
+++ trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_heading.tex 2025-02-28 22:10:12 UTC (rev 74351)
@@ -0,0 +1,137 @@
+%%
+%% This is file `math-operator_heading.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% math-operator_code.dtx (with options: `heading')
+%%
+%% This file is from version 1.0 of the free and open-source
+%% LaTeX package "math-operator," released February 2025.
+%%
+%% Copyright 2025 Conrad Kosowsky
+%%
+%% This file may be used, distributed, and modified under the
+%% terms of the LaTeX Public Project License, version 1.3c or
+%% any later version. The most recent version of this license
+%% is available online at
+%%
+%% https://www.latex-project.org/lppl/
+%%
+%% This work has the LPPL status "maintained," and the current
+%% maintainer is the package author, Conrad Kosowsky. He can
+%% be reached at kosowsky.latex at gmail.com.
+%%
+%% PLEASE KNOW THAT THIS FREE SOFTWARE IS PROVIDED WITHOUT
+%% ANY WARRANTY. SPECIFICALLY, THE "NO WARRANTY" SECTION OF
+%% THE LATEX PROJECT PUBLIC LICENSE STATES THE FOLLOWING:
+%%
+%% THERE IS NO WARRANTY FOR THE WORK. EXCEPT WHEN OTHERWISE
+%% STATED IN WRITING, THE COPYRIGHT HOLDER PROVIDES THE WORK
+%% `AS IS’, WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
+%% OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+%% WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+%% PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE
+%% OF THE WORK IS WITH YOU. SHOULD THE WORK PROVE DEFECTIVE,
+%% YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR, OR
+%% CORRECTION.
+%%
+%% IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED
+%% TO IN WRITING WILL THE COPYRIGHT HOLDER, OR ANY AUTHOR
+%% NAMED IN THE COMPONENTS OF THE WORK, OR ANY OTHER PARTY
+%% WHO MAY DISTRIBUTE AND/OR MODIFY THE WORK AS PERMITTED
+%% ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY GENERAL,
+%% SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT
+%% OF ANY USE OF THE WORK OR OUT OF INABILITY TO USE THE WORK
+%% (INCLUDING, BUT NOT LIMITED TO, LOSS OF DATA, DATA BEING
+%% RENDERED INACCURATE, OR LOSSES SUSTAINED BY ANYONE AS A
+%% RESULT OF ANY FAILURE OF THE WORK TO OPERATE WITH ANY
+%% OTHER PROGRAMS), EVEN IF THE COPYRIGHT HOLDER OR SAID
+%% AUTHOR OR SAID OTHER PARTY HAS BEEN ADVISED OF THE
+%% POSSIBILITY OF SUCH DAMAGES.
+%%
+%% For more information, see the LaTeX Project Public License.
+%% Derivative works based on this software may come with their
+%% own license or terms of use, and the package author is not
+%% responsible for any third-party software.
+%%
+%% Happy TeXing!
+%%
+
+\csname count@\endcsname\catcode`\@
+\makeatletter
+
+\def\packagedate{February 2025}
+\def\packageversion{1.0}
+
+\let\@@section\section
+\def\section{\relax
+ \vskip1in\kern\z@\vskip-1in\vskip\z@
+ \vskip1.5in\kern\z@\vskip-1.5in\vskip\z@
+ \@ifstar\star at sect\no at star@sect}
+\def\star at sect#1{\@@section*{#1}\section at name{#1}}
+\def\no at star@sect#1{\@@section{#1}\section at name{#1}}
+\def\section at name#1{\expandafter
+ \def\csname section@\thesection\endcsname{#1}}
+\def\sectionname{\csname section@\thesection\endcsname}
+
+\protected\def\clap#1{\hb at xt@\z@{\hss#1\hss}}
+\def\@oddhead{\ifnum\count0>1\relax
+ \rlap{}\hfil\clap{\itshape\sectionname}\hfil
+ \llap{\the\count0}\fi}
+\def\@evenhead{\ifnum\count0>1\relax
+ \rlap{\the\count0}\hfil\clap{\itshape\sectionname}\hfil
+ \llap{}\fi}
+\def\@oddfoot{\hfil\ifnum\count0=1\relax1\fi\hfil}
+\let\@evenfoot\@empty
+
+\pretolerance=20
+\hyphenpenalty=10
+\exhyphenpenalty=5
+\brokenpenalty=0
+\clubpenalty=5
+\widowpenalty=5
+\finalhyphendemerits=300
+\doublehyphendemerits=500
+
+\flushbottom
+
+\def\topfraction{1}
+\def\bottomfraction{1}
+\let\code\@undefined
+\newenvironment{code}
+ {\strut\vadjust\bgroup\vskip 5pt plus 1pt minus 3pt\relax
+ \parindent\z@\leftskip2em\relax
+ \noindent\strut\ignorespaces}
+ {\strut\par\vskip 5pt plus 1pt minus 3pt\relax
+ \egroup\hfill\break\strut\ignorespacesafterend}
+\def\vrb#1{\expandafter\texttt\expandafter{\string#1}}
+\parskip=0pt
+
+{\large
+ \parindent=0pt\relax
+ \leftskip=0pt plus 1fill\relax
+ \rightskip=0pt plus 1fill\relax
+{\strut\Large Package \textsf{math-operator} v.\ \packageversion\ \documentname\par
+{\strut Conrad Kosowsky}\par
+{\strut\packagedate}\par
+{\strut\ttfamily kosowsky.latex at gmail.com}\par}
+
+\bigskip
+
+{\small
+\leftskip=0.5in\relax
+\rightskip=0.5in\relax
+
+\centerline{\bfseries Overview\strut}
+\noindent The \textsf{math-operator} package defines control sequences for roughly one hundred and fifty math operators, including special functions, probability distributions, pure mathematical constructions, and a variant of |\overline|. The package also provides an interface for users to define new math operators similar to the \textsf{amsopn} package. New operators can be medium or bold weight, and they may be declared as |\mathord| or |\mathop| subformulas.\par}
+
+\bigskip\bigskip\nointerlineskip
+\centerline{\vrule height 0.5pt width 2.5in}\bigskip\bigskip}
+\nointerlineskip
+
+\catcode`\@\count@
+
+\endinput
+%%
+%% End of file `math-operator_heading.tex'.
Property changes on: trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_heading.tex
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_user_guide.tex
===================================================================
--- trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_user_guide.tex (rev 0)
+++ trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_user_guide.tex 2025-02-28 22:10:12 UTC (rev 74351)
@@ -0,0 +1,400 @@
+%%
+%% This is file `math-operator_user_guide.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% math-operator_code.dtx (with options: `user')
+%%
+%% This file is from version 1.0 of the free and open-source
+%% LaTeX package "math-operator," released February 2025.
+%%
+%% Copyright 2025 Conrad Kosowsky
+%%
+%% This file may be used, distributed, and modified under the
+%% terms of the LaTeX Public Project License, version 1.3c or
+%% any later version. The most recent version of this license
+%% is available online at
+%%
+%% https://www.latex-project.org/lppl/
+%%
+%% This work has the LPPL status "maintained," and the current
+%% maintainer is the package author, Conrad Kosowsky. He can
+%% be reached at kosowsky.latex at gmail.com.
+%%
+%% PLEASE KNOW THAT THIS FREE SOFTWARE IS PROVIDED WITHOUT
+%% ANY WARRANTY. SPECIFICALLY, THE "NO WARRANTY" SECTION OF
+%% THE LATEX PROJECT PUBLIC LICENSE STATES THE FOLLOWING:
+%%
+%% THERE IS NO WARRANTY FOR THE WORK. EXCEPT WHEN OTHERWISE
+%% STATED IN WRITING, THE COPYRIGHT HOLDER PROVIDES THE WORK
+%% `AS IS’, WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
+%% OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+%% WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+%% PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE
+%% OF THE WORK IS WITH YOU. SHOULD THE WORK PROVE DEFECTIVE,
+%% YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR, OR
+%% CORRECTION.
+%%
+%% IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED
+%% TO IN WRITING WILL THE COPYRIGHT HOLDER, OR ANY AUTHOR
+%% NAMED IN THE COMPONENTS OF THE WORK, OR ANY OTHER PARTY
+%% WHO MAY DISTRIBUTE AND/OR MODIFY THE WORK AS PERMITTED
+%% ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY GENERAL,
+%% SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT
+%% OF ANY USE OF THE WORK OR OUT OF INABILITY TO USE THE WORK
+%% (INCLUDING, BUT NOT LIMITED TO, LOSS OF DATA, DATA BEING
+%% RENDERED INACCURATE, OR LOSSES SUSTAINED BY ANYONE AS A
+%% RESULT OF ANY FAILURE OF THE WORK TO OPERATE WITH ANY
+%% OTHER PROGRAMS), EVEN IF THE COPYRIGHT HOLDER OR SAID
+%% AUTHOR OR SAID OTHER PARTY HAS BEEN ADVISED OF THE
+%% POSSIBILITY OF SUCH DAMAGES.
+%%
+%% For more information, see the LaTeX Project Public License.
+%% Derivative works based on this software may come with their
+%% own license or terms of use, and the package author is not
+%% responsible for any third-party software.
+%%
+%% Happy TeXing!
+%%
+\documentclass[12pt,twoside]{article}
+\makeatletter
+\usepackage[margin=72.27pt]{geometry}
+\usepackage[factor=700,stretch=14,shrink=14,step=1]{microtype}
+\usepackage{booktabs}
+\usepackage{tabularx}
+\usepackage{enumitem}
+\setlist{topsep=\smallskipamount,itemsep=\z@,
+ parsep=0pt,partopsep=0pt}
+\usepackage[colorlinks=true,allcolors=blue,implicit=false]{hyperref}
+\usepackage{amssymb}
+\usepackage{multicol}
+\usepackage{shortvrb}
+\MakeShortVerb{|}
+\def\meta#1{$\langle${\rmfamily\itshape #1}$\rangle$}
+
+\c at topnumber=1
+\c at bottomnumber=1
+
+\def\showop#1#2#3{\noindent
+ \hbox to 1.625in{\texttt{\string#1}\hfil}\hbox to 1.625in{#2\hfil}\hbox to 3.25in{#3\hfil}%
+ \par}
+\topsep=\smallskipamount
+
+\begin{document}
+
+\def\documentname{User Guide}
+\newdimen\MacroIndent
+\input math-operator_heading.tex
+\def\section#1#2{\@@section*{#1}\vskip-\medskipamount#2\par\bigskip}
+
+\noindent \LaTeX\ users will no doubt be familiar with the control sequences that produce special functions and operators such as |\sin|, |\cos|, or |\sup|. However, the \LaTeX\ kernel defines only about 30 such commands, and many less common but still widely used special functions remain undefined as a result. The \textsf{math-operator} package addresses this situation by defining control sequences for some hundred and fifty special functions and operators, divided into nine groups, and the package also provides an interface to define even more. The first three pages of this user guide describe how to use the package, and the remainder of the document lists the control sequences in each group. For documentation of the package code, please see |math-operator_code.pdf|, which is included with the \textsf{math-operator} installation and is available on \textsc{ctan}. I encourage users who are interested in this package to also consult the \textsf{amsopn} and \textsf{moremath} packages as they may be more useful for you.\footnote{\LaTeX3 Project and American Mathematical Society, ``amsopn---Typeset mathematical operator names,'' \href{https://ctan.org/pkg/amsopn}{\texttt{https://ctan.org/pkg/amsopn}}; Marcel Ilg, ``moremath---Additional commands for typesetting maths,'' \href{https://ctan.org/pkg/moremath}{\texttt{https://ctan.org/pkg/moremath}}.} Users who are looking specifically for operators in quantum mechanics should consult the \textsf{linop} and \textsf{phfqit} packages.\footnote{Johannes Weytjens, ``linop---Typeset linear operators as they appear in quantum theory or linear algebra,'' \href{https://ctan.org/pkg/linop}{\texttt{https://ctan.org/pkg/linop}}; Philippe Faist, ``phfqit---Macros for typesetting Quantum Information Theory,'' \href{https://ctan.org/pkg/phfqit}{\texttt{https://ctan.org/pkg/phfqit}}.}
+
+Users can load \textsf{math-operator} with the standard |\usepackage| syntax, and for each operator group, the package defines either all or no control sequences from that group during loading. Each operator group corresponds to two optional package arguments---one argument means define the control sequences of that group, and the other argument means avoid doing so. Table~1 lists the nine operator groups and their corresponding arguments. For every group, the package argument to define control sequences is a shortened version of the group name, and the package argument to avoid doing so is the same keyword prefaced by |no-|. By default, \textsf{math-operator} defines all control sequences that appear later in this document.
+
+\begin{figure}[tb]
+\centerline{\bfseries\strut Table 1: Optional Arguments for \textsf{math-operator}}
+\begin{tabular*}{\textwidth}{@{\extracolsep{\fill}}lll}\toprule
+Group & To define commands (default) & To avoid defining commands\\\midrule
+Blackboard bold & |blackboard| & |no-blackboard|\\
+Category theory & |category| & |no-category|\\
+Jacobi elliptic functions & |jacobi| & |no-jacobi|\\
+Linear algebra & |linear| & |no-linear|\\
+The command \vrb\overbar & |overbar| & |no-overbar|\\
+Probability distributions & |probability| & |no-probability|\\
+Special functions & |special| & |no-special|\\
+Standard math operators & |standard| & |no-standard|\\
+Trigonometric functions & |trigonometry| & |no-trigonometry|\\\bottomrule
+\end{tabular*}
+\end{figure}
+
+\begin{figure}[t]
+\centerline{\bfseries\strut Table 2: Commands to Define New Operators}
+\begin{tabular*}{\textwidth}{@{\extracolsep{\fill}}lll}\toprule
+& Medium weight & Bold weight\\\midrule
+Treated as \vrb\mathord & |\DeclareMathText| & |\DeclareBoldMathText|\\
+Treated as \vrb\mathop & |\DeclareMathOperator| & |\DeclareBoldMathOperator|\\\bottomrule
+\end{tabular*}
+\end{figure}
+
+Users who want to create their own operators or redefine the commands in this package should use one of the four control sequences in Table~2. The entries in Table~2 should appear only in the document preamble, and their syntax is identical and looks like
+\begin{trivlist}
+\item\ttfamily\hskip2em |\DeclareMathOperator|\meta{optional |*|}|{|%
+ \meta{control sequence}|}{|\meta{operator text}|}|
+\end{trivlist}
+When you use one of these macros, \textsf{math-operator} defines the \meta{control sequence} to produce \meta{operator text} in math mode. The optional asterisk controls the placement of superscripts and subscripts. Without an asterisk (the default version of the command), any superscripts and subscripts will render normally, but with an asterisk, they will appear above and below the operator. For example, to make a control sequence |\erf| for the error function, the |sty| file for \textsf{math-operator} contains
+\begin{trivlist}
+\item \ttfamily \hskip 2em |\DeclareMathOperator{\erf}{erf}|
+\end{trivlist}
+The syntax and implementation of these macros is very similar to the \textsf{amsopn} package.
+
+The entries of Table~2 differ in the appearance of the resulting operator. The commands in the first column produce operators with medium text, and the commands in the second column produce operators with bold text. The difference between the rows is more subtle and boils down to the automatic spacing before and after the operator.\footnote{\TeX's eight classes of math subformulas are beyond the scope of this user guide, but in summary, the horizontal position of different characters in an equation depends on their math classes. See Donald Knuth, \textit{The TEXbook} (Addison Wesley, 1986), 170; David Salomon, \textit{The Advanced TEXbook} (Springer, 1995), 256–258.} The macros from the first row instruct \TeX\ to treat the operator like an ordinary variable, so they are most appropriate for sets and categories. The macros from the second row instruct \TeX\ to horizontally position the operator like a summation or integral sign, and they are appropriate for functions and probability distributions. But if you are not overly fastidious, for most uses of this package other than category theory, you will probably be fine to just use |\DeclareMathOperator|.
+
+The macros in Table~2 will happily redefine any operator commands, but they will not overwrite other control sequences unless you specifically tell them to do so. The count variable |\operatordefmode| controls the package behavior in this regard as follows:
+\begin{itemize}
+\item Negative: redefine the control sequence
+\item 0: silently ignore (message written in the |log| file)
+\item 1: issue a warning and do not redefine
+\item 2 or greater: raise an error
+\end{itemize}
+By default, \textsf{math-operator} sets |\operatordefmode| to 1, so you will see a warning on the terminal or console if you try to convert a control sequence that is already defined into a math operator. However, if you really want to redefine a control sequence to be a math operator, you can say
+\begin{trivlist}
+\item \hskip 2em\ttfamily |\operatordefmode=-1|
+\end{trivlist}
+before calling a command from Table~2.
+
+One operator group warrants additional explanation. The package argument |overbar| corresponds to the single control sequence |\overbar|, which adds a horizontal line above a math subformula. The line will be wider than |\bar| but narrower than |\overline|, and the syntax is
+\begin{trivlist}
+\item\hskip2em\ttfamily |\overbar|\meta{optional $*$}|[|\meta{optional decimal}|]{|\meta{math}|}|
+\end{trivlist}
+The \meta{decimal} should be between 0 and 1, and it controls the width of the overline. Specifically, |\overbar| typesets \meta{math}, creates a horizontal line that is \meta{decimal} times the width of the math subformula, and places the line above the typeset subformula. By default, \meta{decimal} is 0.8. With an asterisk, |\overbar| positions the overline halfway over the subformula. For example, the code
+\begin{trivlist}
+\item \hskip 2em\ttfamily |\overbar*[0.9]{xyz}|
+\end{trivlist}
+will put an overline above $xyz$ that is 90\% the length of $xyz$ and position it exactly halfway between the start of the $x$ and the end of the $z$.
+
+When |\overbar| does not have an asterisk (the default version of the command), the count variable |\operatorbaroffset| controls the horizontal placement of the line. As is standard in \TeX, this variable should take values between 0 and 1000, and \textsf{math-operator} divides |\operatorbaroffset| by 1000 to form a fraction. It then places the overline that fraction of the way across the top of the subformula. The default value is 800. For example, saying
+\begin{trivlist}
+\item \hskip 2em\ttfamily |\operatorbaroffset=0|
+\end{trivlist}
+will make all following |\overbar| lines appear completely on the left side of the subformula, and an asterisk is equivalent to setting |\operatorbaroffset| to 500.
+
+Finally, the package defines two other user-level commands. Because it may redefine |\P|, \textsf{math-operator} always defines |\pilcrow| to typeset the \P\ symbol in text and math modes. The macro |\operatorhyphen| will typeset a hyphen when used in the definition of an operator control sequence or in a local font-change command for math such as |\mathrm| or |\mathbf|. Using |\operatorhyphen| in any other situation will result in an error.
+
+\bigskip
+
+\centerline{***}
+
+\vskip-\bigskipamount
+\vskip-\medskipamount
+\vskip\z@
+
+\section{Blackboard Bold}{Note: to use the blackboard-bold commands listed here, you must load a package that defines \vrb\mathbb\space such as \textsf{amssymb} or \textsf{mathfont}, and that command should provide access to blackboard-bold characters. If you do not do so before using these control sequences, you'll get an error.}
+
+\showop\N{$\mathbb N$}{Natural numbers}
+\showop\Z{$\mathbb Z$}{Integers}
+\showop\Q{$\mathbb Q$}{Rational numbers}
+\showop\R{$\mathbb R$}{Real numbers}
+\showop\C{$\mathbb C$}{Complex numbers}
+\showop\H{$\mathbb H$}{Quaternions (or half-plane)\footnotemark}\footnotetext{In math mode only. Outside of equations, \vrb\H\ will still behave normally. If you want to change the \vrb\H\ operator somehow, you should redefine \vrb\mathH, not \vrb\H.}
+\showop\O{$\mathbb O$}{Octonions\footnotemark}\footnotetext{In math mode only. Outside of equations, \vrb\O\ will still behave normally. If you want to change the \vrb\O\ operator somehow, you should redefine \vrb\mathO, not \vrb\O.}
+\showop\P{$\mathbb P$}{Probability}
+\showop\E{$\mathbb E$}{Expectation}
+
+\section{Categories}{I am not a category theorist, and serious category theorists who use this package will undoubtedly want to define more categories in their own documents using \vrb\DeclareBoldMathText. If I missed any common categories that should be on this list, I am very open to expanding it.}
+
+\showop{\Ab}{\textbf{Ab}}{Category of abelian groups}
+\showop{\Alg}{\textbf{Alg}}{Category of algebras}
+\showop{\Cat}{\textbf{Cat}}{Category of small categories}
+\showop{\CRing}{\textbf{CRing}}{Category of commutative rings}
+\showop{\Field}{\textbf{Field}}{Category of fields}
+\showop{\FinGrp}{\textbf{FinGrp}}{Category of finite groups}
+\showop{\FinVect}{\textbf{FinVect}}{Category of finite-dimensional vector spaces}
+\showop{\Grp}{\textbf{Grp}}{Category of groups}
+\showop{\Haus}{\textbf{Haus}}{Category of Hausdorff spaces}
+\showop{\Man}{\textbf{Man}}{Category of manifolds}
+\showop{\Met}{\textbf{Met}}{Category of metric spaces}
+\showop{\Mod}{\textbf{Mod}}{Category of modules}
+\showop{\Mon}{\textbf{Mon}}{Category of monoids}
+\showop{\Ord}{\textbf{Ord}}{Category of preordered sets}
+\showop{\Ring}{\textbf{Ring}}{Category of rings}
+\showop{\Set}{\textbf{Set}}{Category of sets}
+\showop{\Top}{\textbf{Top}}{Category of topological spaces}
+\showop{\Vect}{\textbf{Vect}}{Category of vector spaces}
+\showop{\cocone}{cocone}{Cocone}
+\showop{\colim}{colim}{Colimit}
+\showop{\cone}{cone}{Cone}
+\showop{\op}{$^{\operator at font op}$}{Opposite category}
+
+\vfil
+
+\section{Jacobi Elliptic Functions}{Pretty straightforward. If you load \textsf{math-operator} with |jacobi|, you won't be able to use \vrb\sc\ to change to a small-caps font. (But you shouldn't use \vrb\sc\ anyway because it's deprecated.)}
+
+\showop{\cd}{cd}{}
+\showop{\cn}{cn}{}
+\showop{\cs}{cs}{}
+\showop{\dc}{dc}{}
+\showop{\dn}{dn}{}
+\showop{\ds}{ds}{}
+\showop{\nc}{nc}{}
+\showop{\nd}{nd}{}
+\showop{\ns}{ns}{}
+\showop{\sc}{sc}{}
+\showop{\sd}{sd}{}
+\showop{\sn}{sn}{}
+
+\section{Linear Algebra}{Some matrix groups and operations.}
+
+\showop{\adj}{adj}{Adjugate matrix}
+\showop{\coker}{coker}{Cokernel}
+\showop{\GL}{GL}{General linear group}
+\showop{\nullity}{nullity}{Nullity}
+\showop{\Orthogonal}{O}{Orthogonal group}
+\showop{\proj}{proj}{Projection (onto a vector)}
+\showop{\rank}{rank}{Rank}
+\showop{\SL}{SL}{Special linear group}
+\showop{\SO}{SO}{Special orthogonal group}
+\showop{\SU}{SU}{Special unitary group}
+\showop{\Sp}{Sp}{Symplectic group}
+\showop{\spanop}{span}{Span}
+\showop{\tr}{tr}{Trace}
+\showop{\T}{$^{\operator at font T}$}{Transpose}
+\showop{\Unitary}{U}{Unitary group}
+
+\section{Overlining}{Loading \textsf{math-operator} with the |overbar| option tells the package to define \vrb\overbar. Below are two examples of this macro with \vrb\bar\space and \vrb\overline\space for comparison.}
+
+{\columnsep\z@
+\multicolsep\z@
+\begin{multicols}{2}
+\tabcolsep\z@
+
+\setbox\@tempboxa\hbox{%
+ \setbox\@tempboxa\hbox{$a$}%
+ \@tempdima\wd\@tempboxa
+ \@tempdimb\ht\@tempboxa
+ \rlap{\box\@tempboxa}%
+ \hskip 0.16\@tempdima
+ $\overline{\vrule height \@tempdimb width \z@ depth \z@
+ \hskip 0.8\@tempdima}\m at th$}
+
+\noindent\begin{tabular}{p{0.5\columnwidth}l}
+|\bar a| & $\bar a$\\
+|\overbar a| & \box\@tempboxa\\
+|\overline a| & $\overline a$
+\end{tabular}
+
+\columnbreak
+
+\setbox\@tempboxa\hbox{%
+ \setbox\@tempboxa\hbox{$X$}%
+ \@tempdima\wd\@tempboxa
+ \@tempdimb\ht\@tempboxa
+ \rlap{\box\@tempboxa}%
+ \hskip 0.16\@tempdima
+ $\overline{\vrule height \@tempdimb width \z@ depth \z@
+ \hskip 0.8\@tempdima}\m at th$}
+
+\noindent\begin{tabular}{p{0.5\columnwidth}l}
+|\bar X| & $\bar X$\\
+|\overbar X| & \box\@tempboxa\\
+|\overline X| & $\overline X$
+\end{tabular}
+
+\end{multicols}\par}
+
+\section{Probability Distributions}{A selection of the most common probability distributions. For the normal distribution, if you type \vrb\Normal\ without the asterisk, you will see $\mathcal N$, and if you include the asterisk after \vrb\Normal, then \textsf{math-operator} will write out ``Normal.''}
+
+\showop{\Bernoulli}{Bernoulli}{}
+\showop{\Betaop}{Beta}{}
+\showop{\Binomial}{Binomial}{}
+\showop{\Boltzmann}{Boltzmann}{}
+\showop{\Burr}{Burr}{}
+\showop{\Categorical}{Categorical}{}
+\showop{\Cauchy}{Cauchy}{}
+\showop{\ChiSq}{$\chi^2$}{Chi-squared}
+\showop{\Dagum}{Dagum}{}
+\showop{\Exponential}{Exponential}{}
+\showop{\Erlang}{Erlang}{}
+\showop{\Gammaop}{Gamma}{}
+\showop{\Gompertz}{Gompertz}{}
+\showop{\InvChiSq}{Inv-$\chi^2$}{Inverse chi-squared}
+\showop{\InvGamma}{Inv-Gamma}{Inverse gamma}
+\showop{\Kolmogorov}{Kolmogorov}{}
+\showop{\LogLogistic}{Log-Logistic}{}
+\showop{\LogNormal}{Log-Normal}{}
+\showop{\Logistic}{Logistic}{}
+\showop{\Lomax}{Lomax}{}
+\showop{\MaxwellBoltzmann}{Maxwell-Boltzmann}{}
+\showop{\Multinomial}{Multinomial}{}
+\showop{\NegBinomial}{Neg-Binomial}{Negative binomial}
+\showop{\Normal\meta{optional $*$}}{$\mathcal N$ or Normal}{}
+\showop{\Pareto}{Pareto}{}
+\showop{\Poisson}{Poisson}{}
+\showop{\Weibull}{Weibull}{}
+\showop{\Zipf}{Zipf}{}
+
+\section{Special Functions}{Common special functions from applied math.}
+
+\showop{\Ai}{Ai}{Airy function of the first kind}
+\showop{\Bi}{Bi}{Airy function of the second kind}
+\showop{\Ci}{Ci}{Cosine integral function}
+\showop{\ci}{ci}{Cosine integral function (variant)}
+\showop{\Chi}{Chi}{Hyperbolic cosine integral function}
+\showop{\Ei}{Ei}{Exponential integral function}
+\showop{\erf}{erf}{Error function}
+\showop{\erfinv}{erf$^{-1}$}{Inverse error function}
+\showop{\erfc}{erfc}{Complementary error function}
+\showop{\erfcinv}{erfc$^{-1}$}{Inverse complementary error function}
+\showop{\Li}{Li}{Polylogarithm function}
+\showop{\li}{li}{Logarithmic integral function}
+\showop{\Log}{Log}{Logarithm (principal value)}
+\showop{\sgn}{sgn}{Sign function}
+\showop{\Si}{Si}{Sine integral function}
+\showop{\si}{si}{Sine integral function (variant)}
+\showop{\Shi}{Shi}{Hyperbolic sine integral function}
+
+\section{Standard Operators}{Common mathematical operations. More pure mathy than the special functions.}
+
+\showop{\argmax}{arg$\,$max}{Arguments of the maxima}
+\showop{\argmin}{arg$\,$min}{Arguments of the minima}
+\showop{\Aut}{Aut}{Automorphism group}
+\showop{\c}{$^{\begingroup\operator at font c\endgroup}$}{Complement\footnotemark}\footnotetext{In math mode only. Outside of equations, \vrb\c\ will still behave normally. If you want to change the \vrb\c\ operator somehow, you should redefine \vrb\mathc, not \vrb\c.}
+\showop{\cf}{cf}{Cofinality}
+\showop{\cl}{cl}{Closure}
+\showop{\conv}{conv}{Convex hull}
+\showop{\corr}{corr}{Correlation}
+\showop{\cov}{cov}{Covariance}
+\showop{\curl}{curl}{Curl}
+\showop{\divop}{div}{Divergence}
+\showop{\grad}{grad}{Gradient}
+\showop{\Hom}{Hom}{Collection of morphisms}
+\showop{\id}{id}{Identity}
+\showop{\Im}{Im}{Imaginary part}
+\showop{\varIm}{$\Im$}{Imaginary part\footnotemark}\footnotetext{In the \LaTeX\ kernel, \texttt{\string\Im} produces $\Im$, but I decided to change that since Im is more standard than $\Im$.}
+\showop{\img}{img}{Image}
+\showop{\interior}{int}{Interior}
+\showop{\lcm}{lcm}{Least common multiple}
+\showop{\Proj}{Proj}{Projective spectrum}
+\showop{\Re}{Re}{Real part}
+\showop{\varRe}{$\Re$}{Real part\footnotemark}\footnotetext{In the \LaTeX\ kernel, \texttt{\string\Re} produces $\Re$, but I decided to change that since Re is more standard than $\Re$.}
+\showop{\Res}{Res}{Residue}
+\showop{\Spec}{Spec}{Spectrum}
+\showop{\supp}{supp}{Support}
+\showop{\Var}{Var}{Variance}
+
+\section{Trigonometry}{All inverse, hyperbolic, and inverse hyperbolic trigonometric functions that are not in the \LaTeX\ kernel.}
+
+\showop{\csch}{csch}{Hyperbolic cosecant}
+\showop{\sech}{sech}{Hyperbolic secant}
+\showop{\arccsc}{arccsc}{Inverse cosecant}
+\showop{\arcsec}{arcsec}{Inverse secant}
+\showop{\arccot}{arccot}{Inverse cotangent}
+\showop{\arcsinh}{arcsinh}{Inverse hyperbolic sine}
+\showop{\arccosh}{arccosh}{Inverse hyperbolic cosine}
+\showop{\arctanh}{arctanh}{Inverse hyperbolic tangent}
+\showop{\arccsch}{arccsch}{Inverse hyperbolic cosecant}
+\showop{\arcsech}{arcsech}{Invesse hyperbolic secant}
+\showop{\arccoth}{arccoth}{Inverse hyperbolic tangent}
+\showop{\arsinh}{arsinh}{Inverse hyperbolic sine}
+\showop{\arcosh}{arcosh}{Inverse hyperbolic cosine}
+\showop{\artanh}{artanh}{Inverse hyperbolic tangent}
+\showop{\arcsch}{arcsch}{Inverse hyperbolic cosecant}
+\showop{\arsech}{arsech}{Inverse hyperbolic secant}
+\showop{\arcoth}{arcoth}{Inverse hyperbolic cotangent}
+\showop{\sininv}{sin$^{-1}$}{Inverse sine}
+\showop{\cosinv}{cos$^{-1}$}{Inverse cosine}
+\showop{\taninv}{tan$^{-1}$}{Inverse tangent}
+\showop{\cscinv}{csc$^{-1}$}{Inverse cosecant}
+\showop{\secinv}{sec$^{-1}$}{Inverse secant}
+\showop{\cotinv}{cot$^{-1}$}{Inverse cotangent}
+\showop{\sinhinv}{sinh$^{-1}$}{Inverse hyperbolic sine}
+\showop{\coshinv}{cosh$^{-1}$}{Inverse hyperbolic cosine}
+\showop{\tanhinv}{tanh$^{-1}$}{Inverse hyperbolic tangent}
+\showop{\cschinv}{csch$^{-1}$}{Inverse hyperbolic cosecant}
+\showop{\sechinv}{sech$^{-1}$}{Inverse hyperbolic secant}
+\showop{\cothinv}{coth$^{-1}$}{Inverse hyperbolic cotangent}
+
+\end{document}
+\endinput
+%%
+%% End of file `math-operator_user_guide.tex'.
Property changes on: trunk/Master/texmf-dist/doc/latex/math-operator/math-operator_user_guide.tex
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: trunk/Master/texmf-dist/doc/latex/math-operator/user_guide/math-operator_user_guide.pdf
===================================================================
(Binary files differ)
Index: trunk/Master/texmf-dist/doc/latex/math-operator/user_guide/math-operator_user_guide.pdf
===================================================================
--- trunk/Master/texmf-dist/doc/latex/math-operator/user_guide/math-operator_user_guide.pdf 2025-02-28 22:08:51 UTC (rev 74350)
+++ trunk/Master/texmf-dist/doc/latex/math-operator/user_guide/math-operator_user_guide.pdf 2025-02-28 22:10:12 UTC (rev 74351)
Property changes on: trunk/Master/texmf-dist/doc/latex/math-operator/user_guide/math-operator_user_guide.pdf
___________________________________________________________________
Added: svn:mime-type
## -0,0 +1 ##
+application/pdf
\ No newline at end of property
Added: trunk/Master/texmf-dist/source/latex/math-operator/math-operator_code.dtx
===================================================================
--- trunk/Master/texmf-dist/source/latex/math-operator/math-operator_code.dtx (rev 0)
+++ trunk/Master/texmf-dist/source/latex/math-operator/math-operator_code.dtx 2025-02-28 22:10:12 UTC (rev 74351)
@@ -0,0 +1,1617 @@
+% \iffalse ---!!! FIRST META-COMMENT !!!---
+%
+%
+% This file is operator_code.dtx from version 1.0
+% of the free and open-source LaTeX package "math-operator,"
+% released February 2025.
+%
+% Running Plain TeX on math-operator_code.dtx will
+% produce the following files:
+%
+% (1) the package file math-operator.sty;
+%
+% (2) the derived files math-operator_heading.tex
+% and math-operator_user_guide.tex, which are
+% used for typesetting documentation;
+%
+% and
+%
+% (3) a number of other derived files.
+%
+% Running LaTeX on math-operator_code.dtx will produce the
+% files listed above as well as the following:
+%
+% (4) the pdf documentation file math-operator_code.pdf;
+%
+% and
+%
+% (5) a number of other derived files.
+%
+% To install operator on your computer, run this file
+% through Plain TeX or LaTeX and move math-operator.sty
+% to a directory searchable by TeX. See the associated
+% README.txt file for installation information.
+%
+%
+% \fi
+% \iffalse ---!!! SECOND META-COMMENT !!!---
+%
+%
+% This file is from version 1.0 of the free and open-source
+% LaTeX package "math-operator," released February 2025.
+%
+% Copyright 2025 Conrad Kosowsky
+%
+% This file may be used, distributed, and modified under the
+% terms of the LaTeX Public Project License, version 1.3c or
+% any later version. The most recent version of this license
+% is available online at
+%
+% https://www.latex-project.org/lppl/
+%
+% This Work has the LPPL status "maintained," and the current
+% maintainer is the package author, Conrad Kosowsky. He can
+% be reached at kosowsky.latex at gmail.com. The Work consists
+% of the following items:
+%
+% (1) the base file:
+% math-operator_code.dtx
+%
+% (2) the package file:
+% math-operator.sty
+%
+% (3) the pdf documentation files:
+% math-operator_code.pdf
+% math-operator_user_guide.pdf
+%
+% (4) the derived files:
+% math-operator_user_guide.tex
+% math-operator_heading.tex
+%
+% (5) all other files created through the configuration
+% process
+%
+% and
+%
+% (6) the associated README.txt file
+%
+% PLEASE KNOW THAT THIS FREE SOFTWARE IS PROVIDED WITHOUT
+% ANY WARRANTY. SPECIFICALLY, THE "NO WARRANTY" SECTION OF
+% THE LATEX PROJECT PUBLIC LICENSE STATES THE FOLLOWING:
+%
+% THERE IS NO WARRANTY FOR THE WORK. EXCEPT WHEN OTHERWISE
+% STATED IN WRITING, THE COPYRIGHT HOLDER PROVIDES THE WORK
+% `AS IS’, WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
+% OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+% WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+% PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE
+% OF THE WORK IS WITH YOU. SHOULD THE WORK PROVE DEFECTIVE,
+% YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR, OR
+% CORRECTION.
+%
+% IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED
+% TO IN WRITING WILL THE COPYRIGHT HOLDER, OR ANY AUTHOR
+% NAMED IN THE COMPONENTS OF THE WORK, OR ANY OTHER PARTY
+% WHO MAY DISTRIBUTE AND/OR MODIFY THE WORK AS PERMITTED
+% ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY GENERAL,
+% SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT
+% OF ANY USE OF THE WORK OR OUT OF INABILITY TO USE THE WORK
+% (INCLUDING, BUT NOT LIMITED TO, LOSS OF DATA, DATA BEING
+% RENDERED INACCURATE, OR LOSSES SUSTAINED BY ANYONE AS A
+% RESULT OF ANY FAILURE OF THE WORK TO OPERATE WITH ANY
+% OTHER PROGRAMS), EVEN IF THE COPYRIGHT HOLDER OR SAID
+% AUTHOR OR SAID OTHER PARTY HAS BEEN ADVISED OF THE
+% POSSIBILITY OF SUCH DAMAGES.
+%
+% For more information, see the LaTeX Project Public License.
+% Derivative works based on this software may come with their
+% own license or terms of use, and the package author is not
+% responsible for any third-party software.
+%
+% Happy TeXing!
+%
+%
+% \fi
+% \iffalse
+%
+% The installation and driver files are incorporated into
+% math-operator_code.dtx, so we do not need to generate them
+% separately. The <batchfile> and <driver> tags are for
+% reference.
+%
+%<*batchfile>
+\begingroup
+\input docstrip.tex
+\keepsilent
+\askforoverwritefalse
+\preamble
+
+This file is from version 1.0 of the free and open-source
+LaTeX package "math-operator," released February 2025.
+
+Copyright 2025 Conrad Kosowsky
+
+This file may be used, distributed, and modified under the
+terms of the LaTeX Public Project License, version 1.3c or
+any later version. The most recent version of this license
+is available online at
+
+ https://www.latex-project.org/lppl/
+
+This work has the LPPL status "maintained," and the current
+maintainer is the package author, Conrad Kosowsky. He can
+be reached at kosowsky.latex at gmail.com.
+
+PLEASE KNOW THAT THIS FREE SOFTWARE IS PROVIDED WITHOUT
+ANY WARRANTY. SPECIFICALLY, THE "NO WARRANTY" SECTION OF
+THE LATEX PROJECT PUBLIC LICENSE STATES THE FOLLOWING:
+
+THERE IS NO WARRANTY FOR THE WORK. EXCEPT WHEN OTHERWISE
+STATED IN WRITING, THE COPYRIGHT HOLDER PROVIDES THE WORK
+`AS IS’, WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
+OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE
+OF THE WORK IS WITH YOU. SHOULD THE WORK PROVE DEFECTIVE,
+YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR, OR
+CORRECTION.
+
+IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED
+TO IN WRITING WILL THE COPYRIGHT HOLDER, OR ANY AUTHOR
+NAMED IN THE COMPONENTS OF THE WORK, OR ANY OTHER PARTY
+WHO MAY DISTRIBUTE AND/OR MODIFY THE WORK AS PERMITTED
+ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY GENERAL,
+SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT
+OF ANY USE OF THE WORK OR OUT OF INABILITY TO USE THE WORK
+(INCLUDING, BUT NOT LIMITED TO, LOSS OF DATA, DATA BEING
+RENDERED INACCURATE, OR LOSSES SUSTAINED BY ANYONE AS A
+RESULT OF ANY FAILURE OF THE WORK TO OPERATE WITH ANY
+OTHER PROGRAMS), EVEN IF THE COPYRIGHT HOLDER OR SAID
+AUTHOR OR SAID OTHER PARTY HAS BEEN ADVISED OF THE
+POSSIBILITY OF SUCH DAMAGES.
+
+For more information, see the LaTeX Project Public License.
+Derivative works based on this software may come with their
+own license or terms of use, and the package author is not
+responsible for any third-party software.
+
+Happy TeXing!
+
+\endpreamble
+\generate{\file{math-operator.sty}{\from{math-operator_code.dtx}{code}}
+ \file{math-operator_user_guide.tex}{\from{math-operator_code.dtx}{user}}
+ \file{math-operator_heading.tex}{\from{math-operator_code.dtx}{heading}}}
+\catcode`\ =12\relax
+\immediate\write0{^^J%
+******************************************************^^J%
+* Step 1 of the math-operator installation complete! *^^J%
+******************************************************^^J^^J%
+******************************************************^^J%
+* To finish the installation, move math-operator.sty *^^J%
+* to a directory searchable by TeX after *^^J%
+* after math-operator_code.tex is done typesetting *^^J%
+******************************************************^^J}
+\endgroup
+\ifx\LaTeX\undefined
+ \immediate\write0{Plain TeX format used; quitting now.}
+ \immediate\write0{To create operator_code.pdf, run^^J%
+ operator_code.dtx through LaTeX.^^J^^J}
+ \expandafter\end
+\fi
+%</batchfile>
+%<*driver>
+\makeatletter
+\documentclass[12pt,letterpaper,doc2,twoside]{ltxdoc}
+\edef\MacroFont{\unexpanded\expandafter{\MacroFont}%
+ \baselineskip=\the\baselineskip plus 0.4pt minus 0.4pt}
+\usepackage[margin=1in]{geometry}
+\usepackage[factor=700,stretch=14,step=1]{microtype}
+\usepackage{enumitem}
+\setlist{topsep=\smallskipamount,itemsep=\smallskipamount,
+ parsep=\z@,partopsep=\z@,beginpenalty=0,midpenalty=0,
+ endpenalty=0}
+\c at IndexColumns=2
+\c at topnumber\@ne
+\columnsep=20pt
+\MacroIndent=16pt
+\let\index at prologue\relax
+\EnableCrossrefs\CodelineIndex
+\begin{document}
+ \baselineskip=\the\baselineskip plus 0.4pt minus 0.4pt
+ \flushbottom
+ \def\documentname{Implementation}
+ \input math-operator_heading.tex
+ \c at CodelineNo=59\relax
+ \DocInput{math-operator_code.dtx}
+ \vfil\eject
+
+ \immediate\closeout\@indexfile
+ \ifx\directlua\@undefined
+ \immediate\write18{makeindex -s gind.ist math-operator_code.idx}
+ \else
+ \directlua{os.execute("makeindex -s gind.ist math-operator_code.idx")}
+ \fi
+
+ \section*{Index}
+
+
+ \input math-operator_code.ind
+
+\end{document}
+%</driver>
+%<*code>
+% \fi
+%
+% \CheckSum{1354}
+% \init at checksum
+%
+% \makeatother\CharacterTable
+% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
+% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
+% Digits \0\1\2\3\4\5\6\7\8\9
+% Exclamation \! Double quote \" Hash (number) \#
+% Dollar \$ Percent \% Ampersand \&
+% Acute accent \' Left paren \( Right paren \)
+% Asterisk \* Plus \+ Comma \,
+% Minus \- Point \. Solidus \/
+% Colon \: Semicolon \; Less than \<
+% Equals \= Greater than \> Question mark \?
+% Commercial at \@ Left bracket \[ Backslash \\
+% Right bracket \] Circumflex \^ Underscore \_
+% Grave accent \` Left brace \{ Vertical bar \|
+% Right brace \} Tilde \~}
+% \makeatletter
+%
+%
+% \DoNotIndex{\-,\@firstoftwo,\@gobble,\@ifoperator,\@ifstar,
+% \@namedef\@nameuse,\@ne,\@nil,\@nnil,\@operator at bbfalse,
+% \@operator at bbtrue,\@operator at cfalse,\@operator at ctrue,
+% \@operator at jfalse,\@operator at jtrue,\advance,\ifx,\else,\fi,
+% \@operator at lfalse,\@operator at ltrue,\@operatorinfo,
+% \@operator at pfalse,\@operator at ptrue,\limits,\nolimits,
+% \@operator at sfalse,\@operator at strue,\number,\operator at font,
+% \@operator at sffalse,\@operator at sftrue,\or,\ProvidesPackage,
+% \@operator at tfalse,\@operator at ttrue,\@undefined,
+% \@tempa,\@tempcnta,\@tempcntb,\@tempswatrue,\@tempswafalse,
+% \begingroup,\endgroup,\bfdefault,\count@,\csname,\endcsname,
+% \ifcat,\noexpand,\relax,\expandafter,\edef,\f at encoding,
+% \f at family,\f at shape,\fam,\def,\detokenize,\divide,\hbox,
+% \hexnumber@,\if at operator@bb,\if at operator@c,\if at operator@j,
+% \if at operator@l,\if at operator@p,\if at operator@s,\if at operator@sf,
+% \if at operator@t,\if at tempswa,\ifcase,\ifdefined,\ifin@,\ifmmode,
+% \ifnum,\in@,\ifin@,\let,\m at ne,\mathbb,\mathchar,\mathop,
+% \MessageBreak,\mathchoice,\multiply,\NeedsTeXFormat,\newcount,
+% \newif,\noexpand,\relax,\space,\split at name,\string,\Umathchar,
+% \wlog,\xdef,\z@,\the,\protected,\DeclareFixedFont,\@secondoftwo,
+% \@namedef,\PackageError,\PackageWarning,\global,\ProcessOptions,
+% \DeclareOption,\escapechar,\kern,\@onlypreamble,\DeclareMathText,
+% \DeclareBoldMathOperator,\DeclareBoldMathText,\DeclareMathOperator,
+% \@ifnextchar,\@operator at ofalse,\@operator at otrue,\if at operator@o,
+% \@tempboxa,\@tempdima,\@tempdimb,\@tempdimc,\dimexpr,
+% \setbox,\unhbox,\hskip,\ht,\wd,\dp,\hfil,\mathrm,\mathbf,\vrule}
+%
+%
+%
+% \noindent This file documents the code for the \textsf{math-operator} package. It is not a user guide! If you are looking for instructions on how to typeset math operators in your equations, please see |math-operator_user_guide.pdf|, which is included with the \textsf{math-operator} installation and is available on \textsc{ctan}. The first two sections of this file deal with package setup and the commands to define new operators, and the remaining sections document the operators defined in this package. Section~3 covers several blackboard-bold letters, and Section~4 discusses categories. Section~5 deals with Jacobi elliptic functions, and Section~6 defines matrix groups and linear algebra operations. Section~7 defines the command to produce an overline. Section~8 defines a number of common probability distributions. Section~9 deals with special functions, and Section~10 covers other standard operators. Finally, Section~11 defines trigonometric functions. Version history and code index appear at the end of the document.
+%
+%
+%
+%
+% \section{Setup}
+%
+% \noindent We begin with package declaration. The first 59 lines of |operator.sty| are comments.
+% \begin{macrocode}
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{operator}[2025/02/27 Package math-operator v. 1.0]
+% \end{macrocode}
+% Create booleans that we'll use for option processing. One boolean per category of operator.
+% \begin{macrocode}
+\newif\if at operator@bb % blackboard bold
+\newif\if at operator@c % category theory
+\newif\if at operator@j % Jacobi elliptic functions
+\newif\if at operator@l % linear algebra
+\newif\if at operator@o % overlining
+\newif\if at operator@p % probability distributions
+\newif\if at operator@sf % special functions
+\newif\if at operator@s % standard operators
+\newif\if at operator@t % trigonometry
+% \end{macrocode}
+% Set all options to true by default.
+% \begin{macrocode}
+\@operator at bbtrue
+\@operator at ctrue
+\@operator at jtrue
+\@operator at ltrue
+\@operator at otrue
+\@operator at ptrue
+\@operator at sftrue
+\@operator at strue
+\@operator at ttrue
+% \end{macrocode}
+% Now declare and process options.
+% \begin{macrocode}
+\DeclareOption{blackboard}{\@operator at bbtrue}
+\DeclareOption{category}{\@operator at ctrue}
+\DeclareOption{jacobi}{\@operator at jtrue}
+\DeclareOption{linear}{\@operator at ltrue}
+\DeclareOption{overbar}{\@operator at otrue}
+\DeclareOption{probability}{\@operator at ptrue}
+\DeclareOption{special}{\@operator at sftrue}
+\DeclareOption{standard}{\@operator at strue}
+\DeclareOption{trigonometry}{\@operator at ttrue}
+% \end{macrocode}
+% The |no-| options prevent the package from defining certain operators.
+% \begin{macrocode}
+\DeclareOption{no-blackboard}{\@operator at bbfalse}
+\DeclareOption{no-category}{\@operator at cfalse}
+\DeclareOption{no-jacobi}{\@operator at jfalse}
+\DeclareOption{no-linear}{\@operator at lfalse}
+\DeclareOption{no-overbar}{\@operator at ofalse}
+\DeclareOption{no-probability}{\@operator at pfalse}
+\DeclareOption{no-special}{\@operator at sffalse}
+\DeclareOption{no-standard}{\@operator at sfalse}
+\DeclareOption{no-trigonometry}{\@operator at tfalse}
+\ProcessOptions*
+% \end{macrocode}
+% A couple bookkeeping things. The count |\operatordefmode| determines the package behavior when the user calls one of the declaration commands on a control sequence that is already defined (and not an operator). When |\operatordefmode| is negative, the package overwrites the definition. Otherwise, the package behaves as follows:
+% \begin{itemize}
+% \item 0: Silently ignore (message written on the |log| file)
+% \item 1 (default): issue a warning
+% \item 2 or greater: issue an error message
+% \end{itemize}
+% We implement this behavior later in |\make at newop@cmd|.
+% \begin{macrocode}
+\def\@operatorinfo#1{\wlog{Package operator Info: #1}}
+\newcount\operatordefmode
+\operatordefmode\@ne
+% \end{macrocode}
+% It is helpful to have a command |\@operatorhyphen| that pulls a hyphen from the operator font because some operators contain a hyphen. (In particular, a number of probability distributions have hyphens in their names.) Typesetting a hyphen without |\textrm{|\dots|}| is complicated because |\operator at font| may not (probably won't) do anything to the |\mathcode| of hyphens, so just typing |-| will leave us with a minus sign instead of punctuation. Accordingly, we manually insert a hyphen using |\mathchar| or |\Umathchar|. The math character class is 0 (|\mathord|), and we take the family of the operator font from |\fam|. This means that |\@operatorhyphen| should appear only after |\operator at font|. Because bold operators with this package make use of \textsc h mode, we also make the command useable outside \textsc m mode, where it expands to the usual |-| character.
+% \begin{macrocode}
+\ifdefined\Umathchar
+ \protected\edef\@operatorhyphen{%
+ \Umathchar+0+\noexpand\the\fam+\number`\-\relax}
+% \end{macrocode}
+% For the case where |\Umathchar| is undefined, we have to convert |\number`\-| to hexadecimal, and we use the same approach as |\set at mathchar| from the \LaTeX\ kernel.
+% \begin{macrocode}
+\else
+ \begingroup
+ \@tempcntb=\number`\-\relax
+ \count@\@tempcntb
+ \divide\count@ by 16\relax
+ \@tempcnta\count@
+ \multiply\count@ by 16\relax
+ \advance\@tempcntb by -\count@
+ \protected\xdef\@operatorhyphen{%
+ \mathchar"0%
+ \noexpand\hexnumber@\fam
+ \hexnumber@\@tempcnta
+ \hexnumber@\@tempcntb\relax}
+ \endgroup
+\fi
+% \end{macrocode}
+% We make two miscellaneous control sequences: first, a different name for pilcrow symbol (because \textsf{math-operator} may overwrite |\P|) and second, user-level access to the math-mode hyphen.
+% \begin{macrocode}
+\protected\def\pilcrow{\ifmmode\textparagraph\else\mathparagraph\fi}
+\protected\def\operatorhyphen{%
+ \mathchoice{}{}{}{}
+ \ifnum\fam=\m at ne
+ \PackageError{operator}
+ {Can't use\MessageBreak\string\operatorhyphen\space here}
+ {Your command was ignored.
+ I only know how to\MessageBreak
+ use \string\operatorhyphen\space
+ inside a math operator or\MessageBreak
+ a font-change command for math
+ such as \string\mathrm\MessageBreak
+ or \string\mathbf. (Technically, the
+ \string\fam\space needs to be\MessageBreak
+ something other than -1.)
+ To resolve this\MessageBreak
+ error, make sure \string\operatorhyphen\space
+ appears only\MessageBreak
+ in those settings.}
+ \else
+ \@operatorhyphen
+ \fi}
+% \end{macrocode}
+%
+%
+% \section{Defining New Operators}
+%
+%
+% We begin with the user-level operator declarations. Each of these commands expects the |#1| argument to be a single control sequence, and the |#2| argument should be the text of the operator. These macros all serve as wrappers around |\make at newop@cmd|, which does the work of defining the operator and expects two arguments. The first argument is the |#1| control sequence, and the second argument is code that defines |#1| as some expression involving |#2|. (We execute this code inside |\make at newop@cmd| if |#1| is a valid operator name.) In the first user-level command here, the control sequence should expand to |{\operator at font|\meta{text}|}|, which simply typesets |#2| in the operator font. More complicated cases use different definitions.
+% \begin{macrocode}
+\protected\def\DeclareMathText#1#2{\relax
+ \make at newop@cmd{#1}
+ {\protected\def#1{{\operator at font #2}}}}
+% \end{macrocode}
+% Bold is more complicated for reasons discussed later in this section. The definition of |#1| in this case has three parts. First, the |\mathchoice| ensures that we are in math mode without adding anything to the current math formula. Then |\@init at bfopfont| sets up the bold operator font, and |\@bfop at choices| typesets |#2| in boldface.
+% \begin{macrocode}
+\protected\def\DeclareBoldMathText#1#2{\relax
+ \make at newop@cmd{#1}
+ {\protected\def#1{\mathchoice{}{}{}{}\@init at bfopfont
+ {\@bfop at choices{#2}}}}}
+% \end{macrocode}
+% For the two commands that make a proper operator, i.e.\ a |\mathop| subformula, we allow for a starred version. A star means the operator is typeset with |\limits|, so any superscripts or subscripts will be directly above or below the operator. No star (the default version) means the operator is typeset with |\nolimits|, and any superscripts and subscripts will appear normally.
+% \begin{macrocode}
+\protected\def\DeclareMathOperator{\relax\@ifstar
+ \@operatorlim\@operatornolim}
+% \end{macrocode}
+% Operator with bold text.
+% \begin{macrocode}
+\protected\def\DeclareBoldMathOperator{\relax\@ifstar
+ \@bfoperatorlim\@bfoperatornolim}
+% \end{macrocode}
+% Next are the four commands that actually call |\make at newop@cmd| inside the previous two control sequences. They are analogous to |\DeclareMathText| and |\DeclareBoldMathText| above, except now we specify |\mathop|. We include an empty |\kern| to ensure that the subformula contains more than a single character, and this forces the baseline of the operator to line up with the rest of the equation. If \TeX\ encounters an expression like |\mathop{|\meta{single char}|}|, it will vertically center the \meta{single char} in the middle of the equation because it thinks you're typesetting something like an integral or summation sign.
+% \begin{macrocode}
+\def\@operatorlim#1#2{%
+ \make at newop@cmd{#1}
+ {\protected\def#1{\mathop{\operator at font\kern\z@#2}\limits}}}
+% \end{macrocode}
+% Same thing with |\nolimits|.
+% \begin{macrocode}
+\def\@operatornolim#1#2{%
+ \make at newop@cmd{#1}
+ {\protected\def#1{\mathop{\operator at font\kern\z@#2}\nolimits}}}
+% \end{macrocode}
+% The bold operator works the same way as |\DeclareBoldMathText|: ensure we're in math mode (and raise an error if not), then call |\@init at bfopfont| and |\@bfop at choices| to typeset the operator.
+% \begin{macrocode}
+\def\@bfoperatorlim#1#2{%
+ \make at newop@cmd{#1}
+ {\protected\def#1{\mathchoice{}{}{}{}\@init at bfopfont
+ \mathop{\@bfop at choices{\kern\z@#2}}\limits}}}
+% \end{macrocode}
+% Same thing with |\nolimits|.
+% \begin{macrocode}
+\def\@bfoperatornolim#1#2{%
+ \make at newop@cmd{#1}
+ {\protected\def#1{\mathchoice{}{}{}{}\@init at bfopfont
+ \mathop{\@bfop at choices{\kern\z@#2}}\nolimits}}}
+% \end{macrocode}
+% We store the list of control sequences that code for operators in |\operator at list|. Initially the macro contains the operator control sequences from the \LaTeX\ kernel.
+% \begin{macrocode}
+\def\operator at list{\log\lg\ln
+ \lim\limsup\liminf
+ \sin\arcsin\sinh
+ \cos\arccos\cosh
+ \tan\arctan\tanh
+ \cot\coth
+ \sec\csc
+ \max\min\sup\inf
+ \arg\ker\dim\hom\det
+ \exp
+ \Pr
+ \gcd\deg}
+% \end{macrocode}
+% Command to add to the list of operators.
+% \begin{macrocode}
+\def\addto at operator@list#1{\expandafter
+ \def\expandafter\operator at list\expandafter{\operator at list#1}}
+% \end{macrocode}
+% The macro |\@ifoperator| accepts a single control sequence and checks whether it appears in |\operator at list|.
+% \begin{macrocode}
+\def\@ifoperator#1{%
+ \expandafter\in@\expandafter#1\expandafter{\operator at list}%
+ \ifin@
+ \expandafter\@firstoftwo
+ \else
+ \expandafter\@secondoftwo
+ \fi}
+% \end{macrocode}
+% Error and warning messages for |\make at newop@cmd|.
+% \begin{macrocode}
+\def\OperatorBadNameError#1{%
+ \PackageError{operator}{Invalid name\MessageBreak
+ "\detokenize{#1}" for new operator}
+ {I was expecting the name of the new operator\MessageBreak
+ to be a single control sequence, but instead\MessageBreak
+ you typed "\detokenize{#1}."\MessageBreak
+ This doesn't work. To resolve this error,\MessageBreak
+ make sure the first argument of the operator\MessageBreak
+ declaration is a single control sequence.\MessageBreak}}
+\def\OperatorCSDefWarning#1{%
+ \PackageWarning{operator}{Control sequence\MessageBreak
+ \string#1\space is already defined. Your\MessageBreak
+ operator declaration was\MessageBreak ignored}}
+\def\OperatorCSDefError#1{%
+ \PackageError{operator}{Control sequence\MessageBreak
+ \string#1\space already defined. Your\MessageBreak
+ operator declaration was ignored}
+ {You tried to define the control sequence\MessageBreak
+ \string#1\space to be a new\MessageBreak
+ operator even though it already has a\MessageBreak
+ definition. I'm currently set to raise an\MessageBreak
+ error when that happens. To resolve the\MessageBreak
+ error, either pick a different control\MessageBreak
+ sequence or set \string\operatordefmode\space to a \MessageBreak
+ negative number to overwrite the definition.\MessageBreak}}
+% \end{macrocode}
+% The |\make at newop@cmd| macro does the work of defining the new operator. It accepts two arguments: |#1| a control sequence and |#2| a statement defining |#1| to be something. The previous user-level |\Declare|\meta{stuff} macros provide the appropriate definitions, so we include |#2| by itself in two places. The main job of |\make at newop@cmd| is to check whether |#1| is a single control sequence and not already defined as something besides an operator.
+% \begin{macrocode}
+\def\make at newop@cmd#1#2{%
+ \expandafter\ifx\expandafter\@nnil\@gobble#1\@nnil % is #1 one token?
+ \ifcat\relax\noexpand#1 % does #1 start with cs?
+% \end{macrocode}
+% If |#1| is already an operator, we can redefine it no problem.
+% \begin{macrocode}
+ \@ifoperator{#1}
+ {\@operatorinfo{Redefining \string#1\space operator.}
+ #2} % <-- new definition happens here
+% \end{macrocode}
+% If not, we first check whether |#1| is undefined. If yes, we define it and add it to |\operator at list|.
+% \begin{macrocode}
+ {\ifx#1\@undefined
+ \@operatorinfo{Defining new operator \string#1.}
+ \addto at operator@list{#1}
+ #2 % <-- new definition happens here
+% \end{macrocode}
+% Otherwise, we consult the value of |\operatordefmode|. When this count is negative, we redefine the control sequence and turn it into an operator.
+% \begin{macrocode}
+ \else % if #1 is already defined...
+ \ifnum\operatordefmode<\z@ % case < 0: redefine
+ \@operatorinfo{Overwriting definition of \string#1.}
+ \addto at operator@list{#1}
+ #2 % <-- new definition happens here
+% \end{macrocode}
+% If |\operatordefmode| is nonnegative, we do not redefine |#1| and instead do nothing, issue a warning, or issue an error depending on the count value.
+% \begin{macrocode}
+ \else
+ \@operatorinfo{Leaving \string#1\space as is.}
+ \ifcase\operatordefmode % case 0: do nothing
+ \or % case 1: warning
+ \OperatorCSDefWarning{#1}
+ \else % case >= 2: error
+ \OperatorCSDefError{#1}
+ \fi
+ \fi
+ \fi}
+ \else
+ \OperatorBadNameError{#1}
+ \fi
+ \else
+ \OperatorBadNameError{#1}
+ \fi}
+% \end{macrocode}
+% Bold text in math mode is complicated because \LaTeX\ doesn't provide direct access to a bold version of the operator font. My solution is to extract the operator font information from the \textsf{nfss} and then use that font family in boldface inside an |\hbox|. Doing so is an effective way to ensure that we are typesetting bold text, as opposed to bold math, in the operator font family. The other option would be to change the |\fam|, either with |\mathbf| or with a direct call to |\fam|, but that approach has two main drawbacks. First, |\mathbf| is intended to produce bold variable names, such as vectors in physics, not necessarily bold text, and the same may be true of other bold symbol fonts. In traditional \LaTeX, |\mathbf| does produce a bolded version of the operator font, but that may not be true in general. Second, it may not be obvious whether the \textsc{nfss} has even declared a bold version of the operator font as a symbol font, and I do not want to hack the \textsc{nfss} to determine this when we have an easier and more reliable alternative.
+%
+% To implement this approach, we need three |\font| commands (which we call |\@bfoptf|, |\@bfopsf|, and |\@bfopssf|) that switch to the bold operator font in \textsc h mode at different sizes: one size for |\textstyle| and |\displaystyle|, one size for |\scriptstyle|, and one size for |\scriptscriptstyle|. We implicitly assume that the operator font family does not change after |\begin{document}| (but it can change in the preamble), but the user may freely enlarge or shrink the text. For these three |\font| commands, we store their sizes in |\operator at tf|, |\operator at sf|, and |\operator at ssf|, and if these macros do not match the size of the current |\textfont|, |\scriptfont|, or |\scriptscriptfont| respectively, we redefine all three |\font| commands at the correct size. The idea here is that we make new |\font| commands if the surrounding text size has changed since the user's most recent bold operator. Finally, we pick the right size in the current equation by putting the operator text inside |\mathchoice|.
+% \begin{macrocode}
+\let\operator at tf\relax
+\let\operator at sf\relax
+\let\operator at ssf\relax
+% \end{macrocode}
+% The macro |\@init at bfopfont| (re)defines the font-change commands. We start by checking whether the sizes of |\@bfoptf|, |\@bfopsf|, and |\@bfopssf| match |\tf at size|, |\sf at size|, and |\ssf at size|. If yes, this command does nothing, and if not, we need to redefine the three |\font| commands to have the correct font size.
+% \begin{macrocode}
+\def\@init at bfopfont{%
+ \@tempswatrue % reset sizes by default
+ \ifx\operator at tf\tf at size
+ \ifx\operator at sf\sf at size
+ \ifx\operator at ssf\ssf at size
+ \@tempswafalse % don't reset sizes if unnecessary
+ \fi
+ \fi
+ \fi
+% \end{macrocode}
+% If we do need to change the font size, we switch to the operator font inside a group and get rid of the |\escapechar|, then do fun things.
+% \begin{macrocode}
+ \if at tempswa
+ \begingroup
+ \operator at font
+ \escapechar\m at ne
+% \end{macrocode}
+% The macro |\set at bf@@| accepts three arguments. The |##1| argument should is a control sequence, the |##2| argument is |\textfont|, |\scriptfont|, or |\scriptscriptfont|, and the |##3| argument is a font size (a number). This is the command that finds the operator font in the \textsc{nfss} and and converts it to bold, and it defines |##1| to be the |\font| command that produces this font.
+% \begin{macrocode}
+ \def\set at bf@@##1##2##3{%
+ \edef\@tempa{\expandafter\string\the##2\fam}
+ \expandafter\split at name\@tempa\@nil
+ \DeclareFixedFont##1\f at encoding\f at family\bfdefault\f at shape##3}
+% \end{macrocode}
+% Here is where we actually make the font-change commands. We call our ``text font'' |\@bfoptf|, our ``script font'' |\@bfopsf|, and our ``script script font'' |\@bfopssf|.
+% \begin{macrocode}
+ \set at bf@@\@bfoptf\textfont\tf at size
+ \set at bf@@\@bfopsf\scriptfont\sf at size
+ \set at bf@@\@bfopssf\scriptscriptfont\ssf at size
+% \end{macrocode}
+% Now save the sizes of the current font-change commands for the next bold operator.
+% \begin{macrocode}
+ \global\let\operator at tf\tf at size
+ \global\let\operator at sf\sf at size
+ \global\let\operator at ssf\ssf at size
+ \endgroup
+ \fi}
+% \end{macrocode}
+% The |\@bfop at choices| macro accepts a single argument, which should be the text of an operator to be typeset in bold. The |#1| argument goes inside an |\hbox| with a font-change command that depends on the current math style.
+% \begin{macrocode}
+\def\@bfop at choices#1{%
+ \mathchoice{\hbox{\@bfoptf#1}}
+ {\hbox{\@bfoptf#1}}
+ {\hbox{\@bfopsf#1}}
+ {\hbox{\@bfopssf#1}}}
+% \end{macrocode}
+% Finally, we make the operator declaration commands preamble only. Is this necessary? Probably not, but operator declaration distinctly feels like something that should happen only in the preamble.
+% \begin{macrocode}
+\@onlypreamble\DeclareMathText
+\@onlypreamble\DeclareBoldMathText
+\@onlypreamble\DeclareMathOperator
+\@onlypreamble\DeclareBoldMathOperator
+\@onlypreamble\@operatorlim
+\@onlypreamble\@operatornolim
+\@onlypreamble\@bfoperatorlim
+\@onlypreamble\@bfoperatornolim
+\@onlypreamble\make at newop@cmd
+% \end{macrocode}
+%
+%
+%
+% \section{Blackboard Bold}
+%
+% Make the blackboard-bold letters. This package isn't designed to load fonts, so we're implementing each \texttt{\textbackslash}\meta{letter} assuming the user has or will at some point request a package that defines |\mathbb|. We leave each blackboard-board letter undefined until the first time it appears in math mode. If |\mathbb| is still undefined at that point, \textsf{math-operator} raises a |\NoBBError|, and otherwise it defines \texttt{\textbackslash}\meta{letter} to be |\mathbb{|\meta{letter}|}|. For a traditional \LaTeX\ approach that implements |\mathbb| as a new math alphabet, i.e.\ by changing the font of certain letters without changing their encoding slots, it would arguably be better to find the math family that corresponds to |\mathbb| and use |\mathchardef|. However, modern Unicode-based implementations may also change the encoding slot to something from the Letterlike Symbols or Math Alphanumeric Symbols blocks by locally setting new |\Umathcode|'s for Latin letters. Without examining the underlying code, it's impossible to know which form of |\mathbb| we're looking at, so \textsf{math-operator} sticks to calling |\mathbb| for maximum compatibility with other packages. If a package defines |\mathbb| to do something besides switch to blackboard bold, that will break the control sequences here.
+% \begin{macrocode}
+\wlog{}
+\if at operator@bb
+ \@operatorinfo{Defining blackboard-bold letters.}
+ \def\NoBBError#1{\PackageError{operator}
+ {Missing \string\mathbb\space command}
+ {It looks like you're trying to make\MessageBreak
+ a blackbold-board "#1." However, I\MessageBreak
+ can't define blackboard-bold letters\MessageBreak
+ because I don't see a definition for\MessageBreak
+ \string\mathbb, which is what I would use to\MessageBreak
+ do it. To resolve this error message,\MessageBreak
+ try loading a package that provides\MessageBreak
+ blackboard-bold font support such as\MessageBreak
+ amssymb or mathfont.\MessageBreak}}
+% \end{macrocode}
+% To keep the code simple, we use |\@makebbchar| for the actual definitions. Here |#1| is the letter we use.
+% \begin{macrocode}
+ \def\@makebbchar#1{%
+ \@operatorinfo{Predefining
+ \expandafter\string\csname #1\endcsname\space
+ for use later.}
+ \protected\@namedef{#1}{%
+ \ifdefined\mathbb
+ \@operatorinfo{Setting up \expandafter
+ \string\csname#1\endcsname\space for use.}%
+ \protected\global\@namedef{#1}{\mathbb{#1}}%
+ \@nameuse{#1}%
+ \else
+ \NoBBError{#1}%
+ \fi}}
+ \@makebbchar{N}
+ \@makebbchar{Z}
+ \@makebbchar{Q}
+ \@makebbchar{R}
+ \@makebbchar{C}
+% \end{macrocode}
+% Defining |\H| and |\O| is more complicated because these commands already do something in text mode, and we want to preserve that definition. We take the usual approach of making them |\protected| macros that expand differently in \textsc m mode versus \textsc h or \textsc v mode.
+% \begin{macrocode}
+ \@operatorinfo{Predefining \string\H\space for use later.}
+ \@operatorinfo{Predefining \string\O\space for use later.}
+ \let\textH\H
+ \let\textO\O
+ \def\mathH{%
+ \ifdefined\mathbb
+ \@operatorinfo{Setting up \string\H\space for use.}%
+ \protected\global\def\mathH{\mathbb{H}}%
+ \mathH
+ \else
+ \NoBBError{H}%
+ \fi}
+ \def\mathO{%
+ \ifdefined\mathbb
+ \@operatorinfo{Setting up \string\O\space for use.}%
+ \protected\global\def\mathO{\mathbb{O}}%
+ \mathO
+ \else
+ \NoBBError{O}%
+ \fi}
+ \protected\def\O{\ifmmode\mathO\else\expandafter\textO\fi}
+ \protected\def\H{\ifmmode\mathH\else\expandafter\textH\fi}
+% \end{macrocode}
+% For probability and expected value operators, we take a slightly different approach because we want these characters to show up as operators rather than |\mathord| atoms. We use |\@makebbop|, which is similar to |\@makebbchar|, except that it includes a |\mathop| specification.
+% \begin{macrocode}
+ \def\@makebbop#1{%
+ \@operatorinfo{Predefining
+ \expandafter\string\csname #1\endcsname\space
+ for use later.}
+ \protected\@namedef{#1}{%
+ \ifdefined\mathbb
+ \@operatorinfo{Setting up \expandafter
+ \string\csname#1\endcsname\space for use.}%
+ \protected\global\@namedef{#1}{\mathop{\kern\z@\mathbb{#1}}}%
+ \@nameuse{#1}%
+ \else
+ \NoBBError{#1}%
+ \fi}}
+ \@makebbop{E}
+ \@makebbop{P}
+% \end{macrocode}
+% And add all these letters to |\operator at list|.
+% \begin{macrocode}
+ \addto at operator@list{\N\Z\Q\R\C\mathO\mathH\E\P}
+\else
+ \@operatorinfo{Skipping blackboard-bold letters.}
+\fi
+% \end{macrocode}
+%
+% \section{Categories}
+%
+% A selection of cagetories. Serious category theorists will undoubtedly want to declare their own categories beyond these.
+% \begin{macrocode}
+\if at operator@c
+ \wlog{}
+ \@operatorinfo{Defining category theory notation.}
+ \DeclareBoldMathText{\Ab}{Ab}
+ \DeclareBoldMathText{\Alg}{Alg}
+ \DeclareBoldMathText{\Cat}{Cat}
+ \DeclareBoldMathText{\CRing}{CRing}
+ \DeclareBoldMathText{\Field}{Field}
+ \DeclareBoldMathText{\FinGrp}{FinGrp}
+ \DeclareBoldMathText{\FinVect}{FinVect}
+ \DeclareBoldMathText{\Grp}{Grp}
+ \DeclareBoldMathText{\Haus}{Haus}
+ \DeclareBoldMathText{\Man}{Man}
+ \DeclareBoldMathText{\Met}{Met}
+ \DeclareBoldMathText{\Mod}{Mod}
+ \DeclareBoldMathText{\Mon}{Mon}
+ \DeclareBoldMathText{\Ord}{Ord}
+ \DeclareBoldMathText{\Ring}{Ring}
+ \DeclareBoldMathText{\Set}{Set}
+ \DeclareBoldMathText{\Top}{Top}
+ \DeclareBoldMathText{\Vect}{Vect}
+ \DeclareMathOperator{\cocone}{cocone}
+ \DeclareMathOperator{\colim}{colim}
+ \DeclareMathOperator{\cone}{cone}
+ \@operatorinfo{Defining new operator \string\op.}
+ \addto at operator@list{\op}
+ \protected\def\op{^{\operator at font op}}
+\else
+ \@operatorinfo{Skipping category theory notation.}
+\fi
+% \end{macrocode}
+%
+% \section{Jacobi Elliptic Functions}
+%
+% Pretty straightforward. The standard classes define |\sc| as a legacy (deprecated) command to access small caps, and we overwrite that definition. I do not feel bad about overwriting deprecated commands.
+% \begin{macrocode}
+\if at operator@j
+ \wlog{}
+ \@operatorinfo{Defining Jacobi elliptic functions.}
+ \DeclareMathOperator{\cd}{cd}
+ \DeclareMathOperator{\cn}{cn}
+ \DeclareMathOperator{\cs}{cs}
+ \DeclareMathOperator{\dc}{dc}
+ \DeclareMathOperator{\dn}{dn}
+ \DeclareMathOperator{\ds}{ds}
+ \DeclareMathOperator{\nc}{nc}
+ \DeclareMathOperator{\nd}{nd}
+ \DeclareMathOperator{\ns}{ns}
+ \let\sc\@undefined
+ \DeclareMathOperator{\sc}{sc}
+ \DeclareMathOperator{\sd}{sd}
+ \DeclareMathOperator{\sn}{sn}
+\else
+ \@operatorinfo{Skipping Jacobi elliptic functions.}
+\fi
+% \end{macrocode}
+%
+% \section{Linear Algebra}
+%
+% Some standard functions and operators from linear algebra. For the matrix groups defined here, we use |\DeclareMathText| rather than |\DeclareMathOperator| because these groups should be |\mathord| subformulas, not |\mathop|. We say |\spanop| instead of |\span| because |\span| is already defined. (It's a \TeX\ primitive dealing with tabular entries. Please do not redefine |\span|.)
+% \begin{macrocode}
+\if at operator@l
+ \wlog{}
+ \@operatorinfo{Defining operators from linear algebra.}
+ \DeclareMathOperator{\adj}{adj}
+ \DeclareMathOperator{\coker}{coker}
+ \DeclareMathText{\GL}{GL}
+ \DeclareMathOperator{\nullity}{nullity}
+ \DeclareMathText{\Orthogonal}{O}
+ \DeclareMathOperator{\proj}{proj}
+ \DeclareMathOperator{\rank}{rank}
+ \DeclareMathText{\SL}{SL}
+ \DeclareMathText{\SO}{SO}
+ \DeclareMathText{\SU}{SU}
+ \DeclareMathOperator{\Sp}{Sp}
+ \DeclareMathOperator*{\spanop}{span}
+ \DeclareMathOperator{\tr}{tr}
+ \@operatorinfo{Defining new operator \string\T.}
+ \addto at operator@list{\T}
+ \protected\def\T{^{\operator at font T}}
+ \DeclareMathText{\Unitary}{U}
+\else
+ \@operatorinfo{Skipping operators from linear algebra.}
+\fi
+% \end{macrocode}
+%
+%
+% \section{Overlining}
+%
+% In this section, we define the |\overbar| command, which produces an overline whose length lies somewhere between |\bar| and |\overline|. The user-level command is a short wrapper around the internal command |\@overb at r|. First, we define |\operatorbaroffset|, which will determine the placement of the overline over the argument of |\overbar|. As is standard in \TeX, we store |\operatorbaroffset| as a count, which we identify with a scale factor because we divide it by 1000 when we use its value in |\@overb at r|.
+% \begin{macrocode}
+\if at operator@o
+ \wlog{}
+ \@operatorinfo{Defining \string\overbar.}
+ \newcount\operatorbaroffset
+ \operatorbaroffset=800\relax
+% \end{macrocode}
+% Now for the user-level command. We start by checking whether we are in math mode. If the user follows |\overbar| with an asterisk, we use 500 as the placement value, and otherwise, we take the value of |\operatorbaroffset|. If the user does not specify an optional argument, we use the default value of 0.8.
+% \begin{macrocode}
+ \protected\def\overbar{\mathchoice{}{}{}{}%
+ \@ifstar
+ {\@ifnextchar[%
+ {\@overb at r{500}}
+ {\@overb at r{500}[0.8]}}
+ {\@ifnextchar[%
+ {\@overb at r{\the\operatorbaroffset}}
+ {\@overb at r{\the\operatorbaroffset}[0.8]}}}
+% \end{macrocode}
+% Now we come to the macro that does the acutal work of making the overline. The command |\@overb at r| accepts three arguments: |#1| is the scale argument that determines the horizontal placement of the overline; |#2| is a decimal that determines the size of the overline; and |#3| is the subformula to be overlined. Note that |#1| is only specified internally, and the user controls |#1| indirectly through |\operatorbaroffset|. Just to be safe, we put the contents of |\@overb at r| inside a group since we're making liberal use of scratch registers. The general idea is that inside a |\mathchoice|, we put the subformula in an |\hbox| in the correct style and then manually position the overline using the box dimensions and the |#1| and |#2| arguments.
+% \begin{macrocode}
+ \def\@overb at r#1[#2]#3{\begingroup
+ \mathchoice
+ {\setbox\@tempboxa\hbox{$\displaystyle#3\m at th$}
+ \@tempdima\wd\@tempboxa
+ \@tempdimb\ht\@tempboxa
+ \@tempdimc\dp\@tempboxa
+% \end{macrocode}
+% Inside another |\hbox|, we typeset |\@tempboxa| and manually convert it into an |\rlap|. Then we add |\hskip|, the overline, and an |\hfil|. In total, this |\hbox| will have the same width as the original subformula. We do all of this inside a second |\hbox| because we want \TeX\ to treat everything as a single subformula and also to prevent extra interatom space in the unlikely event that |\Umathordordspacing| is nonzero. (Please do not set |\Umathordordspacing| to something nonzero.)
+% \begin{macrocode}
+ \hbox to \@tempdima{\unhbox\@tempboxa\hskip-\@tempdima
+ \hskip\dimexpr(\@tempdima-#2\@tempdima)*#1/1000\relax
+% \end{macrocode}
+% Now make a math expression that contains just an overline of the correct width above a zero-width |\vrule|, which ensures that the overline occurs at the correct height.
+% \begin{macrocode}
+ $\overline{%
+ \vrule width \z@ height \@tempdimb depth \@tempdimc
+ \hskip\dimexpr#2\@tempdima\relax}\m at th$%
+ \hfil}}
+% \end{macrocode}
+% Same thing with |\textstyle|.
+% \begin{macrocode}
+ {\setbox\@tempboxa\hbox{$\textstyle#3\m at th$}
+ \@tempdima\wd\@tempboxa
+ \@tempdimb\ht\@tempboxa
+ \@tempdimc\dp\@tempboxa
+ \hbox to \@tempdima{\unhbox\@tempboxa\hskip-\@tempdima
+ \hskip\dimexpr(\@tempdima-#2\@tempdima)*#1/1000\relax
+ $\overline{%
+ \vrule width \z@ height \@tempdimb depth \@tempdimc
+ \hskip\dimexpr#2\@tempdima\relax}\m at th$%
+ \hfil}}
+% \end{macrocode}
+% And |\scriptstyle|.
+% \begin{macrocode}
+ {\setbox\@tempboxa\hbox{$\scriptstyle#3\m at th$}
+ \@tempdima\wd\@tempboxa
+ \@tempdimb\ht\@tempboxa
+ \@tempdimc\dp\@tempboxa
+ \hbox to \@tempdima{\unhbox\@tempboxa\hskip-\@tempdima
+ \hskip\dimexpr(\@tempdima-#2\@tempdima)*#1/1000\relax
+ $\overline{%
+ \vrule width \z@ height \@tempdimb depth \@tempdimc
+ \hskip\dimexpr#2\@tempdima\relax}\m at th$%
+ \hfil}}
+% \end{macrocode}
+% And finally |\scriptscriptstyle|.
+% \begin{macrocode}
+ {\setbox\@tempboxa\hbox{$\scriptscriptstyle#3\m at th$}
+ \@tempdima\wd\@tempboxa
+ \@tempdimb\ht\@tempboxa
+ \@tempdimc\dp\@tempboxa
+ \hbox to \@tempdima{\unhbox\@tempboxa\hskip-\@tempdima
+ \hskip\dimexpr(\@tempdima-#2\@tempdima)*#1/1000\relax
+ $\overline{%
+ \vrule width \z@ height \@tempdimb depth \@tempdimc
+ \hskip\dimexpr#2\@tempdima\relax}\m at th$%
+ \hfil}}
+ \endgroup}
+\else
+ \@operatorinfo{Skipping \string\overbar.}
+\fi
+% \end{macrocode}
+%
+%
+% \section{Probability Distributions}
+%
+% A selection of common probability distributions. We say |\Betaop| and |\Gammaop| instead of |\Beta| and |\Gamma| because they are or may be defined to be capital Greek letters.
+% \begin{macrocode}
+\if at operator@p
+ \wlog{}
+ \@operatorinfo{Defining probability distributions.}
+ \DeclareMathOperator{\Bernoulli}{Bernoulli}
+ \DeclareMathOperator{\Betaop}{Beta}
+ \DeclareMathOperator{\Binomial}{Binomial}
+ \DeclareMathOperator{\Boltzmann}{Boltzmann}
+ \DeclareMathOperator{\Burr}{Burr}
+ \DeclareMathOperator{\Categorical}{Categorical}
+ \DeclareMathOperator{\Cauchy}{Cauchy}
+ \DeclareMathOperator{\ChiSq}{\chi^2}
+ \DeclareMathOperator{\Dagum}{Dagum}
+ \DeclareMathOperator{\Exponential}{Exponential}
+ \DeclareMathOperator{\Erlang}{Erlang}
+ \DeclareMathOperator{\Gammaop}{Gamma}
+ \DeclareMathOperator{\Gompertz}{Gompertz}
+ \DeclareMathOperator{\InvChiSq}{Inv\@operatorhyphen\chi^2}
+ \DeclareMathOperator{\InvGamma}{Inv\@operatorhyphen Gamma}
+ \DeclareMathOperator{\Kolmogorov}{Kolmogorov}
+ \DeclareMathOperator{\LogLogistic}{Log\@operatorhyphen Logistic}
+ \DeclareMathOperator{\LogNormal}{Log\@operatorhyphen Normal}
+ \DeclareMathOperator{\Logistic}{Logistic}
+ \DeclareMathOperator{\Lomax}{Lomax}
+ \DeclareMathOperator{\MaxwellBoltzmann}{Maxwell\@operatorhyphen Boltzmann}
+ \DeclareMathOperator{\Multinomial}{Multinomial}
+ \DeclareMathOperator{\NegBinomial}{Neg\@operatorhyphen Binomial}
+ \@operatorinfo{Defining new operator \string\Normal.}
+ \addto at operator@list{\Normal}
+ \def\operator at N{\mathop{\kern\z@\mathcal{N}}}
+ \def\operator at normal{\mathop{\begingroup\operator at font Normal\endgroup}}
+ \protected\def\Normal{\mathchoice{}{}{}{}%
+ \@ifstar{\operator at normal\nolimits}{\operator at N\nolimits}}
+ \DeclareMathOperator{\Pareto}{Pareto}
+ \DeclareMathOperator{\Poisson}{Poisson}
+ \DeclareMathOperator{\Weibull}{Weibull}
+ \DeclareMathOperator{\Zipf}{Zipf}
+\else
+ \@operatorinfo{Skipping probability distributions.}
+\fi
+% \end{macrocode}
+%
+% \section{Special Functions}
+%
+% Some common special functions.
+% \begin{macrocode}
+\if at operator@sf
+ \wlog{}
+ \@operatorinfo{Defining special functions.}
+ \DeclareMathOperator{\Ai}{Ai}
+ \DeclareMathOperator{\Bi}{Bi}
+ \DeclareMathOperator{\Ci}{Ci}
+ \DeclareMathOperator{\ci}{ci}
+ \DeclareMathOperator{\Chi}{Chi}
+ \DeclareMathOperator{\Ei}{Ei}
+ \DeclareMathOperator{\erf}{erf}
+ \@operatorinfo{Defining new operator \string\erfinv.}
+ \protected\def\erfinv{\mathop{\begingroup
+ \operator at font erf\endgroup^{-1}}\nolimits}
+ \DeclareMathOperator{\erfc}{erfc}
+ \@operatorinfo{Defining new operator \string\erfcinv.}
+ \protected\def\erfcinv{\mathop{\begingroup
+ \operator at font erfc\endgroup^{-1}}\nolimits}
+ \addto at operator@list{\erfinv\erfcinv}
+ \DeclareMathOperator{\Li}{Li}
+ \DeclareMathOperator{\li}{li}
+ \DeclareMathOperator{\Log}{Log}
+ \DeclareMathOperator{\sgn}{sgn}
+ \DeclareMathOperator{\Si}{Si}
+ \DeclareMathOperator{\si}{si}
+ \DeclareMathOperator{\Shi}{Shi}
+% \end{macrocode}
+% Inverse error function.
+% \begin{macrocode}
+\else
+ \@operatorinfo{Skipping special functions.}
+\fi
+% \end{macrocode}
+%
+% \section{Standard Operators}
+%
+% Some other standard (or standardish) functions and operations. Much more pure mathy than the special functions from the previous section. We say |\divop| instead of |\div| because |\div| is already defined.
+% \begin{macrocode}
+\if at operator@s
+ \wlog{}
+ \@operatorinfo{Defining standard operators.}
+ \DeclareMathOperator*{\argmax}{arg\,max}
+ \DeclareMathOperator*{\argmin}{arg\,min}
+ \DeclareMathOperator{\Aut}{Aut}
+ \@operatorinfo{Defining new operator \string\c.}
+ \addto at operator@list{\mathc}
+ \let\textc\c
+ \def\mathc{^{\operator at font c}}
+ \protected\def\c{\ifmmode\mathc\else\expandafter\textc\fi}
+ \DeclareMathOperator{\cf}{cf}
+ \DeclareMathOperator{\cl}{cl}
+ \DeclareMathOperator{\conv}{conv}
+ \DeclareMathOperator{\corr}{corr}
+ \DeclareMathOperator{\cov}{cov}
+ \DeclareMathOperator{\curl}{curl}
+ \DeclareMathOperator{\divop}{div}
+ \DeclareMathOperator{\grad}{grad}
+ \DeclareMathOperator{\Hom}{Hom}
+ \DeclareMathOperator{\id}{id}
+ \DeclareMathOperator{\img}{img}
+ \DeclareMathOperator{\interior}{int}
+ \DeclareMathOperator*{\lcm}{lcm}
+ \DeclareMathOperator{\Proj}{Proj}
+ \DeclareMathOperator{\Res}{Res}
+ \DeclareMathOperator{\Spec}{Spec}
+ \DeclareMathOperator{\supp}{supp}
+ \addto at operator@list{\varIm\varRe\Im\Re}
+ \@operatorinfo{Defining \string\varIm\space operator from \string\Im.}
+ \@operatorinfo{Defining \string\varRe\space operator from \string\Re.}
+ \let\varIm\Im
+ \let\varRe\Re
+ \DeclareMathOperator{\Im}{Im}
+ \DeclareMathOperator{\Re}{Re}
+ \DeclareMathOperator{\Var}{Var}
+\else
+ \@operatorinfo{Skipping standard operators.}
+\fi
+% \end{macrocode}
+%
+% \section{Trigonometry}
+%
+% Finally, time for some trigonometry. We start by defining hyperbolic cosecant and secant.
+% \begin{macrocode}
+\if at operator@t
+ \wlog{}
+ \@operatorinfo{Defining trigonometric functions.}
+ \DeclareMathOperator{\csch}{csch}
+ \DeclareMathOperator{\sech}{sech}
+% \end{macrocode}
+% Round out the ``arc'' versions of standard trigonometric functions, then provide ``arc'' and ``ar'' versions of hyperbolic trigonometric functions.
+% \begin{macrocode}
+ \DeclareMathOperator{\arccsc}{arccsc}
+ \DeclareMathOperator{\arcsec}{arcsec}
+ \DeclareMathOperator{\arccot}{arccot}
+ \DeclareMathOperator{\arcsinh}{arcsinh}
+ \DeclareMathOperator{\arccosh}{arccosh}
+ \DeclareMathOperator{\arctanh}{arctanh}
+ \DeclareMathOperator{\arccsch}{arccsch}
+ \DeclareMathOperator{\arcsech}{arcsech}
+ \DeclareMathOperator{\arccoth}{arccoth}
+ \DeclareMathOperator{\arsinh}{arsinh}
+ \DeclareMathOperator{\arcosh}{arcosh}
+ \DeclareMathOperator{\artanh}{artanh}
+ \DeclareMathOperator{\arcsch}{arcsch}
+ \DeclareMathOperator{\arsech}{arsech}
+ \DeclareMathOperator{\arcoth}{arcoth}
+% \end{macrocode}
+% Inverse functions with $-1$ superscript.
+% \begin{macrocode}
+ \protected\def\sininv{\mathop{\begingroup
+ \operator at font sin\endgroup^{-1}}\nolimits}
+ \protected\def\cosinv{\mathop{\begingroup
+ \operator at font cos\endgroup^{-1}}\nolimits}
+ \protected\def\taninv{\mathop{\begingroup
+ \operator at font tan\endgroup^{-1}}\nolimits}
+ \protected\def\cscinv{\mathop{\begingroup
+ \operator at font csc\endgroup^{-1}}\nolimits}
+ \protected\def\secinv{\mathop{\begingroup
+ \operator at font sec\endgroup^{-1}}\nolimits}
+ \protected\def\cotinv{\mathop{\begingroup
+ \operator at font cot\endgroup^{-1}}\nolimits}
+% \end{macrocode}
+% And for hyperbolic trigonometric functions.
+% \begin{macrocode}
+ \protected\def\sinhinv{\mathop{\begingroup
+ \operator at font sinh\endgroup^{-1}}\nolimits}
+ \protected\def\coshinv{\mathop{\begingroup
+ \operator at font cosh\endgroup^{-1}}\nolimits}
+ \protected\def\tanhinv{\mathop{\begingroup
+ \operator at font tanh\endgroup^{-1}}\nolimits}
+ \protected\def\cschinv{\mathop{\begingroup
+ \operator at font csch\endgroup^{-1}}\nolimits}
+ \protected\def\sechinv{\mathop{\begingroup
+ \operator at font sech\endgroup^{-1}}\nolimits}
+ \protected\def\cothinv{\mathop{\begingroup
+ \operator at font coth\endgroup^{-1}}\nolimits}
+% \end{macrocode}
+% And add everything we defined manually to |\operator at list|.
+% \begin{macrocode}
+ \addto at operator@list{\sininv\cosinv\taninv
+ \cscinv\secinv\cotinv\sinhinv\coshinv
+ \tanhinv\cschinv\sechinv\cothinv}
+\else
+ \@operatorinfo{Skipping trigonometric functions.}
+\fi
+\wlog{}
+% \end{macrocode}
+% Done!
+%
+% \vfill\eject
+%
+% \section*{Version History}
+%
+% % New features and updates with each version. Listed in no particular order.
+%
+% \begin{multicols*}{2}
+% \raggedright\parskip\z@\parindent\z@\leftskip1em\obeylines
+% \setbox0\hbox{\hskip 1pt.\hskip 1pt}
+% \def\version#1#2{\bigskip\hbox to \hsize{\textbf{#1} \cleaders\copy0\hfill\ #2}\par}
+% \def\item{---\kern0.2ex\relax}
+%
+% \version{1.0}{February 2025}
+% \item initial release
+%
+% \end{multicols*}
+%
+%
+%
+%
+%
+% \iffalse
+%</code>
+%<*user>
+%
+\documentclass[12pt,twoside]{article}
+\makeatletter
+\usepackage[margin=72.27pt]{geometry}
+\usepackage[factor=700,stretch=14,shrink=14,step=1]{microtype}
+\usepackage{booktabs}
+\usepackage{tabularx}
+\usepackage{enumitem}
+\setlist{topsep=\smallskipamount,itemsep=\z@,
+ parsep=0pt,partopsep=0pt}
+\usepackage[colorlinks=true,allcolors=blue,implicit=false]{hyperref}
+\usepackage{amssymb}
+\usepackage{multicol}
+\usepackage{shortvrb}
+\MakeShortVerb{|}
+\def\meta#1{$\langle${\rmfamily\itshape #1}$\rangle$}
+
+\c at topnumber=1
+\c at bottomnumber=1
+
+\def\showop#1#2#3{\noindent
+ \hbox to 1.625in{\texttt{\string#1}\hfil}\hbox to 1.625in{#2\hfil}\hbox to 3.25in{#3\hfil}%
+ \par}
+\topsep=\smallskipamount
+
+\begin{document}
+
+\def\documentname{User Guide}
+\newdimen\MacroIndent
+\input math-operator_heading.tex
+\def\section#1#2{\@@section*{#1}\vskip-\medskipamount#2\par\bigskip}
+
+
+
+\noindent \LaTeX\ users will no doubt be familiar with the control sequences that produce special functions and operators such as |\sin|, |\cos|, or |\sup|. However, the \LaTeX\ kernel defines only about 30 such commands, and many less common but still widely used special functions remain undefined as a result. The \textsf{math-operator} package addresses this situation by defining control sequences for some hundred and fifty special functions and operators, divided into nine groups, and the package also provides an interface to define even more. The first three pages of this user guide describe how to use the package, and the remainder of the document lists the control sequences in each group. For documentation of the package code, please see |math-operator_code.pdf|, which is included with the \textsf{math-operator} installation and is available on \textsc{ctan}. I encourage users who are interested in this package to also consult the \textsf{amsopn} and \textsf{moremath} packages as they may be more useful for you.\footnote{\LaTeX3 Project and American Mathematical Society, ``amsopn---Typeset mathematical operator names,'' \href{https://ctan.org/pkg/amsopn}{\texttt{https://ctan.org/pkg/amsopn}}; Marcel Ilg, ``moremath---Additional commands for typesetting maths,'' \href{https://ctan.org/pkg/moremath}{\texttt{https://ctan.org/pkg/moremath}}.} Users who are looking specifically for operators in quantum mechanics should consult the \textsf{linop} and \textsf{phfqit} packages.\footnote{Johannes Weytjens, ``linop---Typeset linear operators as they appear in quantum theory or linear algebra,'' \href{https://ctan.org/pkg/linop}{\texttt{https://ctan.org/pkg/linop}}; Philippe Faist, ``phfqit---Macros for typesetting Quantum Information Theory,'' \href{https://ctan.org/pkg/phfqit}{\texttt{https://ctan.org/pkg/phfqit}}.}
+
+
+
+
+Users can load \textsf{math-operator} with the standard |\usepackage| syntax, and for each operator group, the package defines either all or no control sequences from that group during loading. Each operator group corresponds to two optional package arguments---one argument means define the control sequences of that group, and the other argument means avoid doing so. Table~1 lists the nine operator groups and their corresponding arguments. For every group, the package argument to define control sequences is a shortened version of the group name, and the package argument to avoid doing so is the same keyword prefaced by |no-|. By default, \textsf{math-operator} defines all control sequences that appear later in this document.
+
+
+
+\begin{figure}[tb]
+\centerline{\bfseries\strut Table 1: Optional Arguments for \textsf{math-operator}}
+\begin{tabular*}{\textwidth}{@{\extracolsep{\fill}}lll}\toprule
+Group & To define commands (default) & To avoid defining commands\\\midrule
+Blackboard bold & |blackboard| & |no-blackboard|\\
+Category theory & |category| & |no-category|\\
+Jacobi elliptic functions & |jacobi| & |no-jacobi|\\
+Linear algebra & |linear| & |no-linear|\\
+The command \vrb\overbar & |overbar| & |no-overbar|\\
+Probability distributions & |probability| & |no-probability|\\
+Special functions & |special| & |no-special|\\
+Standard math operators & |standard| & |no-standard|\\
+Trigonometric functions & |trigonometry| & |no-trigonometry|\\\bottomrule
+\end{tabular*}
+\end{figure}
+
+
+
+\begin{figure}[t]
+\centerline{\bfseries\strut Table 2: Commands to Define New Operators}
+\begin{tabular*}{\textwidth}{@{\extracolsep{\fill}}lll}\toprule
+& Medium weight & Bold weight\\\midrule
+Treated as \vrb\mathord & |\DeclareMathText| & |\DeclareBoldMathText|\\
+Treated as \vrb\mathop & |\DeclareMathOperator| & |\DeclareBoldMathOperator|\\\bottomrule
+\end{tabular*}
+\end{figure}
+
+
+Users who want to create their own operators or redefine the commands in this package should use one of the four control sequences in Table~2. The entries in Table~2 should appear only in the document preamble, and their syntax is identical and looks like
+\begin{trivlist}
+\item\ttfamily\hskip2em |\DeclareMathOperator|\meta{optional |*|}|{|%
+ \meta{control sequence}|}{|\meta{operator text}|}|
+\end{trivlist}
+When you use one of these macros, \textsf{math-operator} defines the \meta{control sequence} to produce \meta{operator text} in math mode. The optional asterisk controls the placement of superscripts and subscripts. Without an asterisk (the default version of the command), any superscripts and subscripts will render normally, but with an asterisk, they will appear above and below the operator. For example, to make a control sequence |\erf| for the error function, the |sty| file for \textsf{math-operator} contains
+\begin{trivlist}
+\item \ttfamily \hskip 2em |\DeclareMathOperator{\erf}{erf}|
+\end{trivlist}
+The syntax and implementation of these macros is very similar to the \textsf{amsopn} package.
+
+The entries of Table~2 differ in the appearance of the resulting operator. The commands in the first column produce operators with medium text, and the commands in the second column produce operators with bold text. The difference between the rows is more subtle and boils down to the automatic spacing before and after the operator.\footnote{\TeX's eight classes of math subformulas are beyond the scope of this user guide, but in summary, the horizontal position of different characters in an equation depends on their math classes. See Donald Knuth, \textit{The TEXbook} (Addison Wesley, 1986), 170; David Salomon, \textit{The Advanced TEXbook} (Springer, 1995), 256–258.} The macros from the first row instruct \TeX\ to treat the operator like an ordinary variable, so they are most appropriate for sets and categories. The macros from the second row instruct \TeX\ to horizontally position the operator like a summation or integral sign, and they are appropriate for functions and probability distributions. But if you are not overly fastidious, for most uses of this package other than category theory, you will probably be fine to just use |\DeclareMathOperator|.
+
+The macros in Table~2 will happily redefine any operator commands, but they will not overwrite other control sequences unless you specifically tell them to do so. The count variable |\operatordefmode| controls the package behavior in this regard as follows:
+\begin{itemize}
+\item Negative: redefine the control sequence
+\item 0: silently ignore (message written in the |log| file)
+\item 1: issue a warning and do not redefine
+\item 2 or greater: raise an error
+\end{itemize}
+By default, \textsf{math-operator} sets |\operatordefmode| to 1, so you will see a warning on the terminal or console if you try to convert a control sequence that is already defined into a math operator. However, if you really want to redefine a control sequence to be a math operator, you can say
+\begin{trivlist}
+\item \hskip 2em\ttfamily |\operatordefmode=-1|
+\end{trivlist}
+before calling a command from Table~2.
+
+
+One operator group warrants additional explanation. The package argument |overbar| corresponds to the single control sequence |\overbar|, which adds a horizontal line above a math subformula. The line will be wider than |\bar| but narrower than |\overline|, and the syntax is
+\begin{trivlist}
+\item\hskip2em\ttfamily |\overbar|\meta{optional $*$}|[|\meta{optional decimal}|]{|\meta{math}|}|
+\end{trivlist}
+The \meta{decimal} should be between 0 and 1, and it controls the width of the overline. Specifically, |\overbar| typesets \meta{math}, creates a horizontal line that is \meta{decimal} times the width of the math subformula, and places the line above the typeset subformula. By default, \meta{decimal} is 0.8. With an asterisk, |\overbar| positions the overline halfway over the subformula. For example, the code
+\begin{trivlist}
+\item \hskip 2em\ttfamily |\overbar*[0.9]{xyz}|
+\end{trivlist}
+will put an overline above $xyz$ that is 90\% the length of $xyz$ and position it exactly halfway between the start of the $x$ and the end of the $z$.
+
+
+
+When |\overbar| does not have an asterisk (the default version of the command), the count variable |\operatorbaroffset| controls the horizontal placement of the line. As is standard in \TeX, this variable should take values between 0 and 1000, and \textsf{math-operator} divides |\operatorbaroffset| by 1000 to form a fraction. It then places the overline that fraction of the way across the top of the subformula. The default value is 800. For example, saying
+\begin{trivlist}
+\item \hskip 2em\ttfamily |\operatorbaroffset=0|
+\end{trivlist}
+will make all following |\overbar| lines appear completely on the left side of the subformula, and an asterisk is equivalent to setting |\operatorbaroffset| to 500.
+
+Finally, the package defines two other user-level commands. Because it may redefine |\P|, \textsf{math-operator} always defines |\pilcrow| to typeset the \P\ symbol in text and math modes. The macro |\operatorhyphen| will typeset a hyphen when used in the definition of an operator control sequence or in a local font-change command for math such as |\mathrm| or |\mathbf|. Using |\operatorhyphen| in any other situation will result in an error.
+
+
+\bigskip
+
+\centerline{***}
+
+\vskip-\bigskipamount
+\vskip-\medskipamount
+\vskip\z@
+
+\section{Blackboard Bold}{Note: to use the blackboard-bold commands listed here, you must load a package that defines \vrb\mathbb\space such as \textsf{amssymb} or \textsf{mathfont}, and that command should provide access to blackboard-bold characters. If you do not do so before using these control sequences, you'll get an error.}
+
+
+
+\showop\N{$\mathbb N$}{Natural numbers}
+\showop\Z{$\mathbb Z$}{Integers}
+\showop\Q{$\mathbb Q$}{Rational numbers}
+\showop\R{$\mathbb R$}{Real numbers}
+\showop\C{$\mathbb C$}{Complex numbers}
+\showop\H{$\mathbb H$}{Quaternions (or half-plane)\footnotemark}\footnotetext{In math mode only. Outside of equations, \vrb\H\ will still behave normally. If you want to change the \vrb\H\ operator somehow, you should redefine \vrb\mathH, not \vrb\H.}
+\showop\O{$\mathbb O$}{Octonions\footnotemark}\footnotetext{In math mode only. Outside of equations, \vrb\O\ will still behave normally. If you want to change the \vrb\O\ operator somehow, you should redefine \vrb\mathO, not \vrb\O.}
+\showop\P{$\mathbb P$}{Probability}
+\showop\E{$\mathbb E$}{Expectation}
+
+\section{Categories}{I am not a category theorist, and serious category theorists who use this package will undoubtedly want to define more categories in their own documents using \vrb\DeclareBoldMathText. If I missed any common categories that should be on this list, I am very open to expanding it.}
+
+
+
+\showop{\Ab}{\textbf{Ab}}{Category of abelian groups}
+\showop{\Alg}{\textbf{Alg}}{Category of algebras}
+\showop{\Cat}{\textbf{Cat}}{Category of small categories}
+\showop{\CRing}{\textbf{CRing}}{Category of commutative rings}
+\showop{\Field}{\textbf{Field}}{Category of fields}
+\showop{\FinGrp}{\textbf{FinGrp}}{Category of finite groups}
+\showop{\FinVect}{\textbf{FinVect}}{Category of finite-dimensional vector spaces}
+\showop{\Grp}{\textbf{Grp}}{Category of groups}
+\showop{\Haus}{\textbf{Haus}}{Category of Hausdorff spaces}
+\showop{\Man}{\textbf{Man}}{Category of manifolds}
+\showop{\Met}{\textbf{Met}}{Category of metric spaces}
+\showop{\Mod}{\textbf{Mod}}{Category of modules}
+\showop{\Mon}{\textbf{Mon}}{Category of monoids}
+\showop{\Ord}{\textbf{Ord}}{Category of preordered sets}
+\showop{\Ring}{\textbf{Ring}}{Category of rings}
+\showop{\Set}{\textbf{Set}}{Category of sets}
+\showop{\Top}{\textbf{Top}}{Category of topological spaces}
+\showop{\Vect}{\textbf{Vect}}{Category of vector spaces}
+\showop{\cocone}{cocone}{Cocone}
+\showop{\colim}{colim}{Colimit}
+\showop{\cone}{cone}{Cone}
+\showop{\op}{$^{\operator at font op}$}{Opposite category}
+
+\vfil
+
+
+\section{Jacobi Elliptic Functions}{Pretty straightforward. If you load \textsf{math-operator} with |jacobi|, you won't be able to use \vrb\sc\ to change to a small-caps font. (But you shouldn't use \vrb\sc\ anyway because it's deprecated.)}
+
+
+\showop{\cd}{cd}{}
+\showop{\cn}{cn}{}
+\showop{\cs}{cs}{}
+\showop{\dc}{dc}{}
+\showop{\dn}{dn}{}
+\showop{\ds}{ds}{}
+\showop{\nc}{nc}{}
+\showop{\nd}{nd}{}
+\showop{\ns}{ns}{}
+\showop{\sc}{sc}{}
+\showop{\sd}{sd}{}
+\showop{\sn}{sn}{}
+
+\section{Linear Algebra}{Some matrix groups and operations.}
+
+
+
+\showop{\adj}{adj}{Adjugate matrix}
+\showop{\coker}{coker}{Cokernel}
+\showop{\GL}{GL}{General linear group}
+\showop{\nullity}{nullity}{Nullity}
+\showop{\Orthogonal}{O}{Orthogonal group}
+\showop{\proj}{proj}{Projection (onto a vector)}
+\showop{\rank}{rank}{Rank}
+\showop{\SL}{SL}{Special linear group}
+\showop{\SO}{SO}{Special orthogonal group}
+\showop{\SU}{SU}{Special unitary group}
+\showop{\Sp}{Sp}{Symplectic group}
+\showop{\spanop}{span}{Span}
+\showop{\tr}{tr}{Trace}
+\showop{\T}{$^{\operator at font T}$}{Transpose}
+\showop{\Unitary}{U}{Unitary group}
+
+
+\section{Overlining}{Loading \textsf{math-operator} with the |overbar| option tells the package to define \vrb\overbar. Below are two examples of this macro with \vrb\bar\space and \vrb\overline\space for comparison.}
+
+{\columnsep\z@
+\multicolsep\z@
+\begin{multicols}{2}
+\tabcolsep\z@
+
+
+\setbox\@tempboxa\hbox{%
+ \setbox\@tempboxa\hbox{$a$}%
+ \@tempdima\wd\@tempboxa
+ \@tempdimb\ht\@tempboxa
+ \rlap{\box\@tempboxa}%
+ \hskip 0.16\@tempdima
+ $\overline{\vrule height \@tempdimb width \z@ depth \z@
+ \hskip 0.8\@tempdima}\m at th$}
+
+\noindent\begin{tabular}{p{0.5\columnwidth}l}
+|\bar a| & $\bar a$\\
+|\overbar a| & \box\@tempboxa\\
+|\overline a| & $\overline a$
+\end{tabular}
+
+\columnbreak
+
+\setbox\@tempboxa\hbox{%
+ \setbox\@tempboxa\hbox{$X$}%
+ \@tempdima\wd\@tempboxa
+ \@tempdimb\ht\@tempboxa
+ \rlap{\box\@tempboxa}%
+ \hskip 0.16\@tempdima
+ $\overline{\vrule height \@tempdimb width \z@ depth \z@
+ \hskip 0.8\@tempdima}\m at th$}
+
+\noindent\begin{tabular}{p{0.5\columnwidth}l}
+|\bar X| & $\bar X$\\
+|\overbar X| & \box\@tempboxa\\
+|\overline X| & $\overline X$
+\end{tabular}
+
+
+\end{multicols}\par}
+
+
+\section{Probability Distributions}{A selection of the most common probability distributions. For the normal distribution, if you type \vrb\Normal\ without the asterisk, you will see $\mathcal N$, and if you include the asterisk after \vrb\Normal, then \textsf{math-operator} will write out ``Normal.''}
+
+
+
+\showop{\Bernoulli}{Bernoulli}{}
+\showop{\Betaop}{Beta}{}
+\showop{\Binomial}{Binomial}{}
+\showop{\Boltzmann}{Boltzmann}{}
+\showop{\Burr}{Burr}{}
+\showop{\Categorical}{Categorical}{}
+\showop{\Cauchy}{Cauchy}{}
+\showop{\ChiSq}{$\chi^2$}{Chi-squared}
+\showop{\Dagum}{Dagum}{}
+\showop{\Exponential}{Exponential}{}
+\showop{\Erlang}{Erlang}{}
+\showop{\Gammaop}{Gamma}{}
+\showop{\Gompertz}{Gompertz}{}
+\showop{\InvChiSq}{Inv-$\chi^2$}{Inverse chi-squared}
+\showop{\InvGamma}{Inv-Gamma}{Inverse gamma}
+\showop{\Kolmogorov}{Kolmogorov}{}
+\showop{\LogLogistic}{Log-Logistic}{}
+\showop{\LogNormal}{Log-Normal}{}
+\showop{\Logistic}{Logistic}{}
+\showop{\Lomax}{Lomax}{}
+\showop{\MaxwellBoltzmann}{Maxwell-Boltzmann}{}
+\showop{\Multinomial}{Multinomial}{}
+\showop{\NegBinomial}{Neg-Binomial}{Negative binomial}
+\showop{\Normal\meta{optional $*$}}{$\mathcal N$ or Normal}{}
+\showop{\Pareto}{Pareto}{}
+\showop{\Poisson}{Poisson}{}
+\showop{\Weibull}{Weibull}{}
+\showop{\Zipf}{Zipf}{}
+
+\section{Special Functions}{Common special functions from applied math.}
+
+
+
+\showop{\Ai}{Ai}{Airy function of the first kind}
+\showop{\Bi}{Bi}{Airy function of the second kind}
+\showop{\Ci}{Ci}{Cosine integral function}
+\showop{\ci}{ci}{Cosine integral function (variant)}
+\showop{\Chi}{Chi}{Hyperbolic cosine integral function}
+\showop{\Ei}{Ei}{Exponential integral function}
+\showop{\erf}{erf}{Error function}
+\showop{\erfinv}{erf$^{-1}$}{Inverse error function}
+\showop{\erfc}{erfc}{Complementary error function}
+\showop{\erfcinv}{erfc$^{-1}$}{Inverse complementary error function}
+\showop{\Li}{Li}{Polylogarithm function}
+\showop{\li}{li}{Logarithmic integral function}
+\showop{\Log}{Log}{Logarithm (principal value)}
+\showop{\sgn}{sgn}{Sign function}
+\showop{\Si}{Si}{Sine integral function}
+\showop{\si}{si}{Sine integral function (variant)}
+\showop{\Shi}{Shi}{Hyperbolic sine integral function}
+
+
+\section{Standard Operators}{Common mathematical operations. More pure mathy than the special functions.}
+
+
+
+\showop{\argmax}{arg$\,$max}{Arguments of the maxima}
+\showop{\argmin}{arg$\,$min}{Arguments of the minima}
+\showop{\Aut}{Aut}{Automorphism group}
+\showop{\c}{$^{\begingroup\operator at font c\endgroup}$}{Complement\footnotemark}\footnotetext{In math mode only. Outside of equations, \vrb\c\ will still behave normally. If you want to change the \vrb\c\ operator somehow, you should redefine \vrb\mathc, not \vrb\c.}
+\showop{\cf}{cf}{Cofinality}
+\showop{\cl}{cl}{Closure}
+\showop{\conv}{conv}{Convex hull}
+\showop{\corr}{corr}{Correlation}
+\showop{\cov}{cov}{Covariance}
+\showop{\curl}{curl}{Curl}
+\showop{\divop}{div}{Divergence}
+\showop{\grad}{grad}{Gradient}
+\showop{\Hom}{Hom}{Collection of morphisms}
+\showop{\id}{id}{Identity}
+\showop{\Im}{Im}{Imaginary part}
+\showop{\varIm}{$\Im$}{Imaginary part\footnotemark}\footnotetext{In the \LaTeX\ kernel, \texttt{\string\Im} produces $\Im$, but I decided to change that since Im is more standard than $\Im$.}
+\showop{\img}{img}{Image}
+\showop{\interior}{int}{Interior}
+\showop{\lcm}{lcm}{Least common multiple}
+\showop{\Proj}{Proj}{Projective spectrum}
+\showop{\Re}{Re}{Real part}
+\showop{\varRe}{$\Re$}{Real part\footnotemark}\footnotetext{In the \LaTeX\ kernel, \texttt{\string\Re} produces $\Re$, but I decided to change that since Re is more standard than $\Re$.}
+\showop{\Res}{Res}{Residue}
+\showop{\Spec}{Spec}{Spectrum}
+\showop{\supp}{supp}{Support}
+\showop{\Var}{Var}{Variance}
+
+
+
+\section{Trigonometry}{All inverse, hyperbolic, and inverse hyperbolic trigonometric functions that are not in the \LaTeX\ kernel.}
+
+
+
+\showop{\csch}{csch}{Hyperbolic cosecant}
+\showop{\sech}{sech}{Hyperbolic secant}
+\showop{\arccsc}{arccsc}{Inverse cosecant}
+\showop{\arcsec}{arcsec}{Inverse secant}
+\showop{\arccot}{arccot}{Inverse cotangent}
+\showop{\arcsinh}{arcsinh}{Inverse hyperbolic sine}
+\showop{\arccosh}{arccosh}{Inverse hyperbolic cosine}
+\showop{\arctanh}{arctanh}{Inverse hyperbolic tangent}
+\showop{\arccsch}{arccsch}{Inverse hyperbolic cosecant}
+\showop{\arcsech}{arcsech}{Invesse hyperbolic secant}
+\showop{\arccoth}{arccoth}{Inverse hyperbolic tangent}
+\showop{\arsinh}{arsinh}{Inverse hyperbolic sine}
+\showop{\arcosh}{arcosh}{Inverse hyperbolic cosine}
+\showop{\artanh}{artanh}{Inverse hyperbolic tangent}
+\showop{\arcsch}{arcsch}{Inverse hyperbolic cosecant}
+\showop{\arsech}{arsech}{Inverse hyperbolic secant}
+\showop{\arcoth}{arcoth}{Inverse hyperbolic cotangent}
+\showop{\sininv}{sin$^{-1}$}{Inverse sine}
+\showop{\cosinv}{cos$^{-1}$}{Inverse cosine}
+\showop{\taninv}{tan$^{-1}$}{Inverse tangent}
+\showop{\cscinv}{csc$^{-1}$}{Inverse cosecant}
+\showop{\secinv}{sec$^{-1}$}{Inverse secant}
+\showop{\cotinv}{cot$^{-1}$}{Inverse cotangent}
+\showop{\sinhinv}{sinh$^{-1}$}{Inverse hyperbolic sine}
+\showop{\coshinv}{cosh$^{-1}$}{Inverse hyperbolic cosine}
+\showop{\tanhinv}{tanh$^{-1}$}{Inverse hyperbolic tangent}
+\showop{\cschinv}{csch$^{-1}$}{Inverse hyperbolic cosecant}
+\showop{\sechinv}{sech$^{-1}$}{Inverse hyperbolic secant}
+\showop{\cothinv}{coth$^{-1}$}{Inverse hyperbolic cotangent}
+
+
+
+
+
+\end{document}
+%
+%</user>
+%<*heading>
+%
+
+\csname count@\endcsname\catcode`\@
+\makeatletter
+
+% package date and edition
+\def\packagedate{February 2025}
+\def\packageversion{1.0}
+
+% header and footer commands
+\let\@@section\section
+\def\section{\relax
+ \vskip1in\kern\z@\vskip-1in\vskip\z@
+ \vskip1.5in\kern\z@\vskip-1.5in\vskip\z@
+ \@ifstar\star at sect\no at star@sect}
+\def\star at sect#1{\@@section*{#1}\section at name{#1}}
+\def\no at star@sect#1{\@@section{#1}\section at name{#1}}
+\def\section at name#1{\expandafter
+ \def\csname section@\thesection\endcsname{#1}}
+\def\sectionname{\csname section@\thesection\endcsname}
+
+\protected\def\clap#1{\hb at xt@\z@{\hss#1\hss}}
+\def\@oddhead{\ifnum\count0>1\relax
+ \rlap{}\hfil\clap{\itshape\sectionname}\hfil
+ \llap{\the\count0}\fi}
+\def\@evenhead{\ifnum\count0>1\relax
+ \rlap{\the\count0}\hfil\clap{\itshape\sectionname}\hfil
+ \llap{}\fi}
+\def\@oddfoot{\hfil\ifnum\count0=1\relax1\fi\hfil}
+\let\@evenfoot\@empty
+
+% penalties
+\pretolerance=20
+\hyphenpenalty=10
+\exhyphenpenalty=5
+\brokenpenalty=0
+\clubpenalty=5
+\widowpenalty=5
+\finalhyphendemerits=300
+\doublehyphendemerits=500
+
+\flushbottom
+
+% general macros
+\def\topfraction{1}
+\def\bottomfraction{1}
+\let\code\@undefined
+\newenvironment{code}
+ {\strut\vadjust\bgroup\vskip 5pt plus 1pt minus 3pt\relax
+ \parindent\z@\leftskip2em\relax
+ \noindent\strut\ignorespaces}
+ {\strut\par\vskip 5pt plus 1pt minus 3pt\relax
+ \egroup\hfill\break\strut\ignorespacesafterend}
+\def\vrb#1{\expandafter\texttt\expandafter{\string#1}}
+\parskip=0pt
+
+
+% title information
+{\large
+ \parindent=0pt\relax
+ \leftskip=0pt plus 1fill\relax
+ \rightskip=0pt plus 1fill\relax
+{\strut\Large Package \textsf{math-operator} v.\ \packageversion\ \documentname\par
+{\strut Conrad Kosowsky}\par
+{\strut\packagedate}\par
+{\strut\ttfamily kosowsky.latex at gmail.com}\par}
+
+\bigskip
+
+{\small
+\leftskip=0.5in\relax
+\rightskip=0.5in\relax
+
+% abstract
+\centerline{\bfseries Overview\strut}
+\noindent The \textsf{math-operator} package defines control sequences for roughly one hundred and fifty math operators, including special functions, probability distributions, pure mathematical constructions, and a variant of |\overline|. The package also provides an interface for users to define new math operators similar to the \textsf{amsopn} package. New operators can be medium or bold weight, and they may be declared as |\mathord| or |\mathop| subformulas.\par}
+
+\bigskip\bigskip\nointerlineskip
+\centerline{\vrule height 0.5pt width 2.5in}\bigskip\bigskip}
+\nointerlineskip
+
+
+\catcode`\@\count@
+
+
+%
+%
+%
+%
+%
+%
+%
+%</heading>
+% \fi
+%
+%
+% \check at checksum
+%
+% \endinput
Property changes on: trunk/Master/texmf-dist/source/latex/math-operator/math-operator_code.dtx
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: trunk/Master/texmf-dist/tex/latex/math-operator/math-operator.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/math-operator/math-operator.sty (rev 0)
+++ trunk/Master/texmf-dist/tex/latex/math-operator/math-operator.sty 2025-02-28 22:10:12 UTC (rev 74351)
@@ -0,0 +1,649 @@
+%%
+%% This is file `math-operator.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% math-operator_code.dtx (with options: `code')
+%%
+%% This file is from version 1.0 of the free and open-source
+%% LaTeX package "math-operator," released February 2025.
+%%
+%% Copyright 2025 Conrad Kosowsky
+%%
+%% This file may be used, distributed, and modified under the
+%% terms of the LaTeX Public Project License, version 1.3c or
+%% any later version. The most recent version of this license
+%% is available online at
+%%
+%% https://www.latex-project.org/lppl/
+%%
+%% This work has the LPPL status "maintained," and the current
+%% maintainer is the package author, Conrad Kosowsky. He can
+%% be reached at kosowsky.latex at gmail.com.
+%%
+%% PLEASE KNOW THAT THIS FREE SOFTWARE IS PROVIDED WITHOUT
+%% ANY WARRANTY. SPECIFICALLY, THE "NO WARRANTY" SECTION OF
+%% THE LATEX PROJECT PUBLIC LICENSE STATES THE FOLLOWING:
+%%
+%% THERE IS NO WARRANTY FOR THE WORK. EXCEPT WHEN OTHERWISE
+%% STATED IN WRITING, THE COPYRIGHT HOLDER PROVIDES THE WORK
+%% `AS IS’, WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
+%% OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+%% WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+%% PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE
+%% OF THE WORK IS WITH YOU. SHOULD THE WORK PROVE DEFECTIVE,
+%% YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR, OR
+%% CORRECTION.
+%%
+%% IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED
+%% TO IN WRITING WILL THE COPYRIGHT HOLDER, OR ANY AUTHOR
+%% NAMED IN THE COMPONENTS OF THE WORK, OR ANY OTHER PARTY
+%% WHO MAY DISTRIBUTE AND/OR MODIFY THE WORK AS PERMITTED
+%% ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY GENERAL,
+%% SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT
+%% OF ANY USE OF THE WORK OR OUT OF INABILITY TO USE THE WORK
+%% (INCLUDING, BUT NOT LIMITED TO, LOSS OF DATA, DATA BEING
+%% RENDERED INACCURATE, OR LOSSES SUSTAINED BY ANYONE AS A
+%% RESULT OF ANY FAILURE OF THE WORK TO OPERATE WITH ANY
+%% OTHER PROGRAMS), EVEN IF THE COPYRIGHT HOLDER OR SAID
+%% AUTHOR OR SAID OTHER PARTY HAS BEEN ADVISED OF THE
+%% POSSIBILITY OF SUCH DAMAGES.
+%%
+%% For more information, see the LaTeX Project Public License.
+%% Derivative works based on this software may come with their
+%% own license or terms of use, and the package author is not
+%% responsible for any third-party software.
+%%
+%% Happy TeXing!
+%%
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{operator}[2025/02/27 Package math-operator v. 1.0]
+\newif\if at operator@bb % blackboard bold
+\newif\if at operator@c % category theory
+\newif\if at operator@j % Jacobi elliptic functions
+\newif\if at operator@l % linear algebra
+\newif\if at operator@o % overlining
+\newif\if at operator@p % probability distributions
+\newif\if at operator@sf % special functions
+\newif\if at operator@s % standard operators
+\newif\if at operator@t % trigonometry
+\@operator at bbtrue
+\@operator at ctrue
+\@operator at jtrue
+\@operator at ltrue
+\@operator at otrue
+\@operator at ptrue
+\@operator at sftrue
+\@operator at strue
+\@operator at ttrue
+\DeclareOption{blackboard}{\@operator at bbtrue}
+\DeclareOption{category}{\@operator at ctrue}
+\DeclareOption{jacobi}{\@operator at jtrue}
+\DeclareOption{linear}{\@operator at ltrue}
+\DeclareOption{overbar}{\@operator at otrue}
+\DeclareOption{probability}{\@operator at ptrue}
+\DeclareOption{special}{\@operator at sftrue}
+\DeclareOption{standard}{\@operator at strue}
+\DeclareOption{trigonometry}{\@operator at ttrue}
+\DeclareOption{no-blackboard}{\@operator at bbfalse}
+\DeclareOption{no-category}{\@operator at cfalse}
+\DeclareOption{no-jacobi}{\@operator at jfalse}
+\DeclareOption{no-linear}{\@operator at lfalse}
+\DeclareOption{no-overbar}{\@operator at ofalse}
+\DeclareOption{no-probability}{\@operator at pfalse}
+\DeclareOption{no-special}{\@operator at sffalse}
+\DeclareOption{no-standard}{\@operator at sfalse}
+\DeclareOption{no-trigonometry}{\@operator at tfalse}
+\ProcessOptions*
+\def\@operatorinfo#1{\wlog{Package operator Info: #1}}
+\newcount\operatordefmode
+\operatordefmode\@ne
+\ifdefined\Umathchar
+ \protected\edef\@operatorhyphen{%
+ \Umathchar+0+\noexpand\the\fam+\number`\-\relax}
+\else
+ \begingroup
+ \@tempcntb=\number`\-\relax
+ \count@\@tempcntb
+ \divide\count@ by 16\relax
+ \@tempcnta\count@
+ \multiply\count@ by 16\relax
+ \advance\@tempcntb by -\count@
+ \protected\xdef\@operatorhyphen{%
+ \mathchar"0%
+ \noexpand\hexnumber@\fam
+ \hexnumber@\@tempcnta
+ \hexnumber@\@tempcntb\relax}
+ \endgroup
+\fi
+\protected\def\pilcrow{\ifmmode\textparagraph\else\mathparagraph\fi}
+\protected\def\operatorhyphen{%
+ \mathchoice{}{}{}{}
+ \ifnum\fam=\m at ne
+ \PackageError{operator}
+ {Can't use\MessageBreak\string\operatorhyphen\space here}
+ {Your command was ignored.
+ I only know how to\MessageBreak
+ use \string\operatorhyphen\space
+ inside a math operator or\MessageBreak
+ a font-change command for math
+ such as \string\mathrm\MessageBreak
+ or \string\mathbf. (Technically, the
+ \string\fam\space needs to be\MessageBreak
+ something other than -1.)
+ To resolve this\MessageBreak
+ error, make sure \string\operatorhyphen\space
+ appears only\MessageBreak
+ in those settings.}
+ \else
+ \@operatorhyphen
+ \fi}
+\protected\def\DeclareMathText#1#2{\relax
+ \make at newop@cmd{#1}
+ {\protected\def#1{{\operator at font #2}}}}
+\protected\def\DeclareBoldMathText#1#2{\relax
+ \make at newop@cmd{#1}
+ {\protected\def#1{\mathchoice{}{}{}{}\@init at bfopfont
+ {\@bfop at choices{#2}}}}}
+\protected\def\DeclareMathOperator{\relax\@ifstar
+ \@operatorlim\@operatornolim}
+\protected\def\DeclareBoldMathOperator{\relax\@ifstar
+ \@bfoperatorlim\@bfoperatornolim}
+\def\@operatorlim#1#2{%
+ \make at newop@cmd{#1}
+ {\protected\def#1{\mathop{\operator at font\kern\z@#2}\limits}}}
+\def\@operatornolim#1#2{%
+ \make at newop@cmd{#1}
+ {\protected\def#1{\mathop{\operator at font\kern\z@#2}\nolimits}}}
+\def\@bfoperatorlim#1#2{%
+ \make at newop@cmd{#1}
+ {\protected\def#1{\mathchoice{}{}{}{}\@init at bfopfont
+ \mathop{\@bfop at choices{\kern\z@#2}}\limits}}}
+\def\@bfoperatornolim#1#2{%
+ \make at newop@cmd{#1}
+ {\protected\def#1{\mathchoice{}{}{}{}\@init at bfopfont
+ \mathop{\@bfop at choices{\kern\z@#2}}\nolimits}}}
+\def\operator at list{\log\lg\ln
+ \lim\limsup\liminf
+ \sin\arcsin\sinh
+ \cos\arccos\cosh
+ \tan\arctan\tanh
+ \cot\coth
+ \sec\csc
+ \max\min\sup\inf
+ \arg\ker\dim\hom\det
+ \exp
+ \Pr
+ \gcd\deg}
+\def\addto at operator@list#1{\expandafter
+ \def\expandafter\operator at list\expandafter{\operator at list#1}}
+\def\@ifoperator#1{%
+ \expandafter\in@\expandafter#1\expandafter{\operator at list}%
+ \ifin@
+ \expandafter\@firstoftwo
+ \else
+ \expandafter\@secondoftwo
+ \fi}
+\def\OperatorBadNameError#1{%
+ \PackageError{operator}{Invalid name\MessageBreak
+ "\detokenize{#1}" for new operator}
+ {I was expecting the name of the new operator\MessageBreak
+ to be a single control sequence, but instead\MessageBreak
+ you typed "\detokenize{#1}."\MessageBreak
+ This doesn't work. To resolve this error,\MessageBreak
+ make sure the first argument of the operator\MessageBreak
+ declaration is a single control sequence.\MessageBreak}}
+\def\OperatorCSDefWarning#1{%
+ \PackageWarning{operator}{Control sequence\MessageBreak
+ \string#1\space is already defined. Your\MessageBreak
+ operator declaration was\MessageBreak ignored}}
+\def\OperatorCSDefError#1{%
+ \PackageError{operator}{Control sequence\MessageBreak
+ \string#1\space already defined. Your\MessageBreak
+ operator declaration was ignored}
+ {You tried to define the control sequence\MessageBreak
+ \string#1\space to be a new\MessageBreak
+ operator even though it already has a\MessageBreak
+ definition. I'm currently set to raise an\MessageBreak
+ error when that happens. To resolve the\MessageBreak
+ error, either pick a different control\MessageBreak
+ sequence or set \string\operatordefmode\space to a \MessageBreak
+ negative number to overwrite the definition.\MessageBreak}}
+\def\make at newop@cmd#1#2{%
+ \expandafter\ifx\expandafter\@nnil\@gobble#1\@nnil % is #1 one token?
+ \ifcat\relax\noexpand#1 % does #1 start with cs?
+ \@ifoperator{#1}
+ {\@operatorinfo{Redefining \string#1\space operator.}
+ #2} % <-- new definition happens here
+ {\ifx#1\@undefined
+ \@operatorinfo{Defining new operator \string#1.}
+ \addto at operator@list{#1}
+ #2 % <-- new definition happens here
+ \else % if #1 is already defined...
+ \ifnum\operatordefmode<\z@ % case < 0: redefine
+ \@operatorinfo{Overwriting definition of \string#1.}
+ \addto at operator@list{#1}
+ #2 % <-- new definition happens here
+ \else
+ \@operatorinfo{Leaving \string#1\space as is.}
+ \ifcase\operatordefmode % case 0: do nothing
+ \or % case 1: warning
+ \OperatorCSDefWarning{#1}
+ \else % case >= 2: error
+ \OperatorCSDefError{#1}
+ \fi
+ \fi
+ \fi}
+ \else
+ \OperatorBadNameError{#1}
+ \fi
+ \else
+ \OperatorBadNameError{#1}
+ \fi}
+\let\operator at tf\relax
+\let\operator at sf\relax
+\let\operator at ssf\relax
+\def\@init at bfopfont{%
+ \@tempswatrue % reset sizes by default
+ \ifx\operator at tf\tf at size
+ \ifx\operator at sf\sf at size
+ \ifx\operator at ssf\ssf at size
+ \@tempswafalse % don't reset sizes if unnecessary
+ \fi
+ \fi
+ \fi
+ \if at tempswa
+ \begingroup
+ \operator at font
+ \escapechar\m at ne
+ \def\set at bf@@##1##2##3{%
+ \edef\@tempa{\expandafter\string\the##2\fam}
+ \expandafter\split at name\@tempa\@nil
+ \DeclareFixedFont##1\f at encoding\f at family\bfdefault\f at shape##3}
+ \set at bf@@\@bfoptf\textfont\tf at size
+ \set at bf@@\@bfopsf\scriptfont\sf at size
+ \set at bf@@\@bfopssf\scriptscriptfont\ssf at size
+ \global\let\operator at tf\tf at size
+ \global\let\operator at sf\sf at size
+ \global\let\operator at ssf\ssf at size
+ \endgroup
+ \fi}
+\def\@bfop at choices#1{%
+ \mathchoice{\hbox{\@bfoptf#1}}
+ {\hbox{\@bfoptf#1}}
+ {\hbox{\@bfopsf#1}}
+ {\hbox{\@bfopssf#1}}}
+\@onlypreamble\DeclareMathText
+\@onlypreamble\DeclareBoldMathText
+\@onlypreamble\DeclareMathOperator
+\@onlypreamble\DeclareBoldMathOperator
+\@onlypreamble\@operatorlim
+\@onlypreamble\@operatornolim
+\@onlypreamble\@bfoperatorlim
+\@onlypreamble\@bfoperatornolim
+\@onlypreamble\make at newop@cmd
+\wlog{}
+\if at operator@bb
+ \@operatorinfo{Defining blackboard-bold letters.}
+ \def\NoBBError#1{\PackageError{operator}
+ {Missing \string\mathbb\space command}
+ {It looks like you're trying to make\MessageBreak
+ a blackbold-board "#1." However, I\MessageBreak
+ can't define blackboard-bold letters\MessageBreak
+ because I don't see a definition for\MessageBreak
+ \string\mathbb, which is what I would use to\MessageBreak
+ do it. To resolve this error message,\MessageBreak
+ try loading a package that provides\MessageBreak
+ blackboard-bold font support such as\MessageBreak
+ amssymb or mathfont.\MessageBreak}}
+ \def\@makebbchar#1{%
+ \@operatorinfo{Predefining
+ \expandafter\string\csname #1\endcsname\space
+ for use later.}
+ \protected\@namedef{#1}{%
+ \ifdefined\mathbb
+ \@operatorinfo{Setting up \expandafter
+ \string\csname#1\endcsname\space for use.}%
+ \protected\global\@namedef{#1}{\mathbb{#1}}%
+ \@nameuse{#1}%
+ \else
+ \NoBBError{#1}%
+ \fi}}
+ \@makebbchar{N}
+ \@makebbchar{Z}
+ \@makebbchar{Q}
+ \@makebbchar{R}
+ \@makebbchar{C}
+ \@operatorinfo{Predefining \string\H\space for use later.}
+ \@operatorinfo{Predefining \string\O\space for use later.}
+ \let\textH\H
+ \let\textO\O
+ \def\mathH{%
+ \ifdefined\mathbb
+ \@operatorinfo{Setting up \string\H\space for use.}%
+ \protected\global\def\mathH{\mathbb{H}}%
+ \mathH
+ \else
+ \NoBBError{H}%
+ \fi}
+ \def\mathO{%
+ \ifdefined\mathbb
+ \@operatorinfo{Setting up \string\O\space for use.}%
+ \protected\global\def\mathO{\mathbb{O}}%
+ \mathO
+ \else
+ \NoBBError{O}%
+ \fi}
+ \protected\def\O{\ifmmode\mathO\else\expandafter\textO\fi}
+ \protected\def\H{\ifmmode\mathH\else\expandafter\textH\fi}
+ \def\@makebbop#1{%
+ \@operatorinfo{Predefining
+ \expandafter\string\csname #1\endcsname\space
+ for use later.}
+ \protected\@namedef{#1}{%
+ \ifdefined\mathbb
+ \@operatorinfo{Setting up \expandafter
+ \string\csname#1\endcsname\space for use.}%
+ \protected\global\@namedef{#1}{\mathop{\kern\z@\mathbb{#1}}}%
+ \@nameuse{#1}%
+ \else
+ \NoBBError{#1}%
+ \fi}}
+ \@makebbop{E}
+ \@makebbop{P}
+ \addto at operator@list{\N\Z\Q\R\C\mathO\mathH\E\P}
+\else
+ \@operatorinfo{Skipping blackboard-bold letters.}
+\fi
+\if at operator@c
+ \wlog{}
+ \@operatorinfo{Defining category theory notation.}
+ \DeclareBoldMathText{\Ab}{Ab}
+ \DeclareBoldMathText{\Alg}{Alg}
+ \DeclareBoldMathText{\Cat}{Cat}
+ \DeclareBoldMathText{\CRing}{CRing}
+ \DeclareBoldMathText{\Field}{Field}
+ \DeclareBoldMathText{\FinGrp}{FinGrp}
+ \DeclareBoldMathText{\FinVect}{FinVect}
+ \DeclareBoldMathText{\Grp}{Grp}
+ \DeclareBoldMathText{\Haus}{Haus}
+ \DeclareBoldMathText{\Man}{Man}
+ \DeclareBoldMathText{\Met}{Met}
+ \DeclareBoldMathText{\Mod}{Mod}
+ \DeclareBoldMathText{\Mon}{Mon}
+ \DeclareBoldMathText{\Ord}{Ord}
+ \DeclareBoldMathText{\Ring}{Ring}
+ \DeclareBoldMathText{\Set}{Set}
+ \DeclareBoldMathText{\Top}{Top}
+ \DeclareBoldMathText{\Vect}{Vect}
+ \DeclareMathOperator{\cocone}{cocone}
+ \DeclareMathOperator{\colim}{colim}
+ \DeclareMathOperator{\cone}{cone}
+ \@operatorinfo{Defining new operator \string\op.}
+ \addto at operator@list{\op}
+ \protected\def\op{^{\operator at font op}}
+\else
+ \@operatorinfo{Skipping category theory notation.}
+\fi
+\if at operator@j
+ \wlog{}
+ \@operatorinfo{Defining Jacobi elliptic functions.}
+ \DeclareMathOperator{\cd}{cd}
+ \DeclareMathOperator{\cn}{cn}
+ \DeclareMathOperator{\cs}{cs}
+ \DeclareMathOperator{\dc}{dc}
+ \DeclareMathOperator{\dn}{dn}
+ \DeclareMathOperator{\ds}{ds}
+ \DeclareMathOperator{\nc}{nc}
+ \DeclareMathOperator{\nd}{nd}
+ \DeclareMathOperator{\ns}{ns}
+ \let\sc\@undefined
+ \DeclareMathOperator{\sc}{sc}
+ \DeclareMathOperator{\sd}{sd}
+ \DeclareMathOperator{\sn}{sn}
+\else
+ \@operatorinfo{Skipping Jacobi elliptic functions.}
+\fi
+\if at operator@l
+ \wlog{}
+ \@operatorinfo{Defining operators from linear algebra.}
+ \DeclareMathOperator{\adj}{adj}
+ \DeclareMathOperator{\coker}{coker}
+ \DeclareMathText{\GL}{GL}
+ \DeclareMathOperator{\nullity}{nullity}
+ \DeclareMathText{\Orthogonal}{O}
+ \DeclareMathOperator{\proj}{proj}
+ \DeclareMathOperator{\rank}{rank}
+ \DeclareMathText{\SL}{SL}
+ \DeclareMathText{\SO}{SO}
+ \DeclareMathText{\SU}{SU}
+ \DeclareMathOperator{\Sp}{Sp}
+ \DeclareMathOperator*{\spanop}{span}
+ \DeclareMathOperator{\tr}{tr}
+ \@operatorinfo{Defining new operator \string\T.}
+ \addto at operator@list{\T}
+ \protected\def\T{^{\operator at font T}}
+ \DeclareMathText{\Unitary}{U}
+\else
+ \@operatorinfo{Skipping operators from linear algebra.}
+\fi
+\if at operator@o
+ \wlog{}
+ \@operatorinfo{Defining \string\overbar.}
+ \newcount\operatorbaroffset
+ \operatorbaroffset=800\relax
+ \protected\def\overbar{\mathchoice{}{}{}{}%
+ \@ifstar
+ {\@ifnextchar[%
+ {\@overb at r{500}}
+ {\@overb at r{500}[0.8]}}
+ {\@ifnextchar[%
+ {\@overb at r{\the\operatorbaroffset}}
+ {\@overb at r{\the\operatorbaroffset}[0.8]}}}
+ \def\@overb at r#1[#2]#3{\begingroup
+ \mathchoice
+ {\setbox\@tempboxa\hbox{$\displaystyle#3\m at th$}
+ \@tempdima\wd\@tempboxa
+ \@tempdimb\ht\@tempboxa
+ \@tempdimc\dp\@tempboxa
+ \hbox to \@tempdima{\unhbox\@tempboxa\hskip-\@tempdima
+ \hskip\dimexpr(\@tempdima-#2\@tempdima)*#1/1000\relax
+ $\overline{%
+ \vrule width \z@ height \@tempdimb depth \@tempdimc
+ \hskip\dimexpr#2\@tempdima\relax}\m at th$%
+ \hfil}}
+ {\setbox\@tempboxa\hbox{$\textstyle#3\m at th$}
+ \@tempdima\wd\@tempboxa
+ \@tempdimb\ht\@tempboxa
+ \@tempdimc\dp\@tempboxa
+ \hbox to \@tempdima{\unhbox\@tempboxa\hskip-\@tempdima
+ \hskip\dimexpr(\@tempdima-#2\@tempdima)*#1/1000\relax
+ $\overline{%
+ \vrule width \z@ height \@tempdimb depth \@tempdimc
+ \hskip\dimexpr#2\@tempdima\relax}\m at th$%
+ \hfil}}
+ {\setbox\@tempboxa\hbox{$\scriptstyle#3\m at th$}
+ \@tempdima\wd\@tempboxa
+ \@tempdimb\ht\@tempboxa
+ \@tempdimc\dp\@tempboxa
+ \hbox to \@tempdima{\unhbox\@tempboxa\hskip-\@tempdima
+ \hskip\dimexpr(\@tempdima-#2\@tempdima)*#1/1000\relax
+ $\overline{%
+ \vrule width \z@ height \@tempdimb depth \@tempdimc
+ \hskip\dimexpr#2\@tempdima\relax}\m at th$%
+ \hfil}}
+ {\setbox\@tempboxa\hbox{$\scriptscriptstyle#3\m at th$}
+ \@tempdima\wd\@tempboxa
+ \@tempdimb\ht\@tempboxa
+ \@tempdimc\dp\@tempboxa
+ \hbox to \@tempdima{\unhbox\@tempboxa\hskip-\@tempdima
+ \hskip\dimexpr(\@tempdima-#2\@tempdima)*#1/1000\relax
+ $\overline{%
+ \vrule width \z@ height \@tempdimb depth \@tempdimc
+ \hskip\dimexpr#2\@tempdima\relax}\m at th$%
+ \hfil}}
+ \endgroup}
+\else
+ \@operatorinfo{Skipping \string\overbar.}
+\fi
+\if at operator@p
+ \wlog{}
+ \@operatorinfo{Defining probability distributions.}
+ \DeclareMathOperator{\Bernoulli}{Bernoulli}
+ \DeclareMathOperator{\Betaop}{Beta}
+ \DeclareMathOperator{\Binomial}{Binomial}
+ \DeclareMathOperator{\Boltzmann}{Boltzmann}
+ \DeclareMathOperator{\Burr}{Burr}
+ \DeclareMathOperator{\Categorical}{Categorical}
+ \DeclareMathOperator{\Cauchy}{Cauchy}
+ \DeclareMathOperator{\ChiSq}{\chi^2}
+ \DeclareMathOperator{\Dagum}{Dagum}
+ \DeclareMathOperator{\Exponential}{Exponential}
+ \DeclareMathOperator{\Erlang}{Erlang}
+ \DeclareMathOperator{\Gammaop}{Gamma}
+ \DeclareMathOperator{\Gompertz}{Gompertz}
+ \DeclareMathOperator{\InvChiSq}{Inv\@operatorhyphen\chi^2}
+ \DeclareMathOperator{\InvGamma}{Inv\@operatorhyphen Gamma}
+ \DeclareMathOperator{\Kolmogorov}{Kolmogorov}
+ \DeclareMathOperator{\LogLogistic}{Log\@operatorhyphen Logistic}
+ \DeclareMathOperator{\LogNormal}{Log\@operatorhyphen Normal}
+ \DeclareMathOperator{\Logistic}{Logistic}
+ \DeclareMathOperator{\Lomax}{Lomax}
+ \DeclareMathOperator{\MaxwellBoltzmann}{Maxwell\@operatorhyphen Boltzmann}
+ \DeclareMathOperator{\Multinomial}{Multinomial}
+ \DeclareMathOperator{\NegBinomial}{Neg\@operatorhyphen Binomial}
+ \@operatorinfo{Defining new operator \string\Normal.}
+ \addto at operator@list{\Normal}
+ \def\operator at N{\mathop{\kern\z@\mathcal{N}}}
+ \def\operator at normal{\mathop{\begingroup\operator at font Normal\endgroup}}
+ \protected\def\Normal{\mathchoice{}{}{}{}%
+ \@ifstar{\operator at normal\nolimits}{\operator at N\nolimits}}
+ \DeclareMathOperator{\Pareto}{Pareto}
+ \DeclareMathOperator{\Poisson}{Poisson}
+ \DeclareMathOperator{\Weibull}{Weibull}
+ \DeclareMathOperator{\Zipf}{Zipf}
+\else
+ \@operatorinfo{Skipping probability distributions.}
+\fi
+\if at operator@sf
+ \wlog{}
+ \@operatorinfo{Defining special functions.}
+ \DeclareMathOperator{\Ai}{Ai}
+ \DeclareMathOperator{\Bi}{Bi}
+ \DeclareMathOperator{\Ci}{Ci}
+ \DeclareMathOperator{\ci}{ci}
+ \DeclareMathOperator{\Chi}{Chi}
+ \DeclareMathOperator{\Ei}{Ei}
+ \DeclareMathOperator{\erf}{erf}
+ \@operatorinfo{Defining new operator \string\erfinv.}
+ \protected\def\erfinv{\mathop{\begingroup
+ \operator at font erf\endgroup^{-1}}\nolimits}
+ \DeclareMathOperator{\erfc}{erfc}
+ \@operatorinfo{Defining new operator \string\erfcinv.}
+ \protected\def\erfcinv{\mathop{\begingroup
+ \operator at font erfc\endgroup^{-1}}\nolimits}
+ \addto at operator@list{\erfinv\erfcinv}
+ \DeclareMathOperator{\Li}{Li}
+ \DeclareMathOperator{\li}{li}
+ \DeclareMathOperator{\Log}{Log}
+ \DeclareMathOperator{\sgn}{sgn}
+ \DeclareMathOperator{\Si}{Si}
+ \DeclareMathOperator{\si}{si}
+ \DeclareMathOperator{\Shi}{Shi}
+\else
+ \@operatorinfo{Skipping special functions.}
+\fi
+\if at operator@s
+ \wlog{}
+ \@operatorinfo{Defining standard operators.}
+ \DeclareMathOperator*{\argmax}{arg\,max}
+ \DeclareMathOperator*{\argmin}{arg\,min}
+ \DeclareMathOperator{\Aut}{Aut}
+ \@operatorinfo{Defining new operator \string\c.}
+ \addto at operator@list{\mathc}
+ \let\textc\c
+ \def\mathc{^{\operator at font c}}
+ \protected\def\c{\ifmmode\mathc\else\expandafter\textc\fi}
+ \DeclareMathOperator{\cf}{cf}
+ \DeclareMathOperator{\cl}{cl}
+ \DeclareMathOperator{\conv}{conv}
+ \DeclareMathOperator{\corr}{corr}
+ \DeclareMathOperator{\cov}{cov}
+ \DeclareMathOperator{\curl}{curl}
+ \DeclareMathOperator{\divop}{div}
+ \DeclareMathOperator{\grad}{grad}
+ \DeclareMathOperator{\Hom}{Hom}
+ \DeclareMathOperator{\id}{id}
+ \DeclareMathOperator{\img}{img}
+ \DeclareMathOperator{\interior}{int}
+ \DeclareMathOperator*{\lcm}{lcm}
+ \DeclareMathOperator{\Proj}{Proj}
+ \DeclareMathOperator{\Res}{Res}
+ \DeclareMathOperator{\Spec}{Spec}
+ \DeclareMathOperator{\supp}{supp}
+ \addto at operator@list{\varIm\varRe\Im\Re}
+ \@operatorinfo{Defining \string\varIm\space operator from \string\Im.}
+ \@operatorinfo{Defining \string\varRe\space operator from \string\Re.}
+ \let\varIm\Im
+ \let\varRe\Re
+ \DeclareMathOperator{\Im}{Im}
+ \DeclareMathOperator{\Re}{Re}
+ \DeclareMathOperator{\Var}{Var}
+\else
+ \@operatorinfo{Skipping standard operators.}
+\fi
+\if at operator@t
+ \wlog{}
+ \@operatorinfo{Defining trigonometric functions.}
+ \DeclareMathOperator{\csch}{csch}
+ \DeclareMathOperator{\sech}{sech}
+ \DeclareMathOperator{\arccsc}{arccsc}
+ \DeclareMathOperator{\arcsec}{arcsec}
+ \DeclareMathOperator{\arccot}{arccot}
+ \DeclareMathOperator{\arcsinh}{arcsinh}
+ \DeclareMathOperator{\arccosh}{arccosh}
+ \DeclareMathOperator{\arctanh}{arctanh}
+ \DeclareMathOperator{\arccsch}{arccsch}
+ \DeclareMathOperator{\arcsech}{arcsech}
+ \DeclareMathOperator{\arccoth}{arccoth}
+ \DeclareMathOperator{\arsinh}{arsinh}
+ \DeclareMathOperator{\arcosh}{arcosh}
+ \DeclareMathOperator{\artanh}{artanh}
+ \DeclareMathOperator{\arcsch}{arcsch}
+ \DeclareMathOperator{\arsech}{arsech}
+ \DeclareMathOperator{\arcoth}{arcoth}
+ \protected\def\sininv{\mathop{\begingroup
+ \operator at font sin\endgroup^{-1}}\nolimits}
+ \protected\def\cosinv{\mathop{\begingroup
+ \operator at font cos\endgroup^{-1}}\nolimits}
+ \protected\def\taninv{\mathop{\begingroup
+ \operator at font tan\endgroup^{-1}}\nolimits}
+ \protected\def\cscinv{\mathop{\begingroup
+ \operator at font csc\endgroup^{-1}}\nolimits}
+ \protected\def\secinv{\mathop{\begingroup
+ \operator at font sec\endgroup^{-1}}\nolimits}
+ \protected\def\cotinv{\mathop{\begingroup
+ \operator at font cot\endgroup^{-1}}\nolimits}
+ \protected\def\sinhinv{\mathop{\begingroup
+ \operator at font sinh\endgroup^{-1}}\nolimits}
+ \protected\def\coshinv{\mathop{\begingroup
+ \operator at font cosh\endgroup^{-1}}\nolimits}
+ \protected\def\tanhinv{\mathop{\begingroup
+ \operator at font tanh\endgroup^{-1}}\nolimits}
+ \protected\def\cschinv{\mathop{\begingroup
+ \operator at font csch\endgroup^{-1}}\nolimits}
+ \protected\def\sechinv{\mathop{\begingroup
+ \operator at font sech\endgroup^{-1}}\nolimits}
+ \protected\def\cothinv{\mathop{\begingroup
+ \operator at font coth\endgroup^{-1}}\nolimits}
+ \addto at operator@list{\sininv\cosinv\taninv
+ \cscinv\secinv\cotinv\sinhinv\coshinv
+ \tanhinv\cschinv\sechinv\cothinv}
+\else
+ \@operatorinfo{Skipping trigonometric functions.}
+\fi
+\wlog{}
+\endinput
+%%
+%% End of file `math-operator.sty'.
Property changes on: trunk/Master/texmf-dist/tex/latex/math-operator/math-operator.sty
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Modified: trunk/Master/tlpkg/bin/tlpkg-ctan-check
===================================================================
--- trunk/Master/tlpkg/bin/tlpkg-ctan-check 2025-02-28 22:08:51 UTC (rev 74350)
+++ trunk/Master/tlpkg/bin/tlpkg-ctan-check 2025-02-28 22:10:12 UTC (rev 74351)
@@ -565,7 +565,7 @@
marathi marcellus margbib marginalia
marginfit marginfix marginnote maritime markdown marvosym
matapli matc3 matc3mem match_parens
- math-into-latex-4 mathabx mathabx-type1 mathalpha mathastext
+ math-into-latex-4 math-operator mathabx mathabx-type1 mathalpha mathastext
mathcommand mathcomp mathdesign mathdots mathexam
mathfam256 mathfixs mathfont mathgreeks
mathlig mathpartir mathpazo mathpunctspace
Modified: trunk/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
===================================================================
--- trunk/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc 2025-02-28 22:08:51 UTC (rev 74350)
+++ trunk/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc 2025-02-28 22:10:12 UTC (rev 74351)
@@ -151,6 +151,7 @@
depend lplfitch
depend lstbayes
depend luanumint
+depend math-operator
depend mathcommand
depend mathcomp
depend mathfixs
Added: trunk/Master/tlpkg/tlpsrc/math-operator.tlpsrc
===================================================================
More information about the tex-live-commits
mailing list.