I would avoid "-->" and use "i.e.," instead:
  * `geomA` and `geomB` have exactly the same shape. I.e., `ST_Within(A,B) = true` and `ST_Within(B,A) = true`.