[NTG-context] \overrightarrow{AB} gives under rightarrow