html-formulae-app:简单的 HTML 公式编辑器，具有非常自然的面向人的语法

html-formulae-app tl;dr ：HTML 公式将轻量级 TeX 启发式语法中的公式转换为 HTML。 例子 假设您必须在 HTML 中输入以下公式： ∀(x,y)∈ℝ 2 : [y>0 & (x≠0 ∨ y=1)] ⇔ [∃a>0: a x =y] 在这种情况下，您可能应该使用以下代码： \&forall;(x,y)\&isin;setR^2:␣␣[y>0.&.(x!=0.||.y=1)]&lt;=>[\&exist;a>0:.a^x=y] 很简单吧？ 现在看看为这个简单的行生成的 HTML。 您应该非常耐心地手写！ <p>∀(x,y)∈ℝ²: [y>0 & (x≠0 ∨ y=1)] ⇔&t