Definition Dirichlet exponential