I'm not agree about the fact that ctrl / ⌘ are interchangeable.
Ctrl (⌃ on OS X) serves a different purpose (it's a modifier, not an action key in the contrary of Windows). 

The equivalent of Windows' CTRL is OS X's ⌘ so it makes sense to split and handle them.