请参见官方用户手册获取此页面上信息的最新版本。
总有机碳
命名零件
A类名称部分是一个不包含以下任何字符的可打印字符字符串：
_;."(){}@
此外，某些关键字不能用作名称部分。
（不合格）名称
A类名称由下划线分隔的一个或多个名称部分组成的序列(_).
类似于字符串a≤b（不带空格）是有效名称，与a≤b（带空格）。后者实际上指的是一种类型，其术语（粗略地说）证明了一小于或等于b条。使用这样的名称是标准惯例a≤b对于类型为的变量a≤b.
类似地，字符串x： A类和A->B是名称。宣布x个作为类型的变量A类我们必须写x：A（带空格）而不是x： A类。引用中的函数类型A类到B类，我们必须写A->B而不是A->B.
名称中下划线的含义在mixfix运算符例如，加法函数正式命名为_+_，下划线的位置表示可以使用中缀表示法a+b引用函数的值一和b条.
限定名称
A类限定名称是一个或多个由点分隔的非限定名称的序列(.).限定名用于命名模块以及参考未打开模块的内容。例如，自然数的命题n个is prime可以用限定形式写成数据。自然初级。素数n，参考标准库模块中给出的定义数据。自然原始性.缩写符号素数n可以在该模块具有已导入并打开，如模块第页。