view release on metacpan or search on metacpan
lib/LaTeXML/Package/OmniBus.cls.ltxml view on Meta::CPAN
165166167168169170171172173174175176177178179180181182183184185# 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
199200201202203204205206207208209210211212213214215216217218219\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
134135136137138139140141142143144145146147148149150151152153154DefConstructor(
'\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
217218219220221222223224225226227228229230231232233234235236237
{\
@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
119711981199120012011202120312041205120612071208120912101211121212131214121512161217DefMacro(
'\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
122512261227122812291230123112321233123412351236123712381239124012411242124312441245\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
158159160161162163164165166167168169170171172173174175176177178179RawTeX(<<
'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
188189190191192193194195196197198199200201202203204205206207208209RawTeX(<<
'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
616617618619620621622623624625626627628629630631632633634635636
\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
3456789101112131415161718192021222324\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
142143144145146147148149150151152153154155156157158159160161162163164165166167
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
488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520<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
570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600
<formula notation=
"mathml"
xml:id=
"S2.E10"
>
<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
3456789101112131415161718192021222324\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
141142143144145146147148149150151152153154155156157158159160161162163164165166
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
942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979
<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
135136137138139140141142143144145146147148149150151152153154155\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
163164165166167168169170171172173174175176177178179180181182183\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
113711381139114011411142114311441145114611471148114911501151115211531154115511561157
</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
1305130613071308130913101311131213131314131513161317131813191320132113221323132413251326
</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>