输入字符串用什么符号python