
% environments
\newtheorem{definition}{Defini\cao}
\newtheorem{note}{Nota}
\newtheorem{ex}{Exerc\'{\i}cio}
\newtheorem{eg}{Exemplo}
\newtheorem{notation}{Nota\c c\~ao}
\newtheorem{qst}{Quest�o}
\newtheorem{theo}{Teorema}

\newtheorem{etheo}{Eteorema}

%keyboard abbrevs
\def\cao{\c c\~ao}
\def\cc{\c c}
\def\coes{\c c\~oes}
\def\ii{\'{\i}}
\def\sqn{seq��ncia}
\def\eproof{\textbf{Prova Suspeita.}}

\def\ibf#1{\item\textbf{#1}}

\def\CC{Ci\^encia da Computa\cao}


\def\PI{Princ\'{\i}pio da Indu\c c\~ao}
\def\PIF{Princ\'{\i}pio da Indu\c c\~ao Forte}
