Insert

English

• insert
• Symbol: []
• Definition: a tree manipulation annotation used in Tear-Insert-Fold grammars. In a [x] b, the parser parses ab, and the subtree corresponding to x is inserted between a and b.
• Publication: Tear-Insert-Fold Grammars

Russian

• вставка