
\def\S{\mbox{\large $\rhd\!\!\!\lhd$}}
\def\Aa{\vec{\cal A}{\it ct}}
\def\cA{{\cal A}}
\def\cS{{\cal S}}
\def\cC{{\cal C}}
\def\cE{{\cal E}}
\def\cR{{\cal R}}
\def\Ac{{\cal A}{\it ct}}
\def\bms{\{\!|\,}
\def\ems{\,|\!\}}
\def\lra{\longrightarrow}
\def\lera{\leftrightarrow}
\def\vlra{-\hspace{-0.2cm}-\hspace{-0.2cm}\lra}
\def\notsim{\sim \hspace{-3.5mm} /\;}
\def\notequiv{\equiv \hspace{-3.5mm} /\;}
\def\noapprox{\approx \hspace{-3.5mm} /\;}
\def\rmdef{\stackrel{\mbox{\em {\tiny \it def}}}{=}}
\def\eq{\mbox{\boldmath $=$}}
\def\Chi{\mbox{\Large $\chi$}}
\def\E{\cC/{\cong}}
\def\Eup{\cC/({\cong} \cR^{*} {\cong})}
\def\mscup{\uplus}
\def\mscap{\cap}
\def\fcomp{\raisebox{0.6ex}{\mbox{\tiny $\circ$}\,}}

\newfont{\cmexx}{cmex7}

\newcommand{\smallrhd}{\mathrel{\raise23pt\hbox{\cmexx\symbol{}}}}
\newcommand{\smalllhd}{\mathrel{\raise23pt\hbox{\cmexx\symbol{}}}}

\def\smallS{\mbox{\tiny $\rhd \!\!\!\lhd$}}
\def\sS{\mbox{\small $\rhd \!\!\!\lhd$}}


\newcommand{\ssync}[1]{\raisebox{-0.9ex}{$\:
\stackrel{\smallS}{\scriptscriptstyle #1}\,$}}

\renewcommand{\infty}{\top}
\mathchardef\infinity="0231

\def\QED {{\unskip\nobreak\hfil\penalty50
  \hskip2em\hbox{}\nobreak\hfil$\Box$
  \parfillskip=0pt \finalhyphendemerits=0 \par}}

\def\separate{\begin{center} ---\hspace{-0.12mm}---\hspace{-0.12mm}---
\hspace{-1.5mm}$\circ$\hspace{-1.5mm}
---\hspace{-0.12mm}---\hspace{-0.12mm}--- \end{center}}

\newcommand{\mult}[2]{m_{#1}(#2)}
\newcommand{\sync}[1]{\raisebox{-1.0ex}{$\;\stackrel{\S}{\scriptscriptstyle
#1}\,$}}
\newcommand{\seq}[1]{\stackrel{\rhd}{\scriptscriptstyle #1}}
\newcommand{\equ}[1]{\stackrel{#1}{\eq}}
\newcommand{\mat}[1]{\mbox{\bf #1}}
\newcommand{\NIL}{\mbox{{\bf 0}}}

\newcommand{\Nat}{{\mathbb N}}
\newcommand{\Real}{{\mathbb R}}

%Bio-PEPA commands
\renewcommand{\sync}[1]{\raisebox{-1.0ex}{$\;\stackrel{\sS}{\scriptstyle #1}\,$}}

\newcommand{\reactant}{\mbox{$\downarrow$}}
\newcommand{\product}{\mbox{$\uparrow$}}
\newcommand{\modifierb}{\mbox{$\updownarrow$}}
\newcommand{\modifier}{\odot}
\newcommand{\activator}{\oplus}
\newcommand{\inhibitor}{\ominus}

\newcommand{\transport}{\mbox{$\rightarrow$}}
\newcommand{\rtransport}{\mbox{$\leftrightarrow$}}

\newcommand{\arrow}[1]{\mbox{$\xrightarrow[]{#1}$}}
\newcommand{\arrowLocality}{\mbox{$\Longrightarrow$}}
\newcommand{\arrows}[1]{\mbox{$\xrightarrow[]{#1}_{s}$}}
\newcommand{\arrowc}[1]{\mbox{$\xrightarrow[]{#1}_{c}$}}
\newcommand{\arrowirrev}[1]{\mbox{$\xrightarrow[]{#1}$}}
\newcommand{\arrowReaction}[1]{\mbox{$\stackrel{#1}{\longrightarrow}$}}
\newcommand{\arrowrev}[2]{\mbox{$\xleftrightarrow[#1]{#2}$}}
\newcommand{\arrowReactionRev}[1]{\mbox{$\stackrel{#1}{\longleftrightarrow}$}}
\newcommand{\arrowE}[1]{\mbox{$\xmapsto[]{#1}$}}
\newcommand{\arrowEE}[1]{\mbox{$\xrightarrow[]{#1}_{s}$}}

\def\larrow#1{\mathrel {\buildrel {#1}\over{\longrightarrow} }} % labelled arrow
\def\darrow#1{\mathrel {\buildrel {#1}\over{\downarrow} }} % labelled arrow

\newcommand{\eqdot}{=\!\!\!\!\!\cdot\,\,\,\,\,}
\newcommand{\eqdotbox}{\stackrel{\doteq}{\boxdot}}
\def\Ss{\mbox{\large $\rhd\!\!\!\!\lhd$}}
\newcommand{\syncs}[1]{\raisebox{-0.9ex}{$\:\stackrel{\Ss}{\scriptscriptstyle #1}\,$}}
\newcommand{\syncbis}[1]{\raisebox{-1.0ex}{$\;\stackrel{\Ss}{\scriptstyle #1}\,$}}

%\newcommand{\infinity}{\infty}

\endinput
