Symbol: docommandchoice