Specify start symbol on the command line