Hyperbolic substitution