  The concept of gyrogroups is a generalization of groups which do not
explicitly have associativity. Recently, Wattanapan et al consider the
construction of Hartman-Mycielski in strongly topological gyrogroups. In this
paper, we extend their results in topological gyrogroups. We mainly, among
other results, prove that every Hausdorff topological gyrogroup $G$ can be
embedded as a closed subgyrogroup of a Hausdorff path-connected and locally
path-connected topological gyrogroup $G^\bullet$.
