add as_symbolic decorator