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

\SORTS

$\begin{array}{lcll}
PagCoop & \cong & 
\PROD n \TYPE STR \NEXT meta \TYPE fs \NEXT catalogo \TYPE fonteInf \DORP
 
\\ \ \hfill\INV{p}&=&
{'url \in 
dom(
meta(p))} \\
fonteInf & \cong & termo \pfunc{inf}  \\
script & \cong & url \longrightarrow fonteInf  \\
\end{array}$

\OPERS

$\begin{array}{l}
a' = \left( \left( \begin{array}{c}
 'a \\ 12 
\end{array} \right) \left( \begin{array}{c}
 'b \\ 234 
\end{array} \right) \left( \begin{array}{c}
 'c \\ \mattt{
\mbox{\texttt{"batatas"}}} 
\end{array} \right) \right)
\end{array}$\\


$\begin{array}{l}
a' = \left( \left( \begin{array}{c}
 'a \\ \left( \left( \begin{array}{c}
 12 \\ 23 
\end{array} \right) \left( \begin{array}{c}
 34 \\ 44 
\end{array} \right) \right) 
\end{array} \right) \left( \begin{array}{c}
 'b \\ 234 
\end{array} \right) \left( \begin{array}{c}
 'c \\ \mattt{
\mbox{\texttt{"batatas"}}} 
\end{array} \right) \right)
\end{array}$\\


$\begin{array}{l}
b' = \enlist{1,2,3,4}
\end{array}$\\


$\begin{array}{l}
b' = \{1,2,3,4\}
\end{array}$\\


$\begin{array}{l}
f(x) \deff \\ \rule{3ex}{0pt} 
\CASE 
a \VALUE 1 \\ 
b \VALUE 2 \\ \OTHERWISE \VALUE 3 
\ESAC
 
\end{array}$

\traco
\end{document}
