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

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.)