From 603ce3044630ee396bdbc2498d847523f486183f Mon Sep 17 00:00:00 2001
From: Tommaso Pecorella <tommaso.pecorella@unifi.it>
Date: Fri, 6 Sep 2024 22:20:49 +0200
Subject: [PATCH] core: fix math in RNG docs

---
 doc/doxygen.conf                        | 2 +-
 src/core/model/random-variable-stream.h | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/doxygen.conf b/doc/doxygen.conf
index 80c776502..8659554a4 100644
--- a/doc/doxygen.conf
+++ b/doc/doxygen.conf
@@ -1881,7 +1881,7 @@ PAPER_TYPE             = a4
 # If left blank no extra packages will be included.
 # This tag requires that the tag GENERATE_LATEX is set to YES.
 
-EXTRA_PACKAGES         = amsmath,amssymb
+EXTRA_PACKAGES         = amsmath,amssymb,physics
 
 # The LATEX_HEADER tag can be used to specify a user-defined LaTeX header for
 # the generated LaTeX document. The header should contain everything until the
diff --git a/src/core/model/random-variable-stream.h b/src/core/model/random-variable-stream.h
index 828c54c57..ed462851a 100644
--- a/src/core/model/random-variable-stream.h
+++ b/src/core/model/random-variable-stream.h
@@ -2392,8 +2392,8 @@ class LaplacianRandomVariable : public RandomVariableStream
  * is defined as:
  *
  *   \f[
- *      P(x; \mu, \beta) dx = \frac{1}{\beta} e^{\frac{- \frac{x - \mu}}{\beta}} e^{-e^{\frac{-
- * \frac{x - \mu}}{\beta}}} dx \f]
+ *      P(x; \mu, \beta) dx = \frac{1}{\beta} e^{-(z+ e^{-z})} dx, \quad z = \frac{x - \mu}{\beta}
+ *   \f]
  *
  * where \f$\mu\f$ is the \c Location configurable attribute and \f$\beta\f$
  * is the \c Scale configurable attribute.