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

\newtheorem{etheo}{Eteorema}
\def\solend{\begin{flushright}$\Box$\end{flushright}}
\def\solbeg{\begin{flushleft}\emph{Solu\cao.}\end{flushleft}}
\def\proofend{\begin{flushright}$\Box$\end{flushright}}
\def\proofbeg{\begin{flushleft}\emph{Prova.}\end{flushleft}}
%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\aa{\'a}
\def\ah{\^a}
\def\an{\~a}
\def\ee{\'e}
\def\eh{\^e}
\def\ii{\'{\i}}
\def\oo{\'o}
\def\on{\~o}
\def\oh{\^o}
\def\uu{\'u}
\def\ue{\"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\rftheo#1{teorema \ref{#1}}
\def\rffig#1{figura \ref{#1}}
\def\rfex#1{exerc\ii cio \ref{#1}}
