Definition 0.0.1  The four vector dot product for two four vectors $A,B\in\mathbb{R}^{1,3}$ is defined in terms of a metric tensor $\eta$.
\[A\cdot B = A^\top\eta B\]