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}