斯坦伯格符號
域的 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 聯繫於布洛赫–維格納雙對數以及動機上同調。