A note on generalized four-point inequality (Q6168309)

A semimetric is a metric that is not necessarily assumed to satisfy the triangle inequality. The main subject of the paper is a semimetric satisfying the generalized triangle inequality: \(d(x, y)\le \Phi(d(x, z), d(z, y))\), where \(\Phi\colon \mathbb{R}^{2}\to \mathbb{R}\). In the introduction, as generalized metrics, the authors explain \(b\)-metric spaces, which often appear in the context of fixed point theory. As another example in logic and model theory, the reviewer would like to add generalized metrics in [\textit{G. Conant}, Ann. Pure Appl. Logic 168, No. 3, 622--650 (2017; Zbl 1422.03063)]. As geometric properties defined by four points, the paper deals with Ptolemy inequality, additive inequality (\(0\)-hyperbolicity), \(\delta\)-hyperbolicity, roundness of metric spaces, quadrilateral inequality for CAT(0), and Reshetnyak's quadruple inequality. In the paper, the authors find sufficient conditions under which quasisymmetric maps and quasi-Möbius maps preserve the aforementioned geometric properties defined by four-point inequalities. The reviewer would like to point out a typographical error. In Theorem 2.1, the condition (2.3) should be the equality \((\star):\) \(\Psi(a/b, c/d)=\Psi(a, c)/\Psi(b, d)\). In the proof of Theorem 2.1, the authors use this equality \((\star)\), and the function \(\Psi(u, v)=uv\) in Corollary 2.1 satisfies the equality \((\star)\). So, this typographical error does not affect the validity of the paper.