esop-isa-figure.tex

\begin{figure*}
\isapropsfigure{}

\isaopsemfigure{}
\caption{Definition of isa?}
\end{figure*}

%\begin{figure*}
%$$
%\begin{array}{llrr}
%  \isacompare{\HVec{\overrightarrow{{\t{}};{\prop{}};{\object{}}}^i}}
%             {\object{}}
%             {\HVec{\overrightarrow{{\t{}};{\prop{}};{\object{}}}^j}}
%             {\replacefor
%              {\filtersetparen
%                {\isprop {\HVec{\overrightarrow{\isacomparethree{\t{i}}{\object{i}}{\t{j}}}}}{\x{}}}
%                {\notprop{\HVec{\overrightarrow{\isacomparethree{\t{i}}{\object{i}}{\t{j}}}}}{\x{}}}}
%              {\object{}}
%              {\x{}}}
%              & i = j
%\end{array}
%$$
%$$
%\begin{array}{lclr}
%  \isaopsem{\rtvector{\overrightarrow{\x{}}^i}}{\rtvector{\overrightarrow{\x{}}^j}} &=& {\true{}}
%                                                                                    & i = j, \overrightarrow{\isaopsem{\x{i}}{\x{j}} = {\true{}}}^{i,j}
%  \\
%\end{array}
%$$
%\caption{isa? Vector Extensions}
%\end{figure*}