896550ad13c9729f.tex
1: $ is any metric metrizing weak convergence on $