Je to sice trochu krkolomne, ale da sa to urobit aj takto: $F \times \triangle(n-1) @>>{A \times B \times C}>$ $F \times \triangle(n-1) @<<{A \times B \times C}<$ $F \times \stackrel{A \times B \times C}{@<<{\hphantom{A \times B \times C}}<}$ R.Blasko