[AVL] Notation update