public UnsignedOperator(Formula ee)
 {
     e = ee;
 }