ISO 2022-KR is a Korean encoding that is one of the ISO 2022 encodings. It is ASCII with some escape sequences that switch into different character sets. This encoding has an escape code to switch to KS X 1001.
ESC $ ) C