符号化形式