I'm reading an article on how I can implement collision detection in my games.
It's a really good article. However, some of the maths is confusing me:

What do the dots after N mean? I've seen posts on this site that say that it is a multiply function, however that would make no sense because he uses a star for multiplication as well. Some other posts say that it is like a cast (), however considering it is already in a cast, then I'd be really confused as to what is the case.
Also, what do the arrows mean? Some articles have said that it means "If and only if" - Does that mean that it only does the calculation on the second line if the one on the first line is true?