数学中的因为所以符号规范的书写