added docs to unary formula header