mathml/luamml-patches-kernel.sty

\ProvidesExplPackage {luamml-patches-kernel} {2021-05-30} {0.0.1-alpha}
  {Feel free to add a description here}

\cs_new:Npn \__luamml_kernel_phantom:nnn #1#2#3 {
  \hbox_set:Nn \c_zero_int {
    $
    \m@th
    #2
    {#3}
    \luamml_flag_save:nNn {mathphant_#1} #2 {mphantom}
    \luamml_pdf_write:
    $
  }
  \luamml_annotate:nen {1} {
    nucleus = true,
    core = {[0] = 'mpadded',
      \ifh@\else
        width = 0,
      \fi
      \ifv@\else
        height = 0, depth = 0,
      \fi
      data.mathml.mathphant_#1,
    }
  } {
    \finph@nt
  }
}
\cs_generate_variant:Nn \__luamml_kernel_phantom:nnn {V}

\int_new:N \g__luamml_kernel_phantom_int
\cs_set:Npn \mathph@nt {
  \int_gincr:N \g__luamml_kernel_phantom_int
  \__luamml_kernel_phantom:Vnn \g__luamml_kernel_phantom_int
}

\cs_set:Npn \env@cases {
  \let \@ifnextchar \new@ifnextchar
  \left \lbrace
    \def \arraystretch {1.2}
    \array {@{}l@{\quad \luamml_flag_ignore:}l@{}}
}

\@ifpackageloaded {unicode-math} {} {
  \cs_new:Npn \__luamml_kernel_define_character:Nnn #1#2#3 {
    \cs_set:cpx { \cs_to_str:N #1 ~ } {
      \luamml_annotate:nen {#2} {
        nucleus = true, core = {[0] = 'mi', '\string\u{#3}'},
      } {
        \exp_not:v { \cs_to_str:N #1 ~ }
      }
    }
  }

  \__luamml_kernel_define_character:Nnn \models {3} {22a7}
  \__luamml_kernel_define_character:Nnn \hookrightarrow {3} {21aa}
  \__luamml_kernel_define_character:Nnn \hookleftarrow {3} {21a9}
  \__luamml_kernel_define_character:Nnn \bowtie {3} {22c8}
  \__luamml_kernel_define_character:Nnn \Longrightarrow {3} {27f9}
  \__luamml_kernel_define_character:Nnn \longrightarrow {3} {27f6}
  \__luamml_kernel_define_character:Nnn \Longleftarrow {3} {27f8}
  \__luamml_kernel_define_character:Nnn \longleftarrow {3} {27f5}
  \__luamml_kernel_define_character:Nnn \Longleftrightarrow {3} {27fa}
  \__luamml_kernel_define_character:Nnn \longleftrightarrow {3} {27f7}
  \__luamml_kernel_define_character:Nnn \longmapsto {4} {27fc}
}