summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/suppose/suppose.sty
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/suppose/suppose.sty')
-rw-r--r--macros/latex/contrib/suppose/suppose.sty95
1 files changed, 52 insertions, 43 deletions
diff --git a/macros/latex/contrib/suppose/suppose.sty b/macros/latex/contrib/suppose/suppose.sty
index e0df512bfc..9c1d2ca830 100644
--- a/macros/latex/contrib/suppose/suppose.sty
+++ b/macros/latex/contrib/suppose/suppose.sty
@@ -1,4 +1,4 @@
-% suppose.sty 1.2 2021/04/01
+% suppose.sty 1.2.1 2021/04/09
% Andrew Lounsbury
%************************************************************************
@@ -20,7 +20,7 @@
% This work consists of the file suppose.sty.
%************************************************************************
\NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{suppose}[2021/04/01 1.2 supposition symbols]
+\ProvidesPackage{suppose}[2021/04/09 1.2.1 supposition symbols]
%
\RequirePackage{amsmath, euscript, graphicx}%
%
@@ -31,7 +31,6 @@
\newcommand*{\sansserif}[1]{\textit{{\fontfamily{lmss}\selectfont #1}}}%
\newcommand*{\bfsansserif}[1]{\textbf{\textit{{\fontfamily{lmss}\selectfont #1}}}}%
%
-\font\btt=rm-lmtk10 % bold typewriter font
\font\bitt=rm-lmtko10 % bold italicized typewriter font
\newcommand*{\itt}[1]{\scalebox{1.11}{\textit{\texttt{#1}}}}%
\newcommand*{\bolditt}[1]{$\scalebox{1.11}{\bitt #1}$}%
@@ -44,8 +43,12 @@
\setlength{\boldshift}{0.0485in}%
\newlength{\rulelength}%
\setlength{\rulelength}{1.3ex}%
+\newlength{\rulewidth}%
+\setlength{\rulewidth}{0.15ex}%
\newlength{\boldrulelength}%
\setlength{\boldrulelength}{1.3ex}%
+\newlength{\boldrulewidth}%
+\setlength{\boldrulewidth}{0.25ex}%
\newcommand{\curfont}{\mathnormal}%
\newcommand{\curboldfont}{\boldsymbol}%
%
@@ -55,9 +58,9 @@
\setlength{\boldshift}{0.0425in}%
}%
\DeclareOption{mathcal}{%
- \ifdim\boldshift = 0.0425in % if slant option selected
+ \ifdim\boldshift = 0.0425in % if slant option selected
\addtolength{\shift}{0.00225in}%
- \addtolength{\boldshift}{0.00225in}%
+ \addtolength{\boldshift}{0.0015in}%
\fi%
\renewcommand{\curfont}{\mathcal}%
\renewcommand{\curboldfont}{\mathbfcal}%
@@ -67,89 +70,95 @@
}%
\DeclareOption{dutchcal}{%
\ifdim\boldshift = 0.0425in%
- \addtolength{\shift}{0.0025in}%
- \addtolength{\boldshift}{0.002in}%
+ \addtolength{\shift}{0.0012in}%
+ \addtolength{\boldshift}{0.0012in}%
\fi%
\renewcommand{\curfont}{\mathdutchcal}%
\renewcommand{\curboldfont}{\mathdutchbfcal}%
\addtolength{\rulelength}{0.1ex}%
\addtolength{\shift}{0.0025in}%
- \addtolength{\boldrulelength}{0.1ex}%
- \addtolength{\boldshift}{-0.003in}%
+ \addtolength{\boldrulelength}{0.145ex}%
+ \addtolength{\boldshift}{-0.0035in}%
+ \addtolength{\boldrulewidth}{-0.025ex}%
}%
\DeclareOption{eulerscript}{%
\ifdim\boldshift = 0.0425in%
\addtolength{\shift}{0.0000000000000000001in}%
- \addtolength{\boldshift}{0.0015in}%
+ \addtolength{\boldshift}{0.00125in}%
\fi%
\renewcommand{\curfont}{\EuScript}%
\renewcommand{\curboldfont}{\bfeuscript}%
\addtolength{\rulelength}{0.1ex}%
\addtolength{\shift}{-0.01275in}%
- \addtolength{\boldshift}{-0.015in}%
+ \addtolength{\boldshift}{-0.01525in}%
}%
\DeclareOption{sans-serif}{%
\ifdim\boldshift = 0.0425in%
\addtolength{\shift}{0.001in}%
+ \addtolength{\boldshift}{0.001in}%
\fi%
\renewcommand{\curfont}{\sansserif}%
\renewcommand{\curboldfont}{\bfsansserif}%
\addtolength{\shift}{-0.01375in}%
- \addtolength{\boldshift}{-0.006in}%
+ \addtolength{\boldshift}{-0.005in}%
}%
\DeclareOption{tt}{%
+ \ifdim\boldshift = 0.0425in%
+ \addtolength{\shift}{0.001in}%
+ \addtolength{\boldrulewidth}{-0.025ex}%
+ \fi%
\renewcommand{\curfont}{\itt}%
\renewcommand{\curboldfont}{\bolditt}%
\addtolength{\shift}{0.0114in}%
\addtolength{\boldrulelength}{0.1ex}%
- \addtolength{\boldshift}{-0.0185in}%
+ \addtolength{\boldshift}{-0.02in}%
}%
+\DeclareOption*{\PackageWarning{suppose}{Unknown '\CurrentOption'}}%
+\ProcessOptions\relax%
+%
% The two main commands
\newlength{\Swidth}%
\settowidth{\Swidth}{S}%
\newcommand{\supp}{%
\makebox[\Swidth][r]{%
$\rotatebox{\value{angle}}{%
- \rule[-0.5ex]{0.15ex}{\rulelength}%
+ \rule[-0.5ex]{\rulewidth}{\rulelength}%
}$\hspace{\shift}\ %
}\llap{$\curfont{S}$}\mspace{5mu}%
}%
\newcommand{\bsup}{%
\makebox[\Swidth][r]{%
$\rotatebox{\value{angle}}{%
- \rule[-0.5ex]{0.2ex}{\boldrulelength}%
+ \rule[-0.5ex]{\boldrulewidth}{\boldrulelength}%
}$\hspace{\boldshift}%
}\llap{$\curboldfont{S}$%
}\mspace{5mu}}%
+%
% Commands for hard-coding
-\newcommand{\plainsupp}{\makebox[\Swidth][r]{$\rule[-0.5ex]{0.15ex}{1.3ex}\mspace{-0.25mu}$\ }\llap{$S$}\mspace{5mu}}%
-\newcommand{\csup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{0.15ex}{1.45ex}\mspace{8.5mu}$}\llap{$\mathcal{S}$}\mspace{5mu}}%
-\newcommand{\dsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{0.15ex}{1.45ex}\mspace{9.5mu}$}\llap{$\mathdutchcal{S}$}\mspace{5mu}}%
-\newcommand{\esup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{0.15ex}{1.35ex}\mspace{5.25mu}$}\llap{$\EuScript{S}$}\mspace{5mu}}%
-\newcommand{\tsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{0.15ex}{1.3ex}\mspace{5.5mu}$\ }\llap{\scalebox{1.1}{\textit{\texttt{S}}}}\mspace{5mu}}%
-
-\newcommand{\vsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{0.15ex}{1.45ex}\mspace{7.75mu}$}\llap{\textit{{\fontfamily{lmss}\selectfont S}}}\mspace{5mu}}%
+\newcommand{\plainsupp}{\makebox[\Swidth][r]{$\rule[-0.5ex]{\rulewidth}{1.3ex}\mspace{-0.25mu}$\ }\llap{$S$}\mspace{5mu}}%
+\newcommand{\csup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{\rulewidth}{1.45ex}\mspace{8.5mu}$}\llap{$\mathcal{S}$}\mspace{5mu}}%
+\newcommand{\dsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{\rulewidth}{1.45ex}\mspace{9.5mu}$}\llap{$\mathdutchcal{S}$}\mspace{5mu}}%
+\newcommand{\esup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{\rulewidth}{1.35ex}\mspace{5.25mu}$}\llap{$\EuScript{S}$}\mspace{5mu}}%
+\newcommand{\tsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{\rulewidth}{1.3ex}\mspace{5.5mu}$\ }\llap{\scalebox{1.1}{\textit{\texttt{S}}}}\mspace{5mu}}%
+\newcommand{\vsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{\rulewidth}{1.45ex}\mspace{7.75mu}$}\llap{\textit{{\fontfamily{lmss}\selectfont S}}}\mspace{5mu}}%
% Bold
-\newcommand{\plainbsup}{\makebox[\Swidth][r]{$\rule[-0.5ex]{0.20ex}{1.3ex}\mspace{6.3mu}$}\llap{$\boldsymbol{S}$}\mspace{5mu}}%
-\newcommand{\bcsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{0.20ex}{1.5ex}\mspace{10mu}$}\llap{$\boldsymbol{\mathcal{S}}$}\mspace{5mu}}%
-\newcommand{\bdsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{0.20ex}{1.5ex}\mspace{9.5mu}$}\llap{$\mathdutchbfcal{S}$}\mspace{5mu}}%
-\newcommand{\besup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{0.20ex}{1.35ex}\mspace{6mu}$}\llap{$\boldsymbol{\EuScript{S}}$}\mspace{5mu}}%
-\newcommand{\btsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{0.2ex}{1.3ex}\mspace{-0.7mu}$\ }\llap{\scalebox{1.11}{\bitt S}}\mspace{5mu}}%
-\newcommand{\bvsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{0.20ex}{1.45ex}\mspace{8.75mu}$}\llap{\textbf{\textit{{\fontfamily{lmss}\selectfont S}}}}\mspace{5mu}}%
+\newcommand{\plainbsup}{\makebox[\Swidth][r]{$\rule[-0.5ex]{\boldrulewidth}{1.3ex}\mspace{6.3mu}$}\llap{$\boldsymbol{S}$}\mspace{5mu}}%
+\newcommand{\bcsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{\boldrulewidth}{1.45ex}\mspace{10.5mu}$}\llap{$\boldsymbol{\mathcal{S}}$}\mspace{5mu}}%
+\newcommand{\bdsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{0.225ex}{1.5ex}\mspace{9.5mu}$}\llap{$\mathdutchbfcal{S}$}\mspace{5mu}}%
+\newcommand{\besup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{\boldrulewidth}{1.35ex}\mspace{6.4mu}$}\llap{$\boldsymbol{\EuScript{S}}$}\mspace{5mu}}%
+\newcommand{\btsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{\boldrulewidth}{1.3ex}\mspace{-0.675mu}$\ }\llap{\scalebox{1.11}{\bitt S}}\mspace{5mu}}%
+\newcommand{\bvsup}{\makebox[\Swidth][c]{\ $\rule[-0.5ex]{\boldrulewidth}{1.45ex}\mspace{9mu}$}\llap{\textbf{\textit{{\fontfamily{lmss}\selectfont S}}}}\mspace{5mu}}%
% Slanted rule
-\newcommand{\ssup}{\makebox[\Swidth][r]{$\rotatebox{-15}{\rule[-0.5ex]{0.15ex}{1.3ex}}\mspace{5mu}$}\llap{$S$}\mspace{5mu}}%
-\newcommand{\scsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{0.15ex}{1.45ex}}\mspace{10mu}$}\llap{$\mathcal{S}$}\mspace{5mu}}%
-\newcommand{\sdsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{0.15ex}{1.35ex}}\mspace{11mu}$}\llap{$\mathdutchcal{S}$}\mspace{5mu}}%
-\newcommand{\sesup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{0.15ex}{1.4ex}}\mspace{6.6mu}$}\llap{$\EuScript{S}$}\mspace{5mu}}%
-\newcommand{\stsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{0.15ex}{1.3ex}}\mspace{6.5mu}$\ }\llap{\scalebox{1.11}{\textit{\texttt{S}}}}\mspace{5mu}}%
-\newcommand{\svsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{0.15ex}{1.45ex}}\mspace{9mu}$}\llap{\textit{{\fontfamily{lmss}\selectfont S}}}\mspace{5mu}}%
+\newcommand{\ssup}{\makebox[\Swidth][r]{$\rotatebox{-15}{\rule[-0.5ex]{\rulewidth}{1.3ex}}\mspace{5mu}$}\llap{$S$}\mspace{5mu}}%
+\newcommand{\scsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{\rulewidth}{1.45ex}}\mspace{10mu}$}\llap{$\mathcal{S}$}\mspace{5mu}}%
+\newcommand{\sdsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{\rulewidth}{1.35ex}}\mspace{11mu}$}\llap{$\mathdutchcal{S}$}\mspace{5mu}}%
+\newcommand{\sesup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{\rulewidth}{1.4ex}}\mspace{6.6mu}$}\llap{$\EuScript{S}$}\mspace{5mu}}%
+\newcommand{\stsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{\rulewidth}{1.3ex}}\mspace{6.8mu}$\ }\llap{\scalebox{1.11}{\textit{\texttt{S}}}}\mspace{5mu}}%
+\newcommand{\svsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{\rulewidth}{1.45ex}}\mspace{9mu}$}\llap{\textit{{\fontfamily{lmss}\selectfont S}}}\mspace{5mu}}%
% Slanted & bold
-\newcommand{\sbsup}{\makebox[\Swidth][r]{$\rotatebox{-15}{\rule[-0.5ex]{0.20ex}{1.3ex}}\mspace{5.5mu}$}\llap{$\boldsymbol{S}$}\mspace{5mu}}%
-\newcommand{\sbcsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{0.20ex}{1.45ex}}\mspace{12mu}$}\llap{$\boldsymbol{\mathcal{S}}$}\mspace{5mu}}%
-\newcommand{\sbdsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{0.20ex}{1.4ex}}\mspace{11mu}$}\llap{$\mathdutchbfcal{S}$}\mspace{5mu}}%
-\newcommand{\sbesup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{0.20ex}{1.45ex}}\mspace{7.2mu}$}\llap{$\boldsymbol{\EuScript{S}}$}\mspace{5mu}}%
-\newcommand{\sbtsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{0.2ex}{1.4ex}}\mspace{0.25mu}$\ }\llap{\scalebox{1.11}{\bitt S}}\mspace{5mu}}%
-\newcommand{\sbvsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{0.20ex}{1.45ex}}\mspace{10mu}$}\llap{\textbf{\textit{{\fontfamily{lmss}\selectfont S}}}}\mspace{5mu}}%
-%
-\DeclareOption*{\PackageWarning{suppose}{Unknown '\CurrentOption'}}%
-\ProcessOptions\relax%
+\newcommand{\sbsup}{\makebox[\Swidth][r]{$\rotatebox{-15}{\rule[-0.5ex]{\boldrulewidth}{1.3ex}}\mspace{5.5mu}$}\llap{$\boldsymbol{S}$}\mspace{5mu}}%
+\newcommand{\sbcsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{\boldrulewidth}{1.45ex}}\mspace{12mu}$}\llap{$\boldsymbol{\mathcal{S}}$}\mspace{5mu}}%
+\newcommand{\sbdsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{\boldrulewidth}{1.4ex}}\mspace{11mu}$}\llap{$\mathdutchbfcal{S}$}\mspace{5mu}}%
+\newcommand{\sbesup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{\boldrulewidth}{1.45ex}}\mspace{7.6mu}$}\llap{$\boldsymbol{\EuScript{S}}$}\mspace{5mu}}%
+\newcommand{\sbtsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{\boldrulewidth}{1.4ex}}\mspace{0.5mu}$\ }\llap{\scalebox{1.11}{\bitt S}}\mspace{5mu}}%
+\newcommand{\sbvsup}{\makebox[\Swidth][c]{\ $\rotatebox{-15}{\rule[-0.5ex]{\boldrulewidth}{1.45ex}}\mspace{10mu}$}\llap{\textbf{\textit{{\fontfamily{lmss}\selectfont S}}}}\mspace{5mu}}% \ No newline at end of file