formalize symbol concepts