I think it's yet another typographic ~wonder. From what I recall it's a ° to denote relation (relat°) but made into an ascii 'o'.

So yeah, it's just to distinguish from the usual semantics.