I think of that symbol as a fork in the road, an "option". Control, on the other hand, is just ^, same as in Unix.

(I'm not saying it's a good symbol, but that's how I remember what it means.)