bug#3179: Entering Chinese "zero": add U+3007

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: stepnem@gmail.com,  3179@debbugs.gnu.org,  jidanni@jidanni.org
> Date: Tue, 15 Oct 2019 10:26:56 +0200
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > I don't understand this decision.  None of us knows enough about these
> > particular characters to tell U+25CB was a mistake (it was there since
> > day one of leim-ext.el), and the OP asked for _addition_ of U+3007.
> > So why did we replace instead of adding?
> 
> We had the opinions of two people (Ming Hua <minghua@rice.edu> over at
> the Debian debbugs and Štěpán here) that IDEOGRAPHIC NUMBER ZERO made
> sense while WHITE CIRCLE didn't, so it didn't seem controversial.

Ming Hua gave no reasoning, and Štěpán said U+3007 is the standard way
to write ideographic zero.  But why should we assume the intent here
was to use the ideographic zero?  (And the original file had U+25CB
there, in ISO-2022 encoding, that's definitely correct.)