MathML test case: fix a typo.

It was bugging me when looking at XHTML output: I was wondering if LyX was doing anything weird about ligatures! Hopefully not.
This commit is contained in:
Thibaut Cuvelier 2023-01-08 00:50:18 +01:00
parent edcaad2419
commit 4412fdf09a

View File

@ -1,15 +1,15 @@
#LyX 2.4 created this file. For more info see https://www.lyx.org/ #LyX 2.4 created this file. For more info see https://www.lyx.org/
\lyxformat 572 \lyxformat 614
\begin_document \begin_document
\begin_header \begin_header
\save_transient_properties true \save_transient_properties true
\origin unavailable \origin unavailable
\textclass article \textclass article
\use_default_options false \use_default_options false
\maintain_unincluded_children false \maintain_unincluded_children no
\language english \language english
\language_package default \language_package default
\inputencoding auto \inputencoding auto-legacy
\fontencoding auto \fontencoding auto
\font_roman "default" "default" \font_roman "default" "default"
\font_sans "default" "default" \font_sans "default" "default"
@ -18,7 +18,9 @@
\font_default_family default \font_default_family default
\use_non_tex_fonts false \use_non_tex_fonts false
\font_sc false \font_sc false
\font_osf false \font_roman_osf false
\font_sans_osf false
\font_typewriter_osf false
\font_sf_scale 100 100 \font_sf_scale 100 100
\font_tt_scale 100 100 \font_tt_scale 100 100
\use_microtype false \use_microtype false
@ -52,6 +54,7 @@
\justification true \justification true
\use_refstyle 0 \use_refstyle 0
\use_minted 0 \use_minted 0
\use_lineno 0
\index Index \index Index
\shortcut idx \shortcut idx
\color #008000 \color #008000
@ -70,9 +73,13 @@
\tablestyle default \tablestyle default
\tracking_changes false \tracking_changes false
\output_changes false \output_changes false
\change_bars false
\postpone_fragile_content false
\html_math_output 0 \html_math_output 0
\html_css_as_file 0 \html_css_as_file 0
\html_be_strict false \html_be_strict false
\docbook_table_output 0
\docbook_mathml_prefix 1
\end_header \end_header
\begin_body \begin_body
@ -83,6 +90,7 @@ Macro Testcases
\begin_layout Enumerate \begin_layout Enumerate
Simple macro definitions with position awareness: Simple macro definitions with position awareness:
\begin_inset FormulaMacro \begin_inset FormulaMacro
\newcommand{\bla}{42} \newcommand{\bla}{42}
\end_inset \end_inset
@ -95,12 +103,13 @@ Simple macro definitions with position awareness:
\end_inset \end_inset
now redined as now redefined as
\begin_inset FormulaMacro \begin_inset FormulaMacro
\renewcommand{\bla}{21} \renewcommand{\bla}{21}
\end_inset \end_inset
, such that ,
such that
\begin_inset Formula \begin_inset Formula
\[ \[
\bla\mbox{ should look like }21. \bla\mbox{ should look like }21.
@ -113,6 +122,7 @@ now redined as
\begin_layout Enumerate \begin_layout Enumerate
Redefinitions of macros appearing in the definition of another macro: Redefinitions of macros appearing in the definition of another macro:
\begin_inset FormulaMacro \begin_inset FormulaMacro
\newcommand{\fooa}{x} \newcommand{\fooa}{x}
\end_inset \end_inset
@ -177,6 +187,7 @@ gives the following:
\begin_layout Enumerate \begin_layout Enumerate
Arity change: Arity change:
\begin_inset FormulaMacro \begin_inset FormulaMacro
\newcommand{\foo}{-} \newcommand{\foo}{-}
\end_inset \end_inset
@ -199,6 +210,7 @@ Arity change:
\begin_layout Enumerate \begin_layout Enumerate
Arity change with incomplete arguments at line end: Arity change with incomplete arguments at line end:
\begin_inset FormulaMacro \begin_inset FormulaMacro
\renewcommand{\foo}{-} \renewcommand{\foo}{-}
\end_inset \end_inset
@ -221,6 +233,7 @@ Arity change with incomplete arguments at line end:
\begin_layout Enumerate \begin_layout Enumerate
Recursion: Recursion:
\begin_inset FormulaMacro \begin_inset FormulaMacro
\renewcommand{\foo}[1]{\foo{#1}{}} \renewcommand{\foo}[1]{\foo{#1}{}}
\end_inset \end_inset
@ -232,6 +245,7 @@ Recursion:
\begin_layout Enumerate \begin_layout Enumerate
Recursive usage: Recursive usage:
\begin_inset FormulaMacro \begin_inset FormulaMacro
\renewcommand{\foo}[3]{\frac{{\displaystyle #1}\,{\displaystyle #2}}{{\displaystyle #3}}} \renewcommand{\foo}[3]{\frac{{\displaystyle #1}\,{\displaystyle #2}}{{\displaystyle #3}}}
\end_inset \end_inset
@ -254,8 +268,8 @@ Folding/Unfolding:
\end_inset \end_inset
. .
Start using Ctrl-+ and Ctrl when you are inside of the macro to fold and Start using Ctrl-+ and Ctrl when you are inside of the macro to fold and unfold,
unfold, e.g. e.g.
here: here:
\begin_inset Formula \begin_inset Formula
\[ \[
@ -269,6 +283,7 @@ Folding/Unfolding:
\begin_layout Enumerate \begin_layout Enumerate
Scripts: Scripts:
\begin_inset FormulaMacro \begin_inset FormulaMacro
\renewcommand{\foo}[3][A][B]{(#1,#2)#3} \renewcommand{\foo}[3][A][B]{(#1,#2)#3}
\end_inset \end_inset