Symbolical algebra