Update notes.org

2024/02/03/notes.org

@@ -297,6 +297,8 @@ PTRDEBUGTAC<coq-core.plugins.ltac::intro@1> $1
 
 """
 #+end_src
+
+*** Example Story Urania
 #+begin_src output
 
 Scene 1:
@@ -402,6 +404,8 @@ As we near the end of our journey, we encounter the final symbol, represented by
 
 Symbol (fromempty): "I am the bridge between the void and the infinite, connecting the past to the future. With me, we can transcend the limitations of our mortal existence and glimps
 #+end_src
+
+*** Story Euclid
 #+begin_src output
 
 Opening shot: A vast, desolate landscape with a lone figure in the distance. The figure is revealed to be a young mathematician named Euclid, who stands atop a mountain of equations and formulas.