--- a/Tools__NavigatorModel.st	Wed May 09 15:57:57 2018 +0200
+++ b/Tools__NavigatorModel.st	Wed May 09 16:00:19 2018 +0200
@@ -97,7 +97,8 @@
      the '*' is disturbing arithmetic messages (i.e. Integer >> *)
      therefore, it was changed to the '!!', which is nowhere implemented."
 
-    ^ ' !!'.
+    ^ ' ∆'.
+    "/ ^ ' !!'.
     "/ ^ ' °'.
     "/ ^ ' *'