@string{\symbol={\abbrev}}