Information about notation: EXP-VALREN