My thought for the colon followed by an equal sign is putting these two symbols together without a space. The attached document shows the explanation from the text. I had wondered about putting the dot 5 between them to show they are horizontally.
I agree with you on the double-struck letters and will check through the book on that idea to see what is the best font to change to.