Convert the following formula in $L_{\text{m}\text{a}\text{t}\text{h}}$ to an equivalent formula in $L($for variable symbols $x,y,$ a

unary predicate symbol $P$ and a binary predicate symbol $Q)$:

$((Px{)}^{{?}^{?}}(Py))=>(((AAx)(Qxy))vv((AAy)(Qyx)))$