which uses ordinary ASCII letters to aid in recognizing sequences of letters as words instead of products of individual symbols. Such usage corresponds to identifiers as discussed elsewhere in this report. The period (U+002E and U+002C are widely used as numerical FULL STOP) COMMA punctuation, however, their meaning depends on local conventions. See []. For Arabic, U+066B or U+002C are used. Note that U+0660 ARABIC DECIMAL SEPARATOR COMMA ARABIC-INDIC is easily confused with a period, which leads to the fact that it is often spelled out. DIGIT ZERO Negations Many negated forms, particularly of relations, can be encoded by using the base symbol, together with a combining overlay. Occasionally, both a vertical and a slanted negation are used; which one is often a matter of style. Sometimes the negation is indicated for only part of a symbol. In these cases, the negated relations are encoded directly, and variants can be accessed via the variation selector method described in the next section. Table 2.7 lists the currently encoded negated mathematical relations for which a variant can be realized via composition, by using U+20D2 together combining long vertical line overlay with a base character. In the table, the part of the description in is the character small caps name of the corresponding standard character; the part in lowercase indicates the variation in appearance. 2.7 Negated Relations Using Vertical Line Overlay Std Alternate Description Symbol Symbol of alternate symbol not an element with of 2209 2208,20D2 vertical stroke does not contain as with 220C 220B,20D2 member vertical stroke with not tilde 2241 223C,20D2 vertical stroke not asymptotically with equal to 2244 2243,20D2 vertical stroke neither 2247 2245,20D2 approximately
which uses ordinary ASCII letters to aid in recognizing sequences of letters as words instead of products of individual symbols. Such usage corresponds to identifiers as discussed elsewhere in this report. The period (U+002E FULL STOP) and U+002C COMMA are widely used as numerical punctuation, however, their meaning depends on local conventions. See []. For Arabic, U+066B ARABIC DECIMAL SEPARATOR or U+002C COMMA are used. Note that U+0660 ARABIC-INDIC DIGIT ZERO is easily confused with a period, which leads to the fact that it is often spelled out. Negations Many negated forms, particularly of relations, can be encoded by using the base symbol, together with a combining overlay. Occasionally, both a vertical and a slanted negation are used; which one is often a matter of style. Sometimes the negation is indicated for only part of a symbol. In these cases, the negated relations are encoded directly, and variants can be accessed via the variation selector method described in the next section. Table 2.7 lists the currently encoded negated mathematical relations for which a variant can be realized via composition, by using U+20D2 combining long vertical line overlay together with a base character. In the table, the part of the description in small caps is the character name of the corresponding standard character; the part in lowercase indicates the variation in appearance. 2.7 Negated Relations Using Vertical Line Overlay Std Symbol Alternate Symbol Description of alternate symbol 2209 2208,20D2 not an element of with vertical stroke 220C 220B,20D2 does not contain as member with vertical stroke 2241 223C,20D2 not tilde with vertical stroke 2244 2243,20D2 not asymptotically equal to with vertical stroke 2247 2245,20D2 neither approximately
tr25-12.docx