Equivalence of Definitions of Real Hyperbolic Tangent