iohk.sty

\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{iohk}[2018/10/18]

\RequirePackage{amssymb}
\RequirePackage{extarrows}
\RequirePackage{slashed}
\RequirePackage[tikz]{bclogo}
\RequirePackage{stmaryrd}

\DeclareMathOperator{\dom}{dom}
\DeclareMathOperator{\range}{range}

\newcommand{\powerset}[1]{\mathbb{P}~#1}
\newcommand{\restrictdom}{\lhd}
\newcommand{\subtractdom}{\mathbin{\slashed{\restrictdom}}}
\newcommand{\restrictrange}{\rhd}
\newcommand{\subtractrange}{\mathbin{\slashed{\restrictrange}}}
\newcommand{\union}{\cup}
\newcommand{\unionoverrideRight}{\mathbin{\underrightarrow\cup}}
\newcommand{\uniondistinct}{\uplus}
\newcommand{\var}[1]{\mathit{#1}}
\newcommand{\fun}[1]{\mathsf{#1}}
\newcommand{\type}[1]{\mathsf{#1}}
\newcommand{\signed}[2]{\llbracket #1 \rrbracket_{#2}}
\newcommand{\size}[1]{\left| #1 \right|}
\newcommand{\trans}[2]{\xlongrightarrow[\textsc{#1}]{#2}}
\newcommand{\seqof}[1]{#1^{*}}
\newcommand{\nextdef}{\\[1em]}
\newcommand{\where}{~ ~ \mathbf{where}~ ~ }

% Ceiling
\usepackage{mathtools}
\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}
% Floor
\DeclarePairedDelimiter{\floor}{\lfloor}{\rfloor}


\newenvironment{question}
  {\begin{bclogo}[logo=\bcquestion, couleur=orange!10, arrondi=0.2]{ QUESTION}}
  {\end{bclogo}}
\newenvironment{todo}
  {\begin{bclogo}[logo=\bcoutil, couleur=red!5, couleurBarre=red, arrondi=0.2]{ TODO}}
    {\end{bclogo}}
\newenvironment{note}
  {\begin{bclogo}[logo=\bcattention, couleur=orange!10, arrondi=0.2]{ NOTE}}
  {\end{bclogo}}

\endinput