-
Bob Coecke authoredBob Coecke authored
preamble.tex 10.04 KiB
%
% LaTeX2e Preamble / Ross Duncan 2011
%
%-------------------------------------------------------
% TODO 27/1/2011
% 1. Something for tikz
% 2. Font alternatives?
% 3. Which journals clash with which bits?
% 4. No support for logic -- proof trees linear logic symbols etc
% 5. Use switches to turn on/off some parts
%-------------------------------------------------------
\usepackage{color}
\newcommand{\dzxc}{\texttt{DZXC}\xspace}
%%%%%%%%%%%%%%%% KILL MESS SWITCH %%%%%%%%%%%%%%%%
%1) No mess
%\def\bR{\begin{color}{black}}
%\def\bB{\begin{color}{black}}
%\def\bM{\begin{color}{black}}
%\def\bC{\begin{color}{black}}
%\def\bW{\begin{color}{black}}
%\def\bBl{\begin{color}{black}}
%\def\bG{\begin{color}{black}}
%\def\bY{\begin{color}{black}}
%
%\newcommand{\TODOb}[1]{}
%\newcommand{\oldt}[1]{#1}
%\newcommand{\newt}[1]{#1}
%
%\newcommand{\KILL}[1]{}
%
%\newcommand{\azx}{\dzxc}
%2) Mess:
\def\bR{\begin{color}{red}}
\def\bB{\begin{color}{blue}}
\def\bM{\begin{color}{magenta}}
\def\bC{\begin{color}{cyan}}
\def\bW{\begin{color}{white}}
\def\bBl{\begin{color}{black}}
\def\bG{\begin{color}{green}}
\def\bY{\begin{color}{yellow}}
\newcommand{\TODOb}[1]{\marginpar{\scriptsize\bB \textbf{TODO:} #1\e}}
\newcommand{\oldt}[1]{{\color{blue} #1}}
\newcommand{\newt}[1]{{\color{blue!50!red} #1}}
\newcommand{\KILL}[1]{#1}
\newcommand{\azx}{\texttt{\bfseries\color{red!70!black}[do you mean \textbackslash dzxc?]}\xspace}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\e{\end{color}\xspace}
% typographical improvements
\usepackage[T1]{fontenc}
\usepackage{lmodern}
%\usepackage{tgpagella}
% \usepackage{tgheros}
% \renewcommand*\familydefault{\sfdefault} %% EPSRC wants sans-serif
\usepackage{fixltx2e}
\usepackage{microtype}
%\usepackage[stretch=10]{microtype} % more conservative
%\usepackage[expansion=false]{microtype} % still more conservative
\usepackage{xspace}\usepackage{multicol}
\usepackage{eurosym}
% make figs a bit nicer
\newcommand{\figureline}{\rule{\textwidth}{0.5pt}}
\newcommand{\figureend}{\rule{\textwidth}{0.5pt}}
% do The Right Thing
\makeatletter
\newcommand\etc{etc\@ifnextchar.{}{.\@}\xspace}
\newcommand\ie{i.e.\@\xspace} % these two may be broken
\newcommand\eg{e.g.\@\xspace}
\makeatother
\newcommand\dr{Dr.\!~}
\newcommand\mr{Mr.\!~}
\newcommand\prof{Prof.\!~}
%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Include graphics in a nice way
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{graphicx}
%%%% Use these commands to insert graphics into
%%%% the text and have them line up properly.
%%% - inlinegraphic requires absolute size to be given
%%% - ninlinegraphic uses optional scaling factor
%%%% first param is the desired height of the graphic
%%%% if it is less the 1ex, it might not look good
\newcommand{\inlinegraphic}[2]{
%% todo -- make this thing calculate the height
%% itself based on a global scaling factor
\dimendef\grafheight=255\dimendef\grafvshift=254
\grafheight=#1
\grafvshift=-0.5\grafheight
\advance\grafvshift by 0.5ex
\raisebox{\grafvshift}{\includegraphics[height=\grafheight]{images/#2}\xspace}
}
%%% optional first arg is scaling factor
\newcommand{\ninlinegraphic}[2][1.0]{
\dimendef\grafheight=255\dimendef\grafvshift=254
\setbox0 = \hbox{\scalebox{#1}{\includegraphics{images/#2}}}
\grafheight=\the\ht0
\grafvshift=-0.5\grafheight
\advance\grafvshift by 0.5ex
\raisebox{\grafvshift}{\includegraphics[height=\grafheight]{images/#2}\xspace}
}
\newcommand{\inline}[1]{
\raisebox{0.5ex}{\;#1\;}
}
\newcommand{\cfig}[1]{
\resizebox{\columnwidth}{!}{\ninlinegraphic{#1}}
}
%% first arg is optional scaling factor
\newcommand{\cgraph}[2][1.0]{%
\begin{center}
\includegraphics[width=#1\textwidth]{images/#2}
\end{center}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Mathematical packages and theorems
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{latexsym}
\usepackage{amssymb}
\usepackage{amsmath} % can collide with some journals
\usepackage{stmaryrd}
\usepackage{mathtools}
%%% not needed if amsmath loaded
% \newcommand{\text}[1]{\ensuremath{\mbox{#1}}}
%%% Defining theorems and friends usually makes problems for journal
%%% styles
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\theoremstyle{definition}\newtheorem{example}[theorem]{Example}
\theoremstyle{definition}\newtheorem{examples}[theorem]{Examples}
\theoremstyle{definition}\newtheorem{definition}[theorem]{Definition}
\theoremstyle{definition}\newtheorem{definitions}[theorem]{Definitions}
\theoremstyle{definition}\newtheorem{remark}[theorem]{Remark}
\theoremstyle{definition}\newtheorem{remarks}[theorem]{Remarks}
\newtheorem{notation}[theorem]{Notation}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% General Mathematics shorthands
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% aliases
\newcommand{\infinity}{\infty}
\newcommand{\iso}{\cong}
\newcommand{\isomorphism}{\cong}
\newcommand{\vd}{\ensuremath{\vdash}} % = turnstyle
\newcommand{\dom}{\operatorname{dom}}
\newcommand{\cod}{\operatorname{cod}}
\newcommand{\Tr}{\operatorname{Tr}}
\newcommand{\denote}[1]{% --``semantic'' brakets
\llbracket #1 \rrbracket}
\newcommand{\name}[1]{%--- name / coname
\ulcorner #1 \urcorner}
\newcommand{\coname}[1]{%
\llcorner #1 \lrcorner}
\newcommand{\sizeof}[1]{% \sizeof{x} == |x|
\left|#1\right|}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Quantum Notations
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\bra}[1]{% dirac 'bra'
\ensuremath{\left\langle #1 \right|}\xspace}
\newcommand{\ket}[1]{% dirac 'ket'
\ensuremath{\left| #1 \right\rangle}\xspace}
\newcommand{\innp}[2]{% dirac style inner product
\ensuremath{\langle #1 \mid #2 \rangle}}
\newcommand{\outp}[2]{% dirac style outer product
\ensuremath{\left|\left. #1 \rangle\right.\langle\left. #2 \right|\right. }}
\newcommand{\norm}[1]{% define command to get spacing right
\ensuremath{\left| #1 \right| }}
% aliases for circuits
\newcommand{\CZ}{\ensuremath{\wedge Z}\xspace}
\newcommand{\CX}{\ensuremath{\wedge X}\xspace}\newcommand{\CNot}{\CX}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Time to define some category theory stuff
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\usepackage{diagrams} % remember to give shout-out to Paul Taylor
%\newarrow{Equals}{}{=}{}{=}{}
% Objects of ???
\newcommand{\OBJ}[1]{\ensuremath{\mathrm{Obj}_{#1}}}
% Objects of {\cal ??}
\newcommand{\OBJC}[1]{\ensuremath{\mathrm{Obj}_{{\cal #1}}}}
% Arrows of ???
\newcommand{\ARR}[1]{\ensuremath{\mathrm{Arr}_{#1}}}
% Arrows of {\cal ??}
\newcommand{\ARRC}[1]{\ensuremath{\mathrm{Arr}_{{\cal #1}}}}
% sub scripted identity morphisms
\ifx\numericids\undefined
\newcommand{\id}[1]{\ensuremath{\mathrm{id}_{#1}}}
\else
\newcommand{\id}[1]{\ensuremath{1_{#1}}}
\fi
% Caligraphic category names
\newcommand{\catA}{\ensuremath{{\cal A}}\xspace}
\newcommand{\catB}{\ensuremath{{\cal B}}\xspace}
\newcommand{\catC}{\ensuremath{{\cal C}}\xspace}
\newcommand{\catD}{\ensuremath{{\cal D}}\xspace}
\newcommand{\catE}{\ensuremath{{\cal E}}\xspace}
\newcommand{\catF}{\ensuremath{{\cal F}}\xspace}
\newcommand{\catG}{\ensuremath{{\cal G}}\xspace}
\newcommand{\catH}{\ensuremath{{\cal H}}\xspace}
\newcommand{\catP}{\ensuremath{{\cal P}}\xspace}
\newcommand{\catQ}{\ensuremath{{\cal Q}}\xspace}
% Boldified names of useful categories (and some less useful!)
%
\newcommand{\vectfd}[1]{% category of f.d. vector spaces over some field
\ensuremath{\mathbf{Vect}^{\mathrm{fd}}_{#1}}\xspace}
\newcommand{\vectfdc}{% category of f.d. vector spaces over complexes
\vectfd{\mathbb{C}}}
\newcommand{\catRel}{% the category of sets and relations
\ensuremath{\mathbf{Rel}}\xspace}
\newcommand{\catSet}{% the category of sets and functions
\ensuremath{\mathbf{Set}}\xspace}
\newcommand{\catCat}{% the category of (small) categories
\ensuremath{\mathbf{Cat}}\xspace}
\newcommand{\catInvCat}{% the category of involutive categories
\ensuremath{\mathbf{InvCat}}\xspace}
\newcommand{\catComCl}{% the category of compact closed categories
\ensuremath{\mathbf{ComCl}}\xspace}
\newcommand{\catSComCl}{% the category of strongly compact closed categories
\ensuremath{\mathbf{SComCl}}\xspace}
\newcommand{\catGrph}{% the category of graphs
\ensuremath{\mathbf{Grph}}\xspace}
\newcommand{\qubit}{% the category of qubits
\ensuremath{\mathbf{Qubit}}\xspace}
\newcommand{\fdhilb}{% the category of finite dimensional hilbert space
\ensuremath{\mathbf{fdHilb}}\xspace}
\newcommand{\fdHilb}{\fdhilb}
\newcommand{\catInvCom}{% the category of involutive categories
\ensuremath{\mathbf{InvCom}}\xspace}
\newcommand{\catCom}{% the category of compact closed categories
\ensuremath{\mathbf{Com}}\xspace}
\newcommand{\superop}{% the category of superoperators
\ensuremath{\mathbf{SuperOp}}\xspace}
%%%%% some game semantics notations
\newcommand{\prefix}{\sqsubseteq}
\newcommand{\restrict}{\upharpoonright}
\newcommand{\PP}{\ensuremath{\mathsf{P}}\xspace}
\newcommand{\OO}{\ensuremath{\mathsf{O}}\xspace}
\newcommand{\Ag}{\catA}
\newcommand{\GG}{\catG}
\newcommand{\GL}{\ensuremath{{\GG_L}}\xspace}
\newcommand{\GNL}{\ensuremath{{\GG_{NL}}}\xspace}
%%-----------------------------------------------------
%% TODO HERE --- TIKZ STUFF
%%-----------------------------------------------------
\usepackage{tikz}
\usetikzlibrary{shapes,arrows}
\usepackage{tikzquanto}
\tikzstyle{every loop}=[]
%\input{tikz/cnot.tex}
\usepackage{tikzfig}
\input{tikzstyles.tex}
\tikzstyle{annote}=[blue,thick]
\newcommand{\zx}{\textsc{zx}\xspace}
\newcommand{\zxcalculus}{\textsc{zx}-calculus\xspace}
\newcommand{\liquid}{\texttt{\bfseries\color{red!70!black}[do you mean \textbackslash Qsharp?]}\xspace}
\newcommand{\Qsharp}{Q\texttt\#\xspace}
\newcommand{\tket}{\ensuremath{\mathsf{t}|\mathsf{ket}\rangle}\xspace}
\newcommand{\benREM}[1]{\texttt{\bfseries\color{red!70!black} [{#1}]}\xspace}
\usepackage{pgfgantt}
%%%% hyperref wants to be last
\usepackage{hyperref}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "PREPROP"
%%% End: