% Assist
\newcommand{\z}[1]{\mathit{#1}}                    %text in math mode, keep size using amstext

% For the MSC
\newcommand{\synch}{\z{ni\text{-}synch}}           %synchronization claim
\newcommand{\isynch}{\z{i\text{-}synch}}           %synchronization claim
\newcommand{\agree}{\z{ni\text{-}agree}}           %full agreement claim
\newcommand{\iagree}{\z{i\text{-}agree}}           %injective full agreement claim
\newcommand{\secret}{\z{secret}}           %secrecy claim
\newcommand{\enc}[2]{\{{#1}\}_{#2}}      %Encryption
\newcommand{\nI}{ni}
\newcommand{\nR}{nr}
\newcommand{\nS}{ns}
\newcommand{\nb}{nb}
\newcommand{\pkIinv}{sk(I)}
\newcommand{\pkRinv}{sk(R)}
\newcommand{\pkSinv}{sk(S)}
\newcommand{\pkbinv}{sk(b)}
\newcommand{\pkI}{pk(I)}
\newcommand{\pkR}{pk(R)}
\newcommand{\pkS}{pk(S)}

%%% Abbreviation macros
\newcommand{\ie}{i.\@\,e.\@\xspace}
\newcommand{\eg}{e.\@\,g.\@\xspace}
\newcommand{\wrt}{w.\@\,r.\@\,t.\@\xspace}
\newcommand{\st}{s.\@\,t.\@\xspace}
\newcommand{\etc}{etc.\@\xspace}
\newcommand{\etal}{et~al.\@\xspace}