symbol -> Symbol in SinglePSpace constructor