File tree 2 files changed +90
-64
lines changed
2 files changed +90
-64
lines changed Original file line number Diff line number Diff line change 50
50
"\\cellopts" return "CELLOPTS";
51
51
"\\check" { yytext = "\u02C7"; return "ACCENTNS"; }
52
52
"\\choose" return "TEXCHOOSE";
53
- "\\closure" { yytext = "\u02C7 "; return "ACCENT"; }
53
+ "\\closure" { yytext = "\u00AF "; return "ACCENT"; }
54
54
"\\colalign" { this.begin("TEXTARG"); return "COLALIGN"; }
55
55
"\\collayout" { this.pushState("TEXTARG"); return "COLLAYOUT";}
56
56
"\\collines" { this.pushState("TEXTARG"); return "COLLINES"; }
57
57
"\\color" { this.pushState("TEXTARG"); return "COLOR"; }
58
58
"\\colspan" { this.begin("TEXTARG"); return "COLSPAN"; }
59
59
"\\ddddot" { yytext = "\u20DC"; return "ACCENT"; }
60
- "\\dddot" { yytext = "\u30DB "; return "ACCENT"; }
60
+ "\\dddot" { yytext = "\u20DB "; return "ACCENT"; }
61
61
"\\ddot" { yytext = "\u0308"; return "ACCENT"; }
62
62
"\\displaystyle" return "DISPLAYSTYLE";
63
63
"\\dot" { yytext = "\u02D9"; return "ACCENT"; }
116
116
"\\operatorname" { this.begin("TEXTARG"); return "OPERATORNAME"; }
117
117
"\\over" return "TEXOVER";
118
118
"\\overbrace" return "OVERBRACE";
119
- "\\overline" { yytext = "\u02C7 "; return "ACCENT"; }
119
+ "\\overline" { yytext = "\u00AF "; return "ACCENT"; }
120
120
"\\overset" return "OVERSET";
121
121
"\\padding" { this.pushState("TEXTARG"); return "PADDING"; }
122
122
"\\phantom" return "PHANTOM";
You can’t perform that action at this time.
0 commit comments