大道至简：符号化数学闪亮登场