Jon Harrop has a post on some simple symbolic manipulations with F#.