where \(\widetilde{\operatorname{trop}}_{\overline{\mathcal {M}}_{g,n}}^{an}: \big |\overline{\mathcal {M}}_{g,n}^{\beth }\big |\rightarrow M^{trop}_{g,n}\)  is the modular analytic tropicalization map for \(\overline{\mathcal {M}}_{g,n}\)  defined in [1]} (and therein called the naive set-theoretic tropicalization map).
