On compact hyperbolic surfaces (constant negative Gaussian curvature), geodesic flow is an Anosov system — the archetypal uniformly hyperbolic dynamical system. Nearby trajectories diverge exponentially, giving a positive Lyapunov exponent equal to 1 in the unit-curvature case. Visualised here in the Poincaré disk model.