equation icon  { } ^Tab(x, x') =_ 1Tab ^f(x), ^f(x') . (53) 2