But Ctrl is easier to figure out from context, since it's a multi-character Googlable symbol that's even printed on the key.