Several PostgreSQL operators are incorrectly split in two

[Diggsey]

Some examples I've encountered:

Before	After
<->	< ->
<=>	<= >
&&	& &
@>	@ >

There are probably many more. I think the formatter should avoid splitting adjacent symbols like this entirely.

[pnezis]

Some other examples that are wrongly split:

SELECT
  left <@ right,
  left << right,
  left >> right,
  left &< right,
  left &> right,
  left -|- right,
  @@ left,
  @-@ left,
  left <-> right,
  left <<| right,
  left |>> right,
  left &<| right,
  left |>& right,
  left <^ right,
  left >^ right,
  ?- left,
  left ?-| right,
  left ?|| right,
  left ~= right

Notice that this is only a tiny subset of postgres supported operators. You can get the full list by running

select * from pg_operator;

Additionally you are allowed to create your own operator through CREATE OPERATOR. The allowed operator characters are + - * / < > = ~ ! @ # % ^ & | ?`.

I agree with @Diggsey that the tokenizer should avoid splitting sequences of the above symbols in order to be safe. Currently it breaks queries using such operators.