-/** Return the symbol object handled by an ex. Deprecated: use ex_to<symbol>().
- * This is unsafe: you need to check the type first. */
-inline const symbol &ex_to_symbol(const ex &e)
-{
- return static_cast<const symbol &>(*e.bp);
-}
-
-inline symbol &ex_to_nonconst_symbol(const ex &e)
-{
- return static_cast<symbol &>(*e.bp);
-}
-