{ {- A -}
  x
  {- B -}
  = {- C -}
    T
}