For example, the notation that mathematicians use is a formal language that is particularly good at denoting relationships among Numbers and symbols.

例如，数学家使用的标记法就是一种善于表达数字与符号之间关系的形式语言。

youdao

FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.

FSP是一类描述并发程序形式化规约的进程代数记法。

youdao

In principle, I think this sounds like a fantastic idea, though no doubt it will take years to practically hammer out a formal, cross-disciplinary notation.

FORBES: Chess, Art, Robots, and the Future of Science