diff --git a/examples/mathlib.claro b/examples/mathlib.claro
new file mode 100644
index 0000000..777f4cc
--- /dev/null
+++ b/examples/mathlib.claro
@@ -0,0 +1,3 @@
+TEACH add TAKES a, b
+    RETURN a + b
+LEARNED