\def\te{\top}
\def\nete{\bot}
$$\matrix{%
\Longrightarrow&\nete&\te\cr\cr
\hline\hline\cr\cr
\nete&\te&\fbox{$\te$}\cr\cr
\hline\cr\cr
\te&\nete&\te}$$