I like the notation $A\mathrel{\in\in}\mathcal C$ for objects (rather than morphisms) in a category (not my own invention).
Rasmus
- 3.2k
- 1
- 25
- 41