diff --git a/docs/src/lecture/3-julia_documentation.md b/docs/src/lecture/3-julia_documentation.md
index 10e0c0b3a4c1f6064cf25fa06b1f3404c1172e06..9ec806e9c986d8e464d1f75a81076fbe00be71f0 100644
--- a/docs/src/lecture/3-julia_documentation.md
+++ b/docs/src/lecture/3-julia_documentation.md
@@ -29,6 +29,12 @@ Compute the sum of `x` and `y`.
 - `x::Int`: The first integer
 - `y::Int`: The second integer
 
+## Mathematical formula
+
+```math
+  (x,y) \\mapsto x+y
+```
+
 # Examples
 ```julia
 julia> add(2, 3)