公式
公式表达了一组规则，该规则用于将变量集中的变量值通过转换公式构造一个输出XBRL事实。这些变量的值从输入XBRL实例及支持它的可发现分类集，或从公式的应用处理中得到。
值规则是一个XPath表达式，产生的值将分配给事实。它可以是一个简单的表达式，例如一个常量，或者它可以包含引用变量集的变量和参数、来自其他变量集的链接的值和/或来自自定义和内置函数的计算值的术语。
在XBRL中，非分数数值事实以precision/decimals特性形式的精度信息来报告。因此，公式可包含决定输出事实精度的规则。
除了提供确定输出事实值及其精度的规则外，公式还指定或蕴含了用于确定解释输出值所需的所有输出方面的值的方面规则。用于确定输出概念、输出上下文和度量（对于数据实时）的输出单位的规则都是不同类型的方面规则。
方面可以通过指定源从计算的绑定变量中（部分或全部）获取。源可以在规则上指定，或从公式（元组）元素上的源继承。存在多个源时，仅使用最近源。
插入公式时，它不具有精度规则或方面规则（参见下方截图）。
精度规则和方面规则在公式的内容中定义并通过上下文菜单添加（或删除）。下方截图展示了一个公式，它具有所有可能的精度规则和方面规则。
精度规则和方面规则都显示在“详细信息”输入助手的附加部分中。
精度规则
种类：precision或decimals
值：XPath表达式
方面规则
方面规则按种类分组。
概念规则
种类：qname, expr或source
值：概念的QName、XPath表达式或源变量（或未覆盖的QName）
实体标识规则
源：源变量（或未覆盖的QName）
Scheme/value：XPath表达式
期间规则
种类：时点、时间段、无穷或源
值：值的XPath表达式、起点/终点/源、无值或源变量（或未覆盖的QName）
明确维度规则
维度：维度的QName，受明确维度规则影响。
种类：qname, exp, omit或source
值：成员的QName、成员的XPath表达式、无值或源变量（或未覆盖的QName）
类型化维度规则
维度：维度的QName，受类型化维度规则影响。
种类：xpath, value, omit或source
值：XPath表达式、XML元素、无值或源变量（或未覆盖的QName）
开放上下文组件规则
OCC规则按种类（即段OCC规则和场景OCC规则）分组。
源：源变量在第一个OCC规则中定义。
针对每个OCC规则：
种类：empty, fragments或xpath
值：无值、XML元素或XPath表达式
单位规则
布尔值标记Augment指定是否必须使用源方面值。
针对每个单位乘法/除法规则：
种类： *measure, /measure or *source, /source
值：度量的XPath表达式或源变量（或未覆盖的QName）