[AVL] notation modification