\documentclass{article}
\input camila.mac
\usepackage{fullpage}
\begin{document}

\SORTS

$\begin{array}{lcll}
a & \cong & 
\PROD a1 \TYPE INT \NEXT a2 \TYPE STR \DORP
 &  \\
b & \cong & 
\PROD INT \NEXT STR \NEXT ?? \DORP
 &  \\
c & \cong & {{INT + INT} + STR} &  \\
d & \cong & 
\PROD INT \NEXT INT \NEXT ?? \NEXT STR \DORP
 &  \\
e & \cong & 
\PROD d \NEXT c \NEXT ?? \DORP
 &  \\
\end{array}$

\OPERS

$\begin{array}{l}
f1(x) \deff \\ \rule{3ex}{0pt} 
{x + 3}
\end{array}$

\traco

$\begin{array}{l}
f2(x) \deff \\ \rule{3ex}{0pt} 
{x + 33}
\end{array}$

\traco

$\begin{array}{l}
f3(x) \deff \\ \rule{3ex}{0pt} 

x \mathbin{++} \mattt{
"e mesmo"} \mathbin{++} x
\end{array}$

\traco
\end{document}
