interface for symbols