let
(-~) v1 v2 = v_sub v1 v2