Hello Philosophy Forumers!

I am having a bit of difficulty with this, I was wondering if someone might be able to double check this.

"Harry shaves only persons who do not shave themselves. Therefore, Harry does not shave himself."

(x)(Dx -> ~Hx) Therefore (x)~Hx

Does it look like I correctly symbolized it?

TY PF'ers