Monocle-0.0.2: Symbolic computations in strict monoidal categories with LaTeX output.