dot symbol isn't a dot interpunct also used as a multiplication sign