texmath-0.12.3.3: tests/writers/cospan.eqn

B -> from f to {} A <- from f to {} C