Information about notation: EXP-NAW