Using `ctrl-v` to type control characters