Information about notation: EXP-DIV