以下关于 Markdown 的说法，哪项是正确的？

Markdown 是一种轻量级的标记语言，语法基于 HTML，但更简洁，方便在文本中编写结构化的文档。它支持数学公式，也可以通过扩展语法进行更多功能的实现。