diff --git a/flex/findliar.flex b/flex/findliar.flex
index 6f8bf17c..35437f98 100644
--- a/flex/findliar.flex
+++ b/flex/findliar.flex
@@ -365,9 +365,14 @@ description _ TaskData{..} = do
   paragraph $ text
     ("Verwenden Sie dabei die atomaren Formeln A, B, C mit der Interpretation, " ++
     "dass eine Zuordnung von 'wahr' dafür steht, dass die entsprechende Person die Wahrheit sagt.")
-  keyHeading
-  basicOpKey True
-  arrowsKey
+  collapsed True (translations $ do
+    english "Notes on notation:"
+    german "Notationshinweise:")
+    (do
+      basicOpKey True
+      arrowsKey
+      pure()
+    )
   pure ()
 
 
diff --git a/flex/proplogic.flex b/flex/proplogic.flex
index 55365c7c..08c6cdf0 100644
--- a/flex/proplogic.flex
+++ b/flex/proplogic.flex
@@ -395,9 +395,14 @@ description _ (legend,hints,_) = do
       "Geben Sie diese Formel in das entsprechend benannte Textfeld ein. " ++
       "Verwenden Sie dabei die atomaren Formeln A, B, C, D mit der Interpretation, " ++
       "dass eine Zuordnung von 'wahr' dafür steht, dass die entsprechende Person mitkommt."
-    keyHeading
-    basicOpKey True
-    arrowsKey
+    collapsed True (translations $ do
+      english "Notes on notation:"
+      german "Notationshinweise:")
+      (do
+        basicOpKey True
+        arrowsKey
+        pure()
+      )
     paragraph $ text $
       "Wer geht mit Eva zum Konzert? Leiten Sie Ihr Ergebnis mittels Wahrheitstafel her. " ++
       "Kreuzen Sie dann alle Begleitenden in der Namensliste an."
diff --git a/src/LogicTasks/Syntax/ComposeFormula.hs b/src/LogicTasks/Syntax/ComposeFormula.hs
index 90967713..13b04b37 100644
--- a/src/LogicTasks/Syntax/ComposeFormula.hs
+++ b/src/LogicTasks/Syntax/ComposeFormula.hs
@@ -14,6 +14,7 @@ import Control.OutputCapable.Blocks (
   extra,
   ($=<<),
   english,
+  collapsed,
   german,
   translate,
   localise,
@@ -76,9 +77,15 @@ description inputHelp path ComposeFormulaInst{..} = do
       english "(You are allowed to add arbitrarily many additional pairs of brackets in the formulas.)"
       german "(In den Formeln dürfen Sie beliebig viele zusätzliche Klammerpaare hinzufügen.)"
 
-    keyHeading
-    basicOpKey unicodeAllowed
-    arrowsKey' arrowOperatorsToShow
+    collapsed True (translations $ do
+      english "Notes on notation:"
+      german "Notationshinweise:")
+      (do
+        keyHeading
+        basicOpKey unicodeAllowed
+        arrowsKey' arrowOperatorsToShow
+        pure()
+      )
 
     when inputHelp $ paragraph $ indent $ do
       translate $ do
diff --git a/src/LogicTasks/Syntax/DecomposeFormula.hs b/src/LogicTasks/Syntax/DecomposeFormula.hs
index 588dd5ad..a8d852ad 100644
--- a/src/LogicTasks/Syntax/DecomposeFormula.hs
+++ b/src/LogicTasks/Syntax/DecomposeFormula.hs
@@ -13,6 +13,7 @@ import Control.OutputCapable.Blocks (
   OutputCapable,
   extra,
   ($=<<),
+  collapsed,
   english,
   german,
   localise,
@@ -53,9 +54,15 @@ description DecomposeFormulaInst{..} = do
       english "(You are allowed to add arbitrarily many additional pairs of brackets in the formula.)"
       german "(In der Formel dürfen Sie beliebig viele zusätzliche Klammerpaare hinzufügen.)"
 
-    keyHeading
-    basicOpKey unicodeAllowed
-    arrowsKey' arrowOperatorsToShow
+    collapsed True (translations $ do
+      english "Notes on notation:"
+      german "Notationshinweise:")
+      (do
+        keyHeading
+        basicOpKey unicodeAllowed
+        arrowsKey' arrowOperatorsToShow
+        pure()
+      )
 
     paragraph $ indent $ do
       translate $ do
diff --git a/src/LogicTasks/Syntax/SubTreeSet.hs b/src/LogicTasks/Syntax/SubTreeSet.hs
index 1e2f09e8..f6950004 100644
--- a/src/LogicTasks/Syntax/SubTreeSet.hs
+++ b/src/LogicTasks/Syntax/SubTreeSet.hs
@@ -75,9 +75,15 @@ description withListInput SubTreeInst{..} = do
       german "Sie können dafür die ursprüngliche Formel mehrfach in die Abgabe kopieren und Teile entfernen oder leer starten."
       english "You can copy the original formula into the submission several times and remove parts or start from scratch."
 
-    keyHeading
-    basicOpKey unicodeAllowed
-    arrowsKey' arrowOperatorsToShow
+    collapsed True (translations $ do
+      english "Notes on notation:"
+      german "Notationshinweise:")
+      (do
+        keyHeading
+        basicOpKey unicodeAllowed
+        arrowsKey' arrowOperatorsToShow
+        pure()
+      )
 
     extra addText
     pure ()