Three notations for symmetric monoidal categories

Tags: Type theory, monoidal category, symmetric monoidal category