No, they're using a dot. It's just difficult to tell because whatever editor they used to produce the equation was a tad frugal and didn't make the dot clearly recognisable. (It Does look like a - symbol though, a fat smugy one, as opposed to an under-aged multiplication symbol.)