Dann brauche ich eine Art Definition die besagt daß ein gewisses Zeichen als Wert einer gewissen Variablen gebraucht wird.
  [e|E]twa nε(α,–,– ∙ α) was etwa besagt daß ich „n” als Zahlzeichen verwenden werde.