I came across this set of symbols in an Advanced SQL (postgresql) course video by Torsten Grust: https://youtu.be/WPhU74hmtRw?t=1197
It is in the ORDER BY portion of the query: ORDER BY p.point, p.loc <-> k.mean) AS assign
He explains the meaning, "the minimum distance between one point from another", and I have looked for documentation or other samples, but could not find any. Can anyone point me in the right direction?