Code: Select all
\usepackage{courier} % tt
\newcommand{\subscript}[1]{\ensuremath{_{\textrm{#1}}}}
\newcommand{\helvetica}[1]{\fontfamily{phv}\selectfont{\small{{#1}}}}
\newcommand{\OCL}[2]{
\texttt{\normalsize{
\begin{tabbing}
context {#1}\\
\hspace{14pt} inv {\bf{\textit{Inv'}}}\subscript{\helvetica{{#1}}}{\bf{:}}\\
\hspace{28pt} {#2}\\
\end{tabbing}
}}
}
Thanks in advance

Cheers,
Daniel