Symbolic Techniques