diff --git a/pandamonium-theorem-prover/persistence/src/main/java/dao/NotationDao.java b/pandamonium-theorem-prover/persistence/src/main/java/dao/NotationDao.java
new file mode 100644
index 0000000..b4d1524
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/dao/NotationDao.java
@@ -0,0 +1,4 @@
+package dao;
+
+public class NotationDao extends BaseDao {
+}
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/dto/NotationDto.java b/pandamonium-theorem-prover/persistence/src/main/java/dto/NotationDto.java
new file mode 100644
index 0000000..8084dd9
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/dto/NotationDto.java
@@ -0,0 +1,4 @@
+package dto;
+
+public class NotationDto extends BaseDto {
+}
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java b/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java
index 2de5b2d..c2c4417 100644
--- a/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java
+++ b/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java
@@ -1,6 +1,7 @@
 package manager;
 
 import dao.DefinitionDao;
+import dao.NotationDao;
 import dao.ProofDao;
 import dao.TheoremDao;
 import org.springframework.context.annotation.Bean;
@@ -27,4 +28,9 @@ public class ManagerConfig {
     public ProofManager proofManager() {
         return new ProofManager(new ProofDao());
     }
+
+    @Bean
+    public NotationManager notationManager() {
+        return new NotationManager(new NotationDao());
+    }
 }
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/manager/NotationManager.java b/pandamonium-theorem-prover/persistence/src/main/java/manager/NotationManager.java
new file mode 100644
index 0000000..a8e6d0f
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/manager/NotationManager.java
@@ -0,0 +1,11 @@
+package manager;
+
+import dao.NotationDao;
+import lombok.AllArgsConstructor;
+import org.springframework.stereotype.Component;
+
+@Component
+@AllArgsConstructor
+class NotationManager {
+    final private NotationDao notationDao;
+}