I have never seen this hall effect symbol in a wiring diagram before. I referenced an engineering document describing different hall effects.

[...] [[...]]

I am going to assume GY(Gray?) and GN(Green?) are going to be the supply voltage to the hall effect ... Login to read more.