数学语言岛

符号、表述与严谨表达的远方。