From what I gathered about ~ is that it means something along the lines of \'is modeled by\' and so x ~ y should mean x is modeled by y. From context o
~
x ~ y