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\]