Question

Suppose we have a set of equivalence classes. How do we denote a general element in a general class? Is there some nice notation for this? I am dealing with the set of homotopy classes of maps from \(X\) to \(Y\) denoted with \([x,y]\) where the elements (denoted \([f]\)) in the classes are functions. I want to denote a general elements of one of the classes. What I have so far is \(f\in [f]\in [X,Y]\) but this seems so ugly. Anyone know of a accepted notation?

Answer 1

@eliassaab

Answer 2

The notation that is used often if
\[
\bar f
\]

Answer 3

that is what we use for the reverse :(