English
- fold-under
- Symbol:
^ - 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