I am taking some notes in functional analysis and I would like to represent a "dense embedding" in a commutative diagram. However, I have not found any convention for this. My current drawing is like:
However, I do not know how to represent "denseness" of the embedding from X to Y.
Do I use thick arrow? Double head? Different Color?
I would love to see if there are any existing conventions.
Update: I would like to thank @ac15 for pointing me to a reference where commutative diagrams were drawn with denseness relations. It seems that only a curly arrow denoting embedding is used, and there is no special arrow notation for denseness.
