Using pi as symbol rather than numerical value