[NTG-context] Define new symbol by stitching two symbols together