On Oct 13, 2008, at 1:41 PM, Bráulio Coelho Ávila wrote:
> Hi,
>
> Can I create with psarc a figure as to which is attached?
> Does anyone have any suggestions?
>
$\rnode[t]{A}{\strut\neg}\forall x\rnode[tl]{B}{\strut\exists}
y(p(x,y))$
\nccurve[linewidth=.4pt,angle=90,ncurv=1.2]{->}{A}{B}