Lines Matching refs:DOUBLE
20119 <DOUBLE-STRUCK_N-ARY_SUMMATION>;/
22210 <DOUBLE-ENDED_MULTIMAP>;/
22394 <DOUBLE-LINE_EQUAL_TO_OR_LESS-THAN>;/
22395 <DOUBLE-LINE_EQUAL_TO_OR_GREATER-THAN>;/
22396 <DOUBLE-LINE_SLANTED_EQUAL_TO_OR_LESS-THAN>;/
22397 <DOUBLE-LINE_SLANTED_EQUAL_TO_OR_GREATER-THAN>;/
22490 <DOUBLE-LINE_SLANTED_LESS-THAN_OR_EQUAL_TO>;/
22491 <DOUBLE-LINE_SLANTED_GREATER-THAN_OR_EQUAL_TO>;/
30971 <DOUBLE-STRUCK_SMALL_PI>;/
30972 <DOUBLE-STRUCK_SMALL_GAMMA>;/
30973 <DOUBLE-STRUCK_ITALIC_SMALL_D>;/
30974 <DOUBLE-STRUCK_ITALIC_SMALL_E>;/
30975 <DOUBLE-STRUCK_ITALIC_SMALL_I>;/
30976 <DOUBLE-STRUCK_ITALIC_SMALL_J>;/
36793 <DOUBLE-STRUCK_CAPITAL_C>;/
36797 <DOUBLE-STRUCK_CAPITAL_H>;/
36801 <DOUBLE-STRUCK_CAPITAL_N>;/
36802 <DOUBLE-STRUCK_CAPITAL_P>;/
36803 <DOUBLE-STRUCK_CAPITAL_Q>;/
36806 <DOUBLE-STRUCK_CAPITAL_R>;/
36807 <DOUBLE-STRUCK_CAPITAL_Z>;/
36818 <DOUBLE-STRUCK_CAPITAL_GAMMA>;/
36819 <DOUBLE-STRUCK_CAPITAL_PI>;/
36820 <DOUBLE-STRUCK_ITALIC_CAPITAL_D>;/