Xyピクチャー全体にフレームを付ける方法

\require{color}
\newcommand{\hyp}{\mbox{-}}%
\newcommand{\To}{\Rightarrow}%
\newcommand{\F}[1]{ \langle\![{#1}]\!\rangle }%
\newcommand{\As}{\;::\;}%
xy環境内で、マトリックスの直後に drop-frameコマンド(描画インストラクション)を付ける。


\begin{xy}
\xymatrix{
 {}
 &{}\ar[d]_-A
 &{}
\\
 {\textcolor{green}{\land}} %2,1
 &*{\bullet}\ar[dl] \ar[dr]
 &{\:\:\:\:} %2,3
\\
 *[F]{F} \ar[dr]_-B
 &{}
 &*[F]{G} \ar[dl]^-C
\\
 {}
 &*{\blacktriangledown} \ar[d]_-{B\land C}
 &{\:\:\:\:} %4,3
\\
 {}
 &{}
 &{}
\save
 "2,1" . "4,3" *[F.]\frm{}
}% End xymatrix
\drop\frm{--}
\end{xy}