Noto Sans CJK: U+2252 APPROXIMATELY EQUAL TO OR THE IMAGE OF appears larger than its sisters at U+2250..2253

[GoogleCodeExporter]

Customer report:

==========
U+2252 APPROXIMATELY EQUAL TO OR THE IMAGE OF appears larger than its sisters 
at U+2250..2253. They are expected to be consistent in size.
==========

Original issue reported on code.google.com by xian...@google.com on 29 May 2015 at 10:44

[GoogleCodeExporter]

The customer report is for Android.

The problem turns out that U+2252 comes from Noto Sans CJK, while the rest come 
from Noto Sans Symbols.

Ken, What do you think about the size of U+2252? Can it be shortened to match 
U+2250..2253 in Noto Sans Symbols (if it doesn't cause other inconsistency).

Original comment by xian...@google.com on 29 May 2015 at 10:48

[GoogleCodeExporter]

U+2252 is included Source Han Sans / Noto Sans CJK because it is included in 
the major CJK standards (GBK for China, Big Five for Taiwan, JIS X 0208 for 
Japan, and KS X 1001 for Korea), and the expectation is that its glyph be 
full-width.

Original comment by ken.lu...@gmail.com on 29 May 2015 at 11:18

[GoogleCodeExporter]

To record what I said during today's meeting: 

IMHO, having full-width glyphs for this and other mathematical operators makes 
these characters not so useful in mathematical context.  As we made Greek and 
Cyrillic proportional, we may as well consider doing the same with these 
characters. 

Original comment by jshin@chromium.org on 2 Jun 2015 at 12:24

[behdad]

cc @xiangyexiao

[ghost]

Moved to notofonts/noto-cjk#24