Information about notation: EXP