diff --git a/docs/labels.md b/docs/labels.md
new file mode 100644
index 00000000..bc7797a8
--- /dev/null
+++ b/docs/labels.md
@@ -0,0 +1,9 @@
+# Project-specific labels
+
+## Component
+
+Currently only these ones are used, but the list can be extended in future:
+
+- tla+
+  
+  Related to the TLA+ algorithm specification