\usepackage[utf8]{inputenc}

\usepackage{amssymb}
\usepackage{xspace}
\usepackage{amsmath}
\usepackage{mathrsfs}

\usepackage{tikz}

\usetikzlibrary{cd}

\newcommand*{\ca}[1]{\ensuremath{\mathbf{#1}}\xspace}
\newcommand*{\idarr}[1]{\ensuremath{\mathrm{id}_{#1}}}

\newcommand{\id}{\ensuremath{\mathrm{id}}}
\renewcommand{\implies}{\rightarrow}