附录中给出了形式语法公式。

The formal syntax formula is mentioned in the appendix.

youdao

“~”语法指的是一个公式对象。

The "~" syntax denotes a formula object.

youdao

为了让编程对人而言更加简单，这些表达式采用与传统数学公式尽可能类似的语法。

To make programming easier for humans, these expressions tend to have a syntactic form that mirrors as closely as possible the representation used in traditional mathematical formulae.

youdao