% 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\cc{\c c}
\def\cao{\c c\~ao}
\def\coes{\c c\~oes}
\def\ca{\c ca}
\def\co{\c co}
\def\cas{\c cas}
\def\cos{\c cos}
\def\ao{\~ao}
\def\oes{\~oes}
\def\ih{\'{\i}}
\def\ii{\'{\i}}
\def\aa{\`a}
\def\ah{\'a}
\def\eh{\'e}
\def\ee{\^e}
\def\oh{\'o}
\def\uh{\'u}
\def\uu{\"u}


\def\sqn{seq\"u\^encia}



\def\eproof{\textbf{Prova Suspeita.}}

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

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

% nomes
\def\CC{Ci\^encia da Computa\cao}
\def\EC{Engenharia de Computa\cao}


% TeX defs
\def\fig#1{figure \ref{#1}}
