仍然不知道这个符纹不等式的完全表达式文字转WAV音频