let (-~) v1 v2 = v_sub v1 v2