記号的符号化