%include polycode.fmt

%format <*>  = "\circledast"
%format <$>  = "\mathbin{< \!\! \$ \!\! >}"
%format <|>  = "\mathbin{< \!\! | \!\! >}"
%format >=>  = "\mathbin{> \!\! = \!\!\! >}"
%format <+>  = "\oplus"
%format :+:  = "\mathbin{: \!\! + \!\! :}"
%format :*:  = "\mathbin{: \!\! * \!\! :}"
%format :&:  = "\mathbin{: \!\! \& \!\! :}"
%%format :>:  = "\mathbin{: \! > \! :}"
%format #    = "."
%format <*     = "\mathbin{< \!\! \star}"
%format *>     = "\mathbin{\star \!\! >}"
%format <$     = "\mathbin{< \!\! \$}"


%% Type variables
%format aT  = "\tyid{a}"
%format bT  = "\tyid{b}"
%format cT  = "\tyid{c}"
%format eT  = "\tyid{e}"
%format fT  = "\tyid{f}"
%format famT= "\tyid{fam}"
%format gT  = "\tyid{g}"
%format hT  = "\tyid{h}"
%format ixT = "\tyid{ix}"
%format mT  = "\tyid{m}"
%format pT  = "\tyid{p}"
%format sT  = "\tyid{s}"
%format rT  = "\tyid{r}"
%format tT  = "\tyid{t}"
%format xT  = "\tyid{x}"
%format xiT = "\tyid{xi}"

%format e1 = "e_1"
%format e2 = "e_2"
%format AnnFix1 = AnnFix "_" 1
%format I0 = "I_*"
%format unI0 = "unI_*"
%format K0 = "K_*"
%format unK0 = "unK_*"
%format PF_Expr
%format PF_Type
%format PF_Tuples
%format phi = "\phi"
%format ErrorAlg_PF
%format alg_f
%format alg_g
%format p_f
%format p_g
%format p_i
%format p_1
%format p_2
%format ty_1
%format ty_2
%format ix_1
%format ix_2
%format expr_1
%format expr_2
%format bounds_1
%format bounds_2
%format bounds_child
%format bounds_parent
%format YieldFam = "\Phi_" Yield

\newcommand{\REM}[3]{{\small \textcolor{#2}{[\textbf{#1:} #3]}}}
\newcommand{\Johan}[1]{\REM{Johan}{red}{#1}}
\newcommand{\Pedro}[1]{\REM{Pedro}{orange}{#1}}
\newcommand{\Martijn}[1]{\REM{Martijn}{blue}{#1}}