I suggest to use bold text: double *. And imo, the dot should be placed outside this emphasis