The page: https://www.postgresql.org/docs/17/textsearch-intro.html The original sentence: "The form text @@ tsquery is equivalent to to_tsvector(x) @@ y." ends with " ... @@ y." Perhaps it should end with the "... @@ tsquery." instead?
No. The premise of this section is that the operator is defined as (typed value) OP (typed valued).
The left typed value is represented by x, the right typed value is represented by y.
These two explanations reference the typed values explicitly, either passing them into a function OR using them as-is. They are written as value expressions so it makes sense to use both x and y in them.
I can see some merit in writing "to_tsvector(x) @@ tsquery" but it's not obvious to me that it is an improvement. It feels like mixing two related but distinct concepts. It if clearly made explaining it better I'd probably go for it but either way of writing seems to require a similar amount of mental effort to interpret.
Maybe you can explain what is confusing about the existing examples and how your proposal would overcome that?