%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% revised by Nir for Technical report                                         %
%                   tmacros.sty, style file for M.Eng thesis                  %
%                   created: 4/6/97                                           %   
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%%%%%%%%%%%%%%%%%%%%%% Spacing, Alignment etc. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\ms}[1]{%
        \relax\ifmmode
                \mathord{\mathcode`\-="702D\it #1\mathcode`\-="2200}%
        \else
                $\mathord{\mathcode`\-="702D\it #1\mathcode`\-="2200}$%
        \fi
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Environments %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}

\newcommand{\qedsymb}{\mbox{ }~\hfill~$\Box$}
\renewenvironment{proof}{\begin{trivlist}
\item[\hspace{\labelsep}{\bf\noindent Proof. }]
}{\qedsymb\end{trivlist}}
\newcommand{\floor}[1]{\left\lfloor#1\right\rfloor}
\newcommand{\ceil}[1]{\left\lceil#1\right\rceil}
\newcommand{\set}[1]{\left\{ #1 \right\}}
\newcommand{\ang}[1]{\langle{#1}\rangle}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Shorthands %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\def\id{\hbox{\it id\/}}        
\def\ids{\hbox{\it ids\/}}
\def\cA{{\cal A}}
\def\cB{{\cal B}}
\def\cC{{\cal C}}
\def\cD{{\cal D}}
\def\cE{{\cal E}}
\def\cF{{\cal F}}
\def\cG{{\cal G}}
\def\cP{{\cal P}}
\def\cI{{\cal I}}
\def\cJ{{\cal J}}
\def\cK{{\cal K}}
\def\cN{{\cal N}}
\def\cL{{\cal L}}
\def\cO{{\cal O}}
\def\cS{{\cal S}}
\def\cQ{{\cal Q}}
\def\cR{{\cal R}}
\def\cT{{\cal T}}
\def\cU{{\cal U}}
\def\cV{{\cal V}}
\def\cX{{\cal X}}
\def\cW{{\cal W}}
\def\cZ{{\cal Z}}
\def\vb{{\vec{b}}}
\def\vc{{\vec{c}}}
\def\vm{{\vec{m}}}
\def\vr{{\vec{r}}}
\def\vu{{\vec{u}}}
\def\vv{{\vec{v}}}
\def\vw{{\vec{w}}}
\def\vt{{\vec{t}}}
\def\vs{{\vec{s}}}
\def\vx{{\vec{x}}}
\def\vy{{\vec{y}}}
\def\vz{{\vec{z}}}
\def\vI{{\vec{I}}}
\def\vJ{{\vec{J}}}
\def\vO{{\vec{O}}}
\def\vP{{\vec{P}}}
\def\vU{{\vec{U}}}
\def\vV{{\vec{V}}}
\def\vW{{\vec{W}}}
\def\vX{{\vec{X}}}
\def\P{{\cP_{(n, \tau, \delta)}}}
\def\wx{{\widetilde{\cal X}}}
%\def\dtask{{\langle {\cal I}^n, {\cal O}^n, \Gamma \rangle}}
\def\dtask{\cD = \ang{\cI,\cO, \Gamma}}
%\def\dt1{\cD = \ang{\cI,\cO, \Gamma}}
\def\dt2{\cD = \ang{I,O, \gamma}}
\def\CALL{\hbox{\sc call\/}}    
\def\START{\hbox{\sc start\/}}
\def\FINISH{\hbox{\sc finish\/}}   
\def\RETURN{\hbox{\sc return\/}}   
\def\Edot{\dot{\cal E}} 
\def\Sdot{\dot{\cal S}}
\def\Tdot{\dot{\cal T}}
\def\carrier{\hbox{\it carrier\/}}
\def\skel{\hbox{\it skel\/}}
\def\val{\hbox{\it val\/}}  
\def\vals{\hbox{\it vals\/}}
%%\def\star{\hbox{\it st\/}}      
%\def\ostar{\hbox{\it st\/}^{\circ}}     
%\def\estar{\hbox{\it st\/}^{*}}
\def\zn{$\Bbb{Z}$$_{n+1}$}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\endinput













