version 1.4, 2009/09/20 17:24:57 |
version 1.5, 2009/09/20 19:25:06 |
|
|
|
|
STRING("Am", 2, "&", 1, "&", 5) |
STRING("Am", 2, "&", 1, "&", 5) |
STRING("Ba", 2, "|", 1, "|", 0) |
STRING("Ba", 2, "|", 1, "|", 0) |
STRING("Ge", 2, ">=", 2, "", 0) |
STRING("Ge", 2, ">=", 2, "≤", 7) |
STRING("Gt", 2, ">", 1, "", 0) |
STRING("Gt", 2, ">", 1, ">", 4) |
STRING("If", 2, "infinity", 8, "", 0) |
STRING("If", 2, "infinity", 8, "infinity", 8) |
STRING("Le", 2, "<=", 2, "", 0) |
STRING("Le", 2, "<=", 2, "≤", 7) |
STRING("Lq", 2, "``", 2, "", 0) |
STRING("Lq", 2, "``", 2, "“", 7) |
STRING("Lt", 2, "<", 1, "", 0) |
STRING("Lt", 2, "<", 1, "<", 4) |
STRING("Na", 2, "NaN", 3, "", 0) |
STRING("Na", 2, "NaN", 3, "NaN", 3) |
STRING("Ne", 2, "!=", 2, "", 0) |
STRING("Ne", 2, "!=", 2, "≠", 7) |
STRING("Pi", 2, "pi", 2, "", 0) |
STRING("Pi", 2, "pi", 2, "", 0) |
STRING("Pm", 2, "+-", 2, "", 0) |
STRING("Pm", 2, "+-", 2, "", 0) |
STRING("R", 1, "(R)", 3, "", 0) |
STRING("R", 1, "(R)", 3, "", 0) |
Line 49 STRING("left-bracket", 12, "[", 1, "", 0) |
|
Line 49 STRING("left-bracket", 12, "[", 1, "", 0) |
|
STRING("left-parenthesis", 16, "(", 1, "", 0) |
STRING("left-parenthesis", 16, "(", 1, "", 0) |
STRING("left-singlequote", 16, "`", 1, "", 0) |
STRING("left-singlequote", 16, "`", 1, "", 0) |
STRING("lp", 2, "(", 1, "", 0) |
STRING("lp", 2, "(", 1, "", 0) |
STRING("q", 1, "\"", 1, "", 0) |
STRING("q", 1, "\"", 1, """, 6) |
STRING("quote-left", 10, "`", 1, "", 0) |
STRING("quote-left", 10, "`", 1, "", 0) |
STRING("quote-right", 11, "\'", 1, "", 0) |
STRING("quote-right", 11, "\'", 1, "", 0) |
STRING("right-bracket", 13, "]", 1, "", 0) |
STRING("right-bracket", 13, "]", 1, "", 0) |
Line 128 CHAR(",c", 2, "c", 1, "", 0) |
|
Line 128 CHAR(",c", 2, "c", 1, "", 0) |
|
CHAR("-", 1, "-", 1, "-", 1) |
CHAR("-", 1, "-", 1, "-", 1) |
CHAR("->", 2, "->", 2, "", 0) |
CHAR("->", 2, "->", 2, "", 0) |
CHAR("-D", 2, "D", 1, "", 0) |
CHAR("-D", 2, "D", 1, "", 0) |
CHAR(".", 1, ".", 1, "", 0) |
CHAR(".", 1, ".", 1, ".", 1) |
CHAR("/L", 2, "L", 1, "", 0) |
CHAR("/L", 2, "L", 1, "", 0) |
CHAR("/O", 2, "O", 1, "", 0) |
CHAR("/O", 2, "O", 1, "", 0) |
CHAR("/l", 2, "l", 1, "", 0) |
CHAR("/l", 2, "l", 1, "", 0) |