Create Choose notation