Lines Matching refs:DOUBLE
18625 <DOUBLE-STRUCK_N-ARY_SUMMATION>;/
20716 <DOUBLE-ENDED_MULTIMAP>;/
20900 <DOUBLE-LINE_EQUAL_TO_OR_LESS-THAN>;/
20901 <DOUBLE-LINE_EQUAL_TO_OR_GREATER-THAN>;/
20902 <DOUBLE-LINE_SLANTED_EQUAL_TO_OR_LESS-THAN>;/
20903 <DOUBLE-LINE_SLANTED_EQUAL_TO_OR_GREATER-THAN>;/
20996 <DOUBLE-LINE_SLANTED_LESS-THAN_OR_EQUAL_TO>;/
20997 <DOUBLE-LINE_SLANTED_GREATER-THAN_OR_EQUAL_TO>;/
28535 <DOUBLE-STRUCK_SMALL_PI>;/
28536 <DOUBLE-STRUCK_SMALL_GAMMA>;/
28537 <DOUBLE-STRUCK_ITALIC_SMALL_D>;/
28538 <DOUBLE-STRUCK_ITALIC_SMALL_E>;/
28539 <DOUBLE-STRUCK_ITALIC_SMALL_I>;/
28540 <DOUBLE-STRUCK_ITALIC_SMALL_J>;/
34115 <DOUBLE-STRUCK_CAPITAL_C>;/
34119 <DOUBLE-STRUCK_CAPITAL_H>;/
34123 <DOUBLE-STRUCK_CAPITAL_N>;/
34124 <DOUBLE-STRUCK_CAPITAL_P>;/
34125 <DOUBLE-STRUCK_CAPITAL_Q>;/
34128 <DOUBLE-STRUCK_CAPITAL_R>;/
34129 <DOUBLE-STRUCK_CAPITAL_Z>;/
34140 <DOUBLE-STRUCK_CAPITAL_GAMMA>;/
34141 <DOUBLE-STRUCK_CAPITAL_PI>;/
34142 <DOUBLE-STRUCK_ITALIC_CAPITAL_D>;/