(* Vector subtraction *)
DEF VecSub AS trans | EACH - END;

