Let $\mathfrak{X}^{\prime}$ be a strongly nondegenerate strictly polystable formal scheme over $K^{\circ}$ with associated skeleton $S(\mathfrak{X}^{\prime})$ and $h$ a piecewise affine linear function on $S(\mathfrak{X}^{\prime})$. Let $\mathfrak{D}$ be a $\Gamma$-rational polytopal subdivision of $S(\mathfrak{X}^{\prime})$ suitable for $h$ as in Definition 2.10 and $\iota:\mathfrak{X}^{\prime\prime}\rightarrow\mathfrak{X}^{\prime}$ be the canonical formal scheme over $\mathfrak{X}^{\prime}$ associated to $\mathfrak{D}$ (see Construction 2.6). Then $h$ induces a canonical Cartier divisor $D$ on $\mathfrak{X}^{\prime\prime}$ which is trivial on the generic fibre. If $\mathfrak{X}^{\prime\prime}$ is admissible, then $D$ has the property that $\|1\|_{\mathcal{O}(D)}=e^{-h\circ p_{\mathfrak{X}^{\prime}}}$ where $\|\cdot\|_{\mathcal{O}(D)}$ is the formal metric on $\mathcal{O}_{\mathfrak{X}^{\prime\textup{an}}}$ given by the formal model $\mathcal{O}(D)$ of $\mathcal{O}_{\mathfrak{X}^{\prime\textup{an}}}$ (see Definition 3.1).