Update Gentle_introduction_Inpla.md

1 files changed, 2 insertions, 0 deletions

diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md
index a3cbbe9..6d17461 100644
--- a/Gentle_introduction_Inpla.md
+++ b/Gentle_introduction_Inpla.md
@@ -207,6 +207,8 @@ Let's clean the result in case it could be used anywhere:
   ```
   The following is an execution example:
   ```
+  >>> add(ret, x) >< Z => ret~x;
+  >>> add(ret, x) >< S(y) => add(ret, S(x))~y;
   >>> add(r,S(Z))~S(S(Z));
   (3 interactions, 0.00 sec)
   >>> r;