Skip to content

Instantly share code, notes, and snippets.

@ice1000

ice1000/quiver-macros.tex

Last active March 19, 2022 21:08
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ice1000/47b7ea52f8c351607831f7f4afa9a79b to your computer and use it in GitHub Desktop.
Save ice1000/47b7ea52f8c351607831f7f4afa9a79b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
quiver-macros.tex
\newcommand{\lrbracket}[1]{\llbracket #1 \rrbracket}
\newcommand{\Tm}[2]{\text{Tm}(#1, #2)}
\newcommand{\FF}{\mathcal F}
\newcommand{\CC}{\mathcal C}
\newcommand{\EE}{\mathcal E}
\newcommand{\lrangle}[1]{\langle#1\rangle}
\newcommand{\Prop}{\text{Prop}}
\newcommand{\El}[1]{\text{El}(#1)}
\newcommand{\eqlzSimp}{\mathrm{eq}}
\newcommand{\eqlz}[2]{\eqlzSimp(#1,#2)}
\newcommand{\Eqlz}[2]{\mathrm{Eq}(#1,#2)}
\newcommand{\Idty}[3]{\mathrm{Id}_{#1}~#2~#3}
\newcommand{\reflcon}[1]{\textsf{refl}_{#1}}
\newcommand{\id}{\rm{id}}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment