I fail to see a distinction The GNIS and Cenus databases are also based in US Law but Wikipedia is not it is a global organization Despite the power that Congress thinks it has sometimes they can not control what names are in common use For example the self important names that they give bills Apple pie motherhood and freedom act etc fail to catch on in favor of cash for clunkers or Obamacare It should be mentioned in the body but probably not the lead since normal people probably care less than us editor nerds My point was that time was on our side as non unicode browsers fade slowly from the earth and limited typesetting systems go the way of the ASR 33 showing my age the symbols should be more and more prevalent cancelling the usual argument of numbers I will do an official support vote to clarify that I am for it long term