Time-reversible and equivariant pitchfork bifurcation