Information about notation: AST-DIV