\newcommand{\isastyle}{\tt}			% to set isa font etc.
\newcommand{\isainline}[1]{{\isastyle #1}}	% wrapping text in INLINE mode
\newcommand{\isamode}{\noindent\isastyle}	% at the beginning of ISA mode
\newcommand{\isaescape}[1]{\mbox{$#1$}}		% wrapping text in ESC mode
