equation icon  [ ] [ ] Uab = g(a gb) = d(a'db') (353) g'd' g' d' g' d'