Commit 909c5388 authored by Sergey Goncharov's avatar Sergey Goncharov
Browse files

+smin

parent 70f8db38
Pipeline #28056 passed with stage
in 36 seconds
......@@ -43,17 +43,17 @@
\providecommand{\argument}{\operatorname{-\!-}}
\providecommand{\altargument}{\underline{\;\;}}
\providecommand{\wave}[1]{\widetilde{#1}} % Overline wave
\providecommand{\ul}{\underline} % Underline
\providecommand{\wave}[1]{\widetilde{#1}} % Overline wave
\providecommand{\ul}{\underline} % Underline
\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
\providecommand{\mplus}{{\scriptscriptstyle\bf+}} % Little + for indexing
\providecommand{\mplus}{{\scriptscriptstyle\bf+}} % Small '+' for indexing
%% Some standard functors
\providecommand{\PSet}{{\mathcal P}} % Powerset
\providecommand{\FSet}{{\mathcal P}_{\omega}} % Finite powerset
\providecommand{\CSet}{{\mathcal P}_{\omega_1}} % Countable powerset
\providecommand{\NESet}{{\mathcal P}^{\mplus}} % Non-empty powerset
\providecommand{\PSet}{{\mathcal P}} % Powerset
\providecommand{\FSet}{{\mathcal P}_{\omega}} % Finite powerset
\providecommand{\CSet}{{\mathcal P}_{\omega_1}} % Countable powerset
\providecommand{\NESet}{{\mathcal P}^{\mplus}} % Non-empty powerset
\providecommand{\Id}{\operatorname{Id}}
%% General categorical notation
......@@ -64,12 +64,12 @@
\providecommand{\iso}{\mathbin{\cong}}
\providecommand{\tensor}{\mathbin{\otimes}}
\providecommand{\unit}{\star}
\providecommand{\bang}{\operatorname!} % Initial/final map
\providecommand{\bang}{\operatorname!} % Initial/final map
%% Various arrows
\providecommand{\ito}{\hookrightarrow} % Injection
\providecommand{\pto}{\mathrel{\rightharpoonup}} % Partial function
\providecommand{\tto}{\mathrel{\Rightarrow}} % Double arrow
\providecommand{\ito}{\hookrightarrow} % Injection
\providecommand{\pto}{\mathrel{\rightharpoonup}} % Partial function
\providecommand{\tto}{\mathrel{\Rightarrow}} % Double arrow
\providecommand{\mto}{\mapsto}
\providecommand{\xto}[1]{\,\xrightarrow{#1}\,}
\providecommand{\xfrom}[1]{\,\xleftarrow{\;#1}\,}
......@@ -120,7 +120,6 @@
\providecommand{\ev}{\oname{ev}}
% Semantic brakets
\usepackage{stmaryrd}
\providecommand{\lsem}{\llbracket}
......@@ -132,38 +131,45 @@
\providecommand{\Sem}[1]{\Lsem #1 \Rsem}
% Typographics
\providecommand{\comma}{,\operatorname{}\linebreak[1]} % possibly line-beaking comma
\providecommand{\dash}{\nobreakdash-\hspace{0pt}} % non-line-beaking hyphen
\providecommand{\erule}{\rule{0pt}{0pt}} % Empty object whose emptiness is not recognized by LaTeX
\providecommand{\comma}{,\operatorname{}\linebreak[1]} % possibly line-beaking comma
\providecommand{\dash}{\nobreakdash-\hspace{0pt}} % non-line-beaking hyphen
\providecommand{\erule}{\rule{0pt}{0pt}} % Empty object whose emptiness
% is not recognized by LaTeX
\providecommand{\by}[1]{\text{/\!\!/~#1}} % Comments in equations
\providecommand{\pacman}[1]{} % Hide a piece of text
\providecommand{\by}[1]{\text{/\!\!/~#1}} % Comments in equations
\providecommand{\pacman}[1]{} % Hide a piece of text
\def\undef#1{\let #1\relax}
\def\undef#1{\let #1\relax} % Make a command undefined
\providecommand{\noqed}{\def\qed{}} % Undefine the QED symbol
\providecommand{\noqed}{\def\qed{}} % Undefine the QED symbol
% -1 superscript for the inversion operator
\providecommand{\mone}{{\text{\kern.5pt\rmfamily-}\mathsf{\kern-.5pt1}}}
\providecommand{\smin}{\smallsetminus}
\makeatletter
\@ifpackageloaded{enumitem}{}{\usepackage[loadonly]{enumitem}} % without [loadonly] conflicts with Beamer
\@ifpackageloaded{enumitem}{}{
\usepackage[loadonly]{enumitem} % without [loadonly]
} % conflicts with Beamer
\makeatother
% Condenced list environments
\newlist{citemize}{itemize}{1}
\setlist[citemize]{label=\labelitemi,wide} %leftmargin=0cm,itemindent=.7cm,labelwidth=\itemindent,labelsep=-.3cm,align=left}
\setlist[citemize]{label=\labelitemi,wide}
%leftmargin=0cm,itemindent=.7cm,labelwidth=\itemindent,labelsep=-.3cm,align=left}
\newlist{cenumerate}{enumerate}{1}
\setlist[cenumerate,1]{label=\arabic*.~,ref={\arabic*},wide} %leftmargin=0cm,itemindent=.7cm,labelwidth=\itemindent,labelsep=-.3cm,align=left}
\setlist[cenumerate,1]{label=\arabic*.~,ref={\arabic*},wide}
%leftmargin=0cm,itemindent=.7cm,labelwidth=\itemindent,labelsep=-.3cm,align=left}
%\newenvironment{citemize}{\begin{itemize}[leftmargin=0cm,itemindent=.7cm,labelwidth=\itemindent,labelsep=-.3cm,align=left]}{\end{itemize}}
%\newenvironment{cenumerate}{\begin{enumerate}[leftmargin=0cm,itemindent=.7cm,labelwidth=\itemindent,labelsep=-.3cm,align=left]}{\end{enumerate}}
%% A macro for defining mixfix operators
\makeatletter
\def\mfix#1{\oname{#1}\@ifnextchar\bgroup\@mfix{}} % processing odd arguments
\def\@mfix#1{#1\@ifnextchar\bgroup\mfix{}} % processing even arguments
\def\mfix#1{\oname{#1}\@ifnextchar\bgroup\@mfix{}} % processing odd arguments
\def\@mfix#1{#1\@ifnextchar\bgroup\mfix{}} % processing even arguments
\makeatother
%% E.g.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment