More work on the notation dialog.