latex定理的点如何变成冒号

  • 2024-09-05