diff --git a/naming.txt b/naming.txt
new file mode 100644
index 0000000000000000000000000000000000000000..b98dd3d306340a0e9ce5b13b10bff3b9a85a27ea
--- /dev/null
+++ b/naming.txt
@@ -0,0 +1,59 @@
+== small letters ==
+a : A : cmraT or cofeT
+b : B : cmraT or cofeT
+c
+d
+e : expr = expressions
+f
+g
+h : heap
+i
+j
+k
+l
+m : iGst = ghost state
+n
+o
+p
+q
+r : res = resources
+s
+t
+u
+v : val = values of language
+w
+x
+y
+z 
+
+== capital letters ==
+A : Type, cmraT or cofeT
+B : Type, cmraT or cofeT
+C
+D   
+E : coPset = Viewshift masks
+F
+G
+H = hypotheses
+I : indexing sets
+J
+K : ectx = evaluation contexts
+L
+M = maps / global CMRA
+N : namespace
+O 
+P : uPred, iProp or Prop
+Q : uPred, iProp or Prop
+R : uPred, iProp or Prop
+S : set state = state sets in STSs
+T : set token = token sets in STSs
+U
+V : abstraction of values in frame shift assertions
+W
+X : sets
+Y : sets
+Z : sets
+
+== small greek letters ==
+γ : gname.
+σ : state = state of language