factored out symbols in own file