Macro rcon 

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

Right contraction: a ⌞ b

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