macro_rules! dot { ($a:expr, $b:expr) => { ... }; }
Inner product: a • b
Symmetric product that reduces grade. Commutative for vectors: a • b = b • a