Refined symbolics