바이트,, 다이스 등에 사용되는 합금 공구강 강재의 한국산업표준 기호로 옳은 것은?