Use middle dot (u00b7) instead of the dot operator

Middle dot is present in more fonts than the dot operator.