Symbol: add_out_sign_kvec