Formerly, Symex could be installed and used with a single use-package form. Now, the original functionality has been decomposed into smaller, tailored packages. You need one use-package form for each of these packages that you are interested in (See Installing Symex). Some typical cases are covered below.