Information about notation: EXP-DIS <2>