\usepackage{
  graphicx,amsmath,amssymb
}

\def\bbN{{\mathbb N}}
\def\bbQ{{\mathbb Q}}
\def\bbR{{\mathbb R}}
\def\bbZ{{\mathbb Z}}
\def\calA{{\mathcal A}}
\def\calB{{\mathcal B}}
\def\calAcf{{\mathcal A}^\text{\it cf}}
%\def\calAar{{\vec{\mathcal A}}}
\def\calC{{\mathcal C}}
\def\calD{{\mathcal D}}
\def\calF{{\mathcal F}}
\def\calG{{\mathcal G}}
\def\calI{{\mathcal I}}
\def\calL{{\mathcal L}}
\def\calO{{\mathcal O}}
\def\calP{{\mathcal P}}
\def\calT{{\mathcal T}}
\def\calU{{\mathcal U}}
\def\frakg{{\mathfrak g}}

\def\Aut{\operatorname{Aut}}
\def\Autop{\operatorname{Aut}^\text{op}}
\def\proj{{\operatorname{proj}\,}}
\def\sder{\operatorname{sder}}

\def\FA{{\mathit F\!A}}
\def\uB{{\mathit u\!B}}
\def\PuB{{\mathit P\!u\!B}}
\def\vB{{\mathit v\!B}}
\def\PvB{{\mathit P\!v\!B}}
\def\wB{{\mathit w\!B}}
\def\PwB{{\mathit P\!w\!B}}
\def\sl{{\mathit sl}}

\def\aft{{\overrightarrow{4T}}}
\def\aAS{{\overrightarrow{AS}}}
\def\aSTU{{\overrightarrow{STU}}}
\def\aIHX{{\overrightarrow{IHX}}}

\def\mathsize#1#2{{\begin{array}{c}\text{#1$\!#2\!$}\end{array}}}
\def\pstex#1{\begin{array}{c}\input figs/#1.pstex_t \end{array}}

\def\AtoZ{\parbox{2in}{
\begin{equation} 
  Z(K) =
    \underbrace{
      \exp_{\calA^w}\left(\sl_L(K)D_L\right) \cdot
      \exp_{\calA^w}\left(\sl_R(K)D_R\right)
    }_\text{self linking coded in arrows} \cdot
    \underbrace{
      \exp_{\calA^w}\left(w\left(\log_{\bbQ[x]}A(K)(e^x)\right)\right)
    }_\text{Alexander coded in wheels},
\end{equation}
}}