proof { reset=1960 type=formula formulaname=formula4 passes=1 center-mag=0.455159/-2.25494/1.104221 float=y maxiter=26 inside=bof60 colors=000z00<49>zy0zz0yz0<48>1z00z00z1<48>0zy0zz0yz<48>01z00z10z<48>y0z } frm:formula4 {; Giuseppe Zito z = pixel , c0 = 0.49834201 : x = real(z), y = imag(z) s0 =c0 s0 = s0 -y s0 = s0 /y s0 = s0 /y s0 = s0 -x newx = s0 s0 = y s0 = s0 +x newy = s0 z = newx + flip(newy) newx < 4 && newx > -4 && newy < 4 && newy > -4 }