TIL the symbol produced by \cdot is called an interpunct. en.wikipedia.org/wiki/Interpunct. More dottery: tex.stackexchange.com/questions/1918…