Talk:Weyl distance function