pretty print multiplication signs, dummy.