LaTeXML
view release on metacpan or search on metacpan
lib/LaTeXML/Package/OmniBus.cls.ltxml view on Meta::CPAN
# from acm_proc_article, is it general enough?
DefMacro('\category{}{}{}[]', '\@add@frontmatter{ltx:classification}[scheme=category]{#1 #2 #3}\keywords{#4}');
our $omni_theorem_main = <<'EOL';
\newtheorem{theorem}{Theorem}[section]
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{proof}[theorem]{Proof}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{example}[theorem]{Example}
\newtheorem{exercise}[theorem]{Exercise}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{problem}[theorem]{Problem}
\newtheorem{question}[theorem]{Question}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{solution}[theorem]{Solution}
\newtheorem{step}[theorem]{Step}
\newtheorem{note}[theorem]{Note}
EOL
lib/LaTeXML/Package/OmniBus.cls.ltxml view on Meta::CPAN
\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition}
\newtheorem{exmp}[thm]{Example}
\newtheorem{rem}[thm]{Remark}
\newtheorem{prob}[thm]{Problem}
\newtheorem{prin}[thm]{Principle}
\newtheorem{alg}{Algorithm}
EOL
for my $env (qw(
conjecture theorem corollary definition example exercise lemma
note problem proof proposition question remark solution
thm cor lem claim axiom conj fact hypo assum prop crit defn exmp rem prob prin alg)) {
my $beginenv = "\\begin{$env}";
DefMacroI(T_CS($beginenv), undef, sub {
RequirePackage('amsthm');
return Tokenize($omni_theorem_main . $omni_theorem_aux . $beginenv)->unlist; }); }
for my $new_theorem_alias (qw(\newproclaim \newdef \newremark)) {
DefMacroI(T_CS($new_theorem_alias), undef, sub {
RequirePackage('amsthm');
return T_CS('\newtheorem'); }); }
lib/LaTeXML/Package/aa_support.sty.ltxml view on Meta::CPAN
DefConstructor('\endacknowledgements', "</ltx:acknowledgements>");
DefConstructor('\acknowledgement', "<ltx:acknowledgements name='#name'>",
properties => sub { (name => Digest(T_CS('\acknowledgmentsname'))); });
DefConstructor('\endacknowledgement', "</ltx:acknowledgements>");
Tag("ltx:acknowledgements", autoClose => 1);
DefMacro('\acknowledgmentsname', 'Acknowledgements');
DefMacro('\ackname', 'Acknowledgements');
RawTeX(<<'EoTeX');
\newtheorem*{proof}{Proof}{\it}{\rm}
\newtheorem{corollary}[theorem]{Corollary}{\bf}{\it}
\newtheorem{definition}[theorem]{Definition}{\bf}{\rm}
\newtheorem{example}[theorem]{Example}{\it}{\rm}
\newtheorem{exercise}[theorem]{Exercise}{\it}{\rm}
\newtheorem{lemma}[theorem]{Lemma}{\bf}{\it}
\newtheorem{note}[theorem]{Note}{\it}{\rm}
\newtheorem{problem}[theorem]{Problem}{\it}{\rm}
\newtheorem{proposition}[theorem]{Proposition}{\bf}{\it}
\newtheorem{question}[theorem]{Question}{\it}{\rm}
\newtheorem{remark}[theorem]{Remark}{\it}{\rm}
\newtheorem{solution}[theorem]{Solution}{\it}{\rm}
lib/LaTeXML/Package/acmart.cls.ltxml view on Meta::CPAN
{\@acmdefinitionindent}% indent amount
{\@acmdefinitionheadfont}% head font
{.}% punctuation after head
{.5em}% spacing after head
{\thmname{#1}\thmnumber{ #2}\thmnote{ {\@acmdefinitionnotefont(#3)}}}% head spec
\theoremstyle{acmplain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\theoremstyle{acmdefinition}
\newtheorem{example}[theorem]{Example}
\newtheorem{definition}[theorem]{Definition}
\theoremstyle{acmplain}
EoTeX
Let('\proof', '\@proof');
Let('\endproof', '\end@proof');
#======================================================================
1;
lib/LaTeXML/Package/beamer.cls.ltxml view on Meta::CPAN
DefMacro('\pushQED {}', sub { beamerTODO('pushQED'); });
DefMacro('\popQED', sub { beamerTODO('popQED'); });
DefMacro('\qedhere', sub { beamerTODO('qedhere'); });
RawTeX(<<'EoTeX');
% compatibility
\newcommand{\ExampleInline}[1]{\translate{Example}: \ignorespaces#1}
\newcommand{\BeispielInline}[1]{Beispiel: \ignorespaces#1}
\newtheorem{theorem}{\translate{Theorem}}
\newtheorem{corollary}[theorem]{\translate{Corollary}}
\newtheorem{fact}[theorem]{\translate{Fact}}
\newtheorem{lemma}[theorem]{\translate{Lemma}}
\newtheorem{problem}[theorem]{\translate{Problem}}
\newtheorem{solution}[theorem]{\translate{Solution}}
% \theoremstyle{definition}
\newtheorem{definition}[theorem]{\translate{Definition}}
\newtheorem{definitions}[theorem]{\translate{Definitions}}
% \theoremstyle{example}
lib/LaTeXML/Package/beamer.cls.ltxml view on Meta::CPAN
\theoremstyle{plain}
\newtheorem{Loesung}[theorem]{L\"osung}
\newtheorem{Satz}[theorem]{Satz}
\newtheorem{Folgerung}[theorem]{Folgerung}
\newtheorem{Fakt}[theorem]{Fakt}
\newenvironment{Beweis}{\begin{proof}[Beweis.]}{\end{proof}}
\newenvironment{Lemma}{\begin{lemma}}{\end{lemma}}
\newenvironment{Proof}{\begin{proof}}{\end{proof}}
\newenvironment{Theorem}{\begin{theorem}}{\end{theorem}}
\newenvironment{Problem}{\begin{problem}}{\end{problem}}
\newenvironment{Corollary}{\begin{corollary}}{\end{corollary}}
\newenvironment{Example}{\begin{example}}{\end{example}}
\newenvironment{Examples}{\begin{examples}}{\end{examples}}
\newenvironment{Definition}{\begin{definition}}{\end{definition}}
EoTeX
#**********************************************************************
# beamerbasethemes.sty
#**********************************************************************
# TODO: Implement me!
lib/LaTeXML/Package/llncs.cls.ltxml view on Meta::CPAN
RawTeX(<<'EOTeX');
\def\theoremname{Theorem}
\spnewtheorem{theorem}{Theorem}[section]{\bfseries}{\itshape}
\def\claimname{Claim}
\spnewtheorem*{claim}{Claim}{\itshape}{\rmfamily}
\def\proofname{Proof}
\spnewtheorem*{proof}{Proof}{\itshape}{\rmfamily}
\spnewtheorem{case}{Case}{\itshape}{\rmfamily}
\def\conjecturename{Conjecture}
\spnewtheorem{conjecture}{Conjecture}{\itshape}{\rmfamily}
\def\corollaryname{Corollary}
\spnewtheorem{corollary}{Corollary}{\bfseries}{\itshape}
\def\definitionname{Definition}
\spnewtheorem{definition}{Definition}{\bfseries}{\rmfamily}
\def\examplename{Example}
\spnewtheorem{example}{Example}{\itshape}{\rmfamily}
\def\exercisename{Exercise}
\spnewtheorem{exercise}{Exercise}{\bfseries}{\rmfamily}
\def\lemmaname{Lemma}
\spnewtheorem{lemma}{Lemma}{\bfseries}{\itshape}
\def\notename{Note}
\spnewtheorem{note}{Note}{\itshape}{\rmfamily}
lib/LaTeXML/Package/sv_support.sty.ltxml view on Meta::CPAN
RawTeX(<<'EOTeX');
\def\theoremname{Theorem}
\spnewtheorem{theorem}{Theorem}[section]{\bfseries}{\itshape}
\def\claimname{Claim}
\spnewtheorem*{claim}{Claim}{\itshape}{\rmfamily}
\def\proofname{Proof}
\spnewtheorem*{proof}{Proof}{\itshape}{\rmfamily}
\spnewtheorem{case}{Case}{\itshape}{\rmfamily}
\def\conjecturename{Conjecture}
\spnewtheorem{conjecture}{Conjecture}{\itshape}{\rmfamily}
\def\corollaryname{Corollary}
\spnewtheorem{corollary}{Corollary}{\bfseries}{\itshape}
\def\definitionname{Definition}
\spnewtheorem{definition}{Definition}{\bfseries}{\rmfamily}
\def\examplename{Example}
\spnewtheorem{example}{Example}{\itshape}{\rmfamily}
\def\exercisename{Exercise}
\spnewtheorem{exercise}{Exercise}{\bfseries}{\rmfamily}
\def\lemmaname{Lemma}
\spnewtheorem{lemma}{Lemma}{\bfseries}{\itshape}
\def\notename{Note}
\spnewtheorem{note}{Note}{\itshape}{\rmfamily}
lib/LaTeXML/Package/tcilatex.tex.ltxml view on Meta::CPAN
\fi
\fi}
\newif\ifGreekBold \GreekBoldfalse
\let\SAVEPBF=\pbf
\def\pbf{\GreekBoldtrue\SAVEPBF}%
%
\@ifundefined{theorem}{\newtheorem{theorem}{Theorem}}{}
\@ifundefined{lemma}{\newtheorem{lemma}[theorem]{Lemma}}{}
\@ifundefined{corollary}{\newtheorem{corollary}[theorem]{Corollary}}{}
\@ifundefined{conjecture}{\newtheorem{conjecture}[theorem]{Conjecture}}{}
\@ifundefined{proposition}{\newtheorem{proposition}[theorem]{Proposition}}{}
\@ifundefined{axiom}{\newtheorem{axiom}{Axiom}}{}
\@ifundefined{remark}{\newtheorem{remark}{Remark}}{}
\@ifundefined{example}{\newtheorem{example}{Example}}{}
\@ifundefined{exercise}{\newtheorem{exercise}{Exercise}}{}
\@ifundefined{definition}{\newtheorem{definition}{Definition}}{}
\@ifundefined{mathletters}{%
t/daemon/amsarticle.tex view on Meta::CPAN
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{xca}[theorem]{Exercise}
\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{corollary}{Corollary}
\newtheorem*{corollary*}{Corollary}
\numberwithin{equation}{section}
\begin{document}
\title{Sample amsart}
\author{Joe Blow}
\address{Somewhere, USA}
\curraddr{same as above}
\email{joe@blow}
\thanks{My Mommy.}
t/daemon/amsarticle.tex view on Meta::CPAN
a_{12} &= b_{12} \\
a_{21} &= b_{21} &
a_{22} &= b_{22}+c_{22}
\end{align}
Some \text{text}
\begin{equation}
a = \text{something}
\end{equation}
\begin{corollary}
Whatever!
\end{corollary}
\begin{corollary*}
And whatever.
\end{corollary*}
\begin{flalign*}
a_{11} &= b_{11} &
a_{12} &= b_{12} \\
a_{21} &= b_{21} &
a_{22} &= b_{22}+c_{22}
\end{flalign*}
\subsection{A subsection}
t/daemon/formats/jats.xml view on Meta::CPAN
<p>Some text</p>
<disp-formula id="S2.E10">
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="S2.E10.m1" alttext="a=\text{something}" display="block">
<mml:mrow>
<mml:mi>a</mml:mi>
<mml:mo>=</mml:mo>
<mml:mtext>something</mml:mtext>
</mml:mrow>
</mml:math>
</disp-formula>
<statement id="Thmcorollary1">
<title>
<italic>Corollary 1</italic>
<italic>.</italic>
</title>
<p id="Thmcorollary1.p1">Whatever!</p>
</statement>
<statement id="Thmcorollaryx1">
<title>
<italic>Corollary</italic>
<italic>.</italic>
</title>
<p id="Thmcorollaryx1.p1">And whatever.</p>
</statement>
<disp-formula-group id="S3.EGx4">
<disp-formula-group id="S2.Ex2">
<disp-formula>
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="S2.Ex2.m5" alttext="\displaystyle a_{11}=b_{11}" display="inline">
<mml:mrow>
<mml:msub>
<mml:mi>a</mml:mi>
<mml:mn>11</mml:mn>
</mml:msub>
t/daemon/formats/tei.xml view on Meta::CPAN
<formula notation="mathml" xml:id="S2.E10">
<m:math xmlns:m="http://www.w3.org/1998/Math/MathML" alttext="a=\text{something}" display="block">
<m:mrow>
<m:mi>a</m:mi>
<m:mo>=</m:mo>
<m:mtext>something</m:mtext>
</m:mrow>
</m:math>
</formula>
</p>
<note xml:id="Thmcorollary1">
<title>
<hi rend="italic">.</hi>
</title>
<p xml:id="Thmcorollary1.p1">Whatever!</p>
</note>
<note xml:id="Thmcorollaryx1">
<title>
<hi rend="italic">.</hi>
</title>
<p xml:id="Thmcorollaryx1.p1">And whatever.</p>
</note>
<p xml:id="S3.EGx4">
<formula notation="mathml" xml:id="S2.Ex2">
<m:math xmlns:m="http://www.w3.org/1998/Math/MathML" alttext="\displaystyle a_{11}=b_{11}" display="inline">
<m:mrow>
<m:msub>
<m:mi>a</m:mi>
<m:mn>11</m:mn>
</m:msub>
<m:mo>=</m:mo>
t/structure/amsarticle.tex view on Meta::CPAN
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{xca}[theorem]{Exercise}
\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{corollary}{Corollary}
\newtheorem*{corollary*}{Corollary}
\numberwithin{equation}{section}
\begin{document}
\title{Sample amsart}
\author{Joe Blow}
\address{Somewhere, USA}
\curraddr{same as above}
\email{joe@blow}
\thanks{My Mommy.}
t/structure/amsarticle.tex view on Meta::CPAN
a_{12} &= b_{12} \\
a_{21} &= b_{21} &
a_{22} &= b_{22}+c_{22}
\end{align}
Some \text{text}
\begin{equation}
a = \text{something}
\end{equation}
\begin{corollary}
Whatever!
\end{corollary}
\begin{corollary*}
And whatever.
\end{corollary*}
\begin{flalign*}
a_{11} &= b_{11} &
a_{12} &= b_{12} \\
a_{21} &= b_{21} &
a_{22} &= b_{22}+c_{22}
\end{flalign*}
\subsection{A subsection}
t/structure/amsarticle.xml view on Meta::CPAN
<XMath>
<XMApp>
<XMTok meaning="equals" role="RELOP">=</XMTok>
<XMTok font="italic" role="UNKNOWN">a</XMTok>
<XMText>something</XMText>
</XMApp>
</XMath>
</Math>
</equation>
</para>
<theorem class="ltx_theorem_corollary" inlist="thm theorem:corollary" xml:id="Thmcorollary1">
<tags>
<tag>Corollary 1</tag>
<tag role="refnum">1</tag>
<tag role="typerefnum">Corollary 1</tag>
</tags>
<title class="ltx_runin"><tag><text font="italic">Corollary 1</text></tag><text font="italic">.</text></title>
<para xml:id="Thmcorollary1.p1">
<p>Whatever!</p>
</para>
</theorem>
<theorem class="ltx_theorem_corollary" inlist="thm theorem:corollary*" xml:id="Thmcorollaryx1">
<tags>
<tag>Corollary</tag>
<tag role="typerefnum">Corollary</tag>
</tags>
<title class="ltx_runin"><tag><text font="italic">Corollary</text></tag><text font="italic">.</text></title>
<para xml:id="Thmcorollaryx1.p1">
<p>And whatever.</p>
</para>
</theorem>
<para xml:id="S2.p11">
<equationgroup class="ltx_eqn_align" xml:id="S3.EGx4">
<equation xml:id="S2.Ex2">
<MathFork>
<Math tex="\displaystyle a_{11}=b_{11}" text="a _ 11 = b _ 11" xml:id="S2.Ex2.m5">
<XMath>
<XMApp>
t/theorem/ntheorem.tex view on Meta::CPAN
\int_{\gamma} f(z)\, dz := \int_a^b f(\gamma (t)) \gamma'(t) \, dt
\end{equation}
\begin{itemize}
\item you've seen, how it works for text and
\item math environments,
\item and it works for lists.
\end{itemize}
\end{Definition}
\begin{Corollary}[Q.E.D.]
And here is a trivial corollary, which is ended by
\qedsymbol{q.e.d}\qed
\end{Corollary}
\begin{Example}
\[ f^{(n)}(z) =
\frac{n!}{2\pi i} \int \limits _{\partial D}
\frac{f(\zeta)}{(\zeta-z)^{n+1}} d\zeta \]
If there is some text after an environment, the endmark is put
after the text.
\end{Example}
t/theorem/ntheorem.tex view on Meta::CPAN
\end{Example}
There must be no empty line in the input before the end
(since then, the end mark is ignored) \\
\begin{Theorem}\label{ex-empty-line}
some text ... but no end mark
\end{Theorem}
Now, there is a corollary which should appear with a different
name in the list of corollaries:
\begin{Corollary*}[title in text]\label{otherlabel}\ignorespaces
let's do something weird:
\begin{center}
It also works in the \\
center \\
environment.
\end{center}
\end{Corollary*}
\addtheoremline{Corollary}{title in list}
t/theorem/ntheorem.xml view on Meta::CPAN
</para>
</theorem>
<theorem class="ltx_theorem_Corollary" inlist="thm theorem:Corollary" xml:id="ThmTheorem2">
<tags>
<tag>2 Corollary</tag>
<tag role="refnum">2</tag>
<tag role="typerefnum">Corollary 2</tag>
</tags>
<title><tag><text font="bold">2 Corollary</text></tag><text font="bold"> (Q.E.D.):</text></title>
<para xml:id="ThmTheorem2.p1">
<p><text font="slanted">And here is a trivial corollary, which is ended by
<text class="ltx_align_floatright">q.e.d</text><text class="ltx_align_floatright"><Math mode="inline" tex="\spadesuit" text="spadesuit" xml:id="ThmTheorem2.p1.m1">
<XMath>
<XMTok font="upright" name="spadesuit" role="UNKNOWN">â™ </XMTok>
</XMath>
</Math></text></text></p>
</para>
</theorem>
<theorem class="ltx_theorem_Example" inlist="thm theorem:Example" xml:id="ThmExample3">
<tags>
<tag>3 Example</tag>
t/theorem/ntheorem.xml view on Meta::CPAN
</para>
<para xml:id="ThmTheorem3.p2">
<p><text class="ltx_align_floatright" font="slanted"><Math mode="inline" tex="\diamondsuit" text="diamondsuit" xml:id="ThmTheorem3.p2.m1">
<XMath>
<XMTok font="upright" name="diamondsuit" role="UNKNOWN">♢</XMTok>
</XMath>
</Math></text></p>
</para>
</theorem>
<para xml:id="S1.p5">
<p>Now, there is a corollary which should appear with a different
name in the list of corollaries:</p>
</para>
<theorem class="ltx_theorem_Corollary" inlist="thm theorem:Corollary*" labels="LABEL:otherlabel" xml:id="ThmTheorem4">
<tags>
<tag>4 Corollary</tag>
<tag role="refnum">4</tag>
<tag role="typerefnum">Corollary 4</tag>
</tags>
<title><tag><text font="bold">4 Corollary</text></tag><text font="bold"> (title in text):</text></title>
<para xml:id="ThmTheorem4.p1">
<p><text font="slanted">let’s do something weird:</text></p>
( run in 0.536 second using v1.01-cache-2.11-cpan-496ff517765 )