What is the fish-like symbol in MediaWiki query API element

Question

I have captured an example JSON call that mobile Wikipedia app is calling. I don't know what the marked fish-like symbol is:

I thought that I can simply omit it:

https://en.wikipedia.org/w/api.php?format=json
    &formatversion=2
    &errorformat=html
    &errorsuselocal=1
    &action=query=info
    &converttitles=
    &redirects=
    &inprop=watched
    &titles=Noam_Chomsky

But, no:

{
  "errors": [
    {
      "code": "badvalue",
      "html": "Unrecognized value for parameter \"action\": query=info.",
      "module": "main"
    }
  ],
  "docref": "See https://en.wikipedia.org/w/api.php for API usage. Subscribe to the mediawiki-api-announce mailing list at <https://lists.wikimedia.org/postorius/lists/mediawiki-api-announce.lists.wikimedia.org/> for notice of API deprecations and breaking changes.",
  "servedby": "mw1392"
}

What is this symbol that query uses? How can I type it (what is its UTF-8 code)?

EDIT: As discovered in comments, the symbol could be ∝ (U+221D, Proportional To)? But calling the above query with action=query=info (no ∝ symbol) part changed into action=query=info∝ (∝ symbol present) does not change anything and the response is the same (second code block above).