XBRL公式是一种基于XPath 2.0语言的表达式，可以用于计算、验证和转换数据。公式可以包含数学运算符、逻辑运算符、比较运算符、函数和变量等元素，可以对数据进行复杂的计算和处理。公式可以在XBRL实例文档中定义，也可以在XBRL模式文档中定义。公式的定义可以包含一个或多个规则，每个规则可以包含一个或多个表达式。

公式的计算顺序是从左到右，先计算括号内的表达式，再计算乘除法，最后计算加减法。公式中的变量可以是实例文档中的元素或属性，也可以是其他公式中定义的变量。公式中的函数可以是XPath 2.0函数或自定义函数，可以对数据进行各种操作，如字符串处理、日期处理、数值计算等。

公式的验证可以用于检查数据的正确性和一致性。公式可以定义各种规则，如数据范围、数据类型、数据格式、数据关系等。公式可以在实例文档中定义，也可以在模式文档中定义。公式的验证可以在实例文档中进行，也可以在模式文档中进行。公式的验证可以通过XBRL工具进行，也可以通过编程实现。

公式的转换可以用于将数据从一种格式转换为另一种格式。公式可以定义各种转换规则，如单位转换、货币转换、日期转换、数值转换等。公式可以在实例文档中定义，也可以在模式文档中定义。公式的转换可以通过XBRL工具进行，也可以通过编程实现。

相关标准
- GB/T 25500.1-2010 可扩展商业报告语言（XBRL）技术规范　第1部分：基本概念和语法
- GB/T 25500.2-2010 可扩展商业报告语言（XBRL）技术规范　第2部分：实例文档
- GB/T 24589-2009 企业财务报告XBRL实例文档编制规范
- GB/T 24590-2009 企业财务报告XBRL模式文档编制规范
- GB/T 24591-2009 企业财务报告XBRL实例文档验证规范