mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Math
synced 2024-09-23 10:21:31 +00:00
a2b53e5a36
but \operatorname to fix Bug 31442. More specifically, TEX_FUN1 now
adds braces as it did in previous versions. The result is texvc will
once again correctly sanitize multiple math accents even when no braces are
given (e.g. \dot \vec B) and it will allow math accents to be used with
symbols whose font as been changed (e.g. \tilde \mathcal{M}). Parser
tests are created to ensure these continue to work.
The handling of \operatorname is now handled specially by the
function TEX_FUN1nb (nb stands for no braces and the name is taken to
be consistent with the existing function TEX_FUN2nb). The addition of
braces causes this command to LaTeX incorrectly. The parser test for
\operatorname has been updated to reflect the fact the hash of the
images involved has changed.
120 lines
4.2 KiB
OCaml
120 lines
4.2 KiB
OCaml
%{
|
|
open Tex
|
|
open Render_info
|
|
|
|
let sq_close_ri = HTMLABLEC(FONT_UFH,"]", "]")
|
|
%}
|
|
%token <Render_info.t> LITERAL DELIMITER
|
|
%token <string> FUN_AR2 FUN_INFIX FUN_AR1 DECL FUN_AR1nb FUN_AR1opt BIG FUN_AR2nb
|
|
%token <string*string> BOX
|
|
%token <string*(string*string)> FUN_AR1hl
|
|
%token <string*Render_info.font_force> FUN_AR1hf DECLh
|
|
%token <string*(Tex.t->Tex.t->string*string*string)> FUN_AR2h
|
|
%token <string*(Tex.t list->Tex.t list->string*string*string)> FUN_INFIXh
|
|
%token EOF CURLY_OPEN CURLY_CLOSE SUB SUP SQ_CLOSE NEXT_CELL NEXT_ROW
|
|
%token BEGIN__MATRIX BEGIN_PMATRIX BEGIN_BMATRIX BEGIN_BBMATRIX BEGIN_VMATRIX BEGIN_VVMATRIX BEGIN_CASES BEGIN_ARRAY BEGIN_ALIGN BEGIN_ALIGNAT BEGIN_SMALLMATRIX
|
|
%token END__MATRIX END_PMATRIX END_BMATRIX END_BBMATRIX END_VMATRIX END_VVMATRIX END_CASES END_ARRAY END_ALIGN END_ALIGNAT END_SMALLMATRIX
|
|
%token LEFT RIGHT
|
|
%type <Tex.t list> tex_expr
|
|
%start tex_expr
|
|
|
|
%%
|
|
tex_expr:
|
|
expr EOF { $1 }
|
|
| ne_expr FUN_INFIX ne_expr EOF
|
|
{ [TEX_INFIX($2,$1,$3)] }
|
|
| ne_expr FUN_INFIXh ne_expr EOF
|
|
{ let t,h=$2 in [TEX_INFIXh(t,h,$1,$3)] }
|
|
expr:
|
|
/* */ { [] }
|
|
| ne_expr { $1 }
|
|
ne_expr:
|
|
lit_aq expr { $1 :: $2 }
|
|
| litsq_aq expr { $1 :: $2 }
|
|
| DECLh expr { let t,h = $1 in [TEX_DECLh(t,h,$2)] }
|
|
litsq_aq:
|
|
litsq_zq { $1 }
|
|
| litsq_dq { let base,downi = $1 in TEX_DQ(base,downi) }
|
|
| litsq_uq { let base,upi = $1 in TEX_UQ(base,upi)}
|
|
| litsq_fq { $1 }
|
|
litsq_fq:
|
|
litsq_dq SUP lit { let base,downi = $1 in TEX_FQ(base,downi,$3) }
|
|
| litsq_uq SUB lit { let base,upi = $1 in TEX_FQ(base,$3,upi) }
|
|
litsq_uq:
|
|
litsq_zq SUP lit { $1,$3 }
|
|
litsq_dq:
|
|
litsq_zq SUB lit { $1,$3 }
|
|
litsq_zq:
|
|
| SQ_CLOSE { TEX_LITERAL sq_close_ri }
|
|
expr_nosqc:
|
|
/* */ { [] }
|
|
| lit_aq expr_nosqc { $1 :: $2 }
|
|
lit_aq:
|
|
lit { $1 }
|
|
| lit_dq { let base,downi = $1 in TEX_DQ(base,downi) }
|
|
| lit_uq { let base,upi = $1 in TEX_UQ(base,upi)}
|
|
| lit_dqn { TEX_DQN($1) }
|
|
| lit_uqn { TEX_UQN($1) }
|
|
| lit_fq { $1 }
|
|
|
|
lit_fq:
|
|
lit_dq SUP lit { let base,downi = $1 in TEX_FQ(base,downi,$3) }
|
|
| lit_uq SUB lit { let base,upi = $1 in TEX_FQ(base,$3,upi) }
|
|
| lit_dqn SUP lit { TEX_FQN($1, $3) }
|
|
|
|
lit_uq:
|
|
lit SUP lit { $1,$3 }
|
|
lit_dq:
|
|
lit SUB lit { $1,$3 }
|
|
lit_uqn:
|
|
SUP lit { $2 }
|
|
lit_dqn:
|
|
SUB lit { $2 }
|
|
|
|
|
|
left:
|
|
LEFT DELIMITER { $2 }
|
|
| LEFT SQ_CLOSE { sq_close_ri }
|
|
right:
|
|
RIGHT DELIMITER { $2 }
|
|
| RIGHT SQ_CLOSE { sq_close_ri }
|
|
lit:
|
|
LITERAL { TEX_LITERAL $1 }
|
|
| DELIMITER { TEX_LITERAL $1 }
|
|
| BIG DELIMITER { TEX_BIG ($1,$2) }
|
|
| BIG SQ_CLOSE { TEX_BIG ($1,sq_close_ri) }
|
|
| left expr right { TEX_LR ($1,$3,$2) }
|
|
| FUN_AR1 lit { TEX_FUN1($1,$2) }
|
|
| FUN_AR1nb lit { TEX_FUN1nb($1,$2) }
|
|
| FUN_AR1hl lit { let t,h=$1 in TEX_FUN1hl(t,h,$2) }
|
|
| FUN_AR1hf lit { let t,h=$1 in TEX_FUN1hf(t,h,$2) }
|
|
| FUN_AR1opt expr_nosqc SQ_CLOSE lit { TEX_FUN2sq($1,TEX_CURLY $2,$4) }
|
|
| FUN_AR2 lit lit { TEX_FUN2($1,$2,$3) }
|
|
| FUN_AR2nb lit lit { TEX_FUN2nb($1,$2,$3) }
|
|
| FUN_AR2h lit lit { let t,h=$1 in TEX_FUN2h(t,h,$2,$3) }
|
|
| BOX { let bt,s = $1 in TEX_BOX (bt,s) }
|
|
| CURLY_OPEN expr CURLY_CLOSE
|
|
{ TEX_CURLY $2 }
|
|
| CURLY_OPEN ne_expr FUN_INFIX ne_expr CURLY_CLOSE
|
|
{ TEX_INFIX($3,$2,$4) }
|
|
| CURLY_OPEN ne_expr FUN_INFIXh ne_expr CURLY_CLOSE
|
|
{ let t,h=$3 in TEX_INFIXh(t,h,$2,$4) }
|
|
| BEGIN__MATRIX matrix END__MATRIX { TEX_MATRIX ("matrix", $2) }
|
|
| BEGIN_PMATRIX matrix END_PMATRIX { TEX_MATRIX ("pmatrix", $2) }
|
|
| BEGIN_BMATRIX matrix END_BMATRIX { TEX_MATRIX ("bmatrix", $2) }
|
|
| BEGIN_BBMATRIX matrix END_BBMATRIX { TEX_MATRIX ("Bmatrix", $2) }
|
|
| BEGIN_VMATRIX matrix END_VMATRIX { TEX_MATRIX ("vmatrix", $2) }
|
|
| BEGIN_VVMATRIX matrix END_VVMATRIX { TEX_MATRIX ("Vmatrix", $2) }
|
|
| BEGIN_ARRAY matrix END_ARRAY { TEX_MATRIX ("array", $2) }
|
|
| BEGIN_ALIGN matrix END_ALIGN { TEX_MATRIX ("aligned", $2) }
|
|
| BEGIN_ALIGNAT matrix END_ALIGNAT { TEX_MATRIX ("alignedat", $2) }
|
|
| BEGIN_SMALLMATRIX matrix END_SMALLMATRIX { TEX_MATRIX ("smallmatrix", $2) }
|
|
| BEGIN_CASES matrix END_CASES { TEX_MATRIX ("cases", $2) }
|
|
matrix:
|
|
line { [$1] }
|
|
| line NEXT_ROW matrix { $1::$3 }
|
|
line:
|
|
expr { [$1] }
|
|
| expr NEXT_CELL line { $1::$3 }
|
|
;;
|