let
tri_normal a b c =
let
v1 = a
#
sub b
and
v2 = c
#
sub b
in
(v2
#
cross v1)
#
normalize