Set the correct unicode character for "ctrl" shortcuts #6571

Job	Run time
android	37s
cargo-deny aarch64-apple-darwin	2m 14s
cargo-deny aarch64-linux-android	2m 19s
cargo-deny i686-pc-windows-gnu	2m 6s
cargo-deny i686-pc-windows-msvc	2m 6s
cargo-deny i686-unknown-linux-gnu	2m 0s
cargo-deny wasm32-unknown-unknown	1m 48s
cargo-deny x86_64-apple-darwin	1m 53s
cargo-deny x86_64-pc-windows-gnu	1m 58s
cargo-deny x86_64-pc-windows-msvc	2m 12s
cargo-deny x86_64-unknown-linux-gnu	1m 57s
cargo-deny x86_64-unknown-linux-musl	1m 48s
cargo-deny x86_64-unknown-redox	1m 54s
Check wasm32 + wasm-bindgen	4m 31s
Format + check + test	8m 19s
Check Windows	3m 52s
	41m 34s

Provide feedback