MediaWiki查询API元素中的鱼形符号是什么

Question

我已经捕获了移动维基百科应用程序正在调用的示例 JSON 调用。我不知道标记的fish-like符号是什么：

我以为我可以简单地省略它：

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

但是，不：

{
  "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"
}

query

用的这个符号是什么？我如何输入它（它的 UTF-8 代码是什么）？

编辑：正如在评论中发现的那样，符号可能是

∝

（U + 221D，Proportional To）？但是使用

action=query=info

（没有

∝

符号）部分更改为

action=query=info∝

（

∝

符号存在）调用上述查询不会改变任何东西并且响应是相同的（上面的第二个代码块）.