斯坦伯格符号
域的 K_2 在你遇见它的构件之前，可能显得抽象。给定域中两个非零元素 a 与 b，有一套配方——利用斯坦伯格群内由 a 与 b 造出的可交换对角矩阵——产生 K_2 中一个称为斯坦伯格符号 {a, b} 的元素。这些符号像一张古怪的乘法表：它们关于 a 与 b 双线性，且满足一条奇特的消没规则。松本证明它们生成域的整个 K_2，且仅有这些规则支配它们。
形式地说，对域 F 与非零的 a, b（属于 F），K_2(F) 中的斯坦伯格符号 {a, b} 是对角矩阵 h_{ij}(a) 与 h_{ij}(b) 在 St(F) 中某些提升的换位子，其中 h_{ij}(u) = w_{ij}(u) w_{ij}(-1)，w_{ij}(u) = x_{ij}(u) x_{ji}(-u^{-1}) x_{ij}(u)。该符号双重可乘：{a a', b} = {a, b}{a', b} 且 {a, b b'} = {a, b}{a, b'}。松本定理说 K_2(F) 是这些符号上的阿贝尔群，对双重可乘性关系及斯坦伯格关系 {a, 1 - a} = 1（a 不等于 0, 1）取商。
从定义关系可推出有用的恒等式：{a, -a} = 1，故 {a, a} = {a, -1}，以及 {a, b} = {b, a}^{-1}（反对称性）。这些符号正是数论中作为希尔伯特符号与范数剩余符号出现的同类装置，这就是数域的 K_2 编码互反律的原因。该构造可推广至米尔诺 K 理论，其中更长的符号 {a_1, ..., a_n} 栖于 K_n^M(F)。
在实数的 K_2(R) 中，{-1, -1} 是阶为 2 的非零元素，对应于 K_2(R) 含一个 Z/2Z 直和项这一事实。在有理数上，素数 p 处的驯顺符号把 {a, b} 送到 (-1)^{v(a)v(b)} a^{v(b)} b^{-v(a)} 模 p，其中 v 是 p 进赋值。
{-1, -1} 是 K_2(R) 中阶为 2 的元素。
唯一的关系 {a, 1 - a} = 1——称为斯坦伯格关系——才是深刻的输入；其余皆为形式的。它是“某种几何中过 a 与 1 - a 的直线退化”这一事实的代数投影，也正是它把 K_2 联系于布洛赫–维格纳双对数以及动机上同调。