Suele ser utilizado el símbolo: formula_13, para indicar que los objetos "f" y "g" son homotópicos.