Fold under - slebok/sleg GitHub Wiki

English

• fold-under
• Symbol: ^
• Definition: a tree manipulation annotation used in Tear-Insert-Fold grammars and Tear-Fold grammars. The node corresponding to x^ is deleted, and its children become children of its parent.
• Publication: Tear-Insert-Fold Grammars

Russian

• подсвёртка