I simply cannot display the raw xsymbol notation until the user has selected the Isabelle installation. User's won't accept it.
I would happily accept such a minor limitation. We are used to quite other things. Most users won't even notice, assuming that the Isabelle installation is selected as part of some installation process.