let
(/~) v1 v2 = v_div v1 v2