integrated Symbolic Plug-in