list-options show-notation show-std-notations show-user-notations