/* Tatica foldlpar */
\tbegin
\ttactic foldrpar(t)  \def

/* \tmu X @ \ttactic TRY((X \parallelbox \tskip) \tsemi \ttactic t()) */
 \ttactic TRY(\ttactic t())

  \tend