dot-plus_to_c function

Handle + in formula LHS