This is an example of bimodular categories and their string diagrams. It could be applied to Differential categories.
