symbolical algebra