Macro lcon 

macro_rules! lcon {
    ($a:expr, $b:expr) => { ... };
}

Left contraction: a ⌟ b

Generalized inner product where the grade of the result is |grade(b) - grade(a)|