view release on metacpan or search on metacpan
lib/LaTeXML/Common/Config.pm view on Meta::CPAN
808809810811812813814815816817818819820821822823824825826827828829830831--profile=name specify profile as
defined
in
LaTeXML::Common::Config
Supported: standard|math|fragment|...
(
default
: standard)
--mode=name Alias
for
profile
--cache_key=name Provides a name
for
the current option set,
to enable daemonized conversions without
needing re-initializing
--whatsin=chunk Defines the provided input chunk,
choose from document (
default
), fragment
and formula
--whatsout=chunk Defines the expected output chunk,
choose from document (
default
), fragment
and formula
--post requests a followup post-processing
--nopost forbids followup post-processing
--validate, --novalidate Enables (the
default
) or disables
validation of the source xml.
--omitdoctype omits the Doctype declaration,
--noomitdoctype disables the omission (the
default
)
--numbersections enables (the
default
) the inclusion of
section numbers in titles, crossrefs.
--nonumbersections disables the above
--timestamp provides a timestamp (typically a
time
and date)
lib/LaTeXML/Core/Whatsit.pm view on Meta::CPAN
299300301302303304305306307308309310311312313314315316317318Returns the list of arguments
for
this C<
$whatsit
>.
=item C<< $whatsit->setArgs(@args); >>
Sets the list of arguments for this C<$whatsit> to C<@args> (each arg should be
a C<LaTeXML::Core::List>).
=item C<< $list = $whatsit->getBody; >>
Return the body for this C<$whatsit>. This is only defined for environments or
top-level math formula. The body is stored in the properties under 'body'.
=item C<< $whatsit->setBody(@body); >>
Sets the body of the C<$whatsit> to the boxes in C<@body>. The last C<$box> in C<@body>
is assumed to represent the `trailer', that is the result of the invocation
that closed the environment or math. It is stored separately in the properties
under 'trailer'.
=item C<< $list = $whatsit->getTrailer; >>
lib/LaTeXML/MathGrammar view on Meta::CPAN
464748495051525354555657585960616263646566#
# For example ||a|-|b|| won't work (in spite of various attempts to control it)
# After seeing the initial || and attempting to parse an Expression, it gets
# a * abs( - abs(b))
# without anything to match the initial ||; and it will NOT backtrack to try
# a shorter Expression!
#
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# Top Level expressions; Just about anything?
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# Note in particular, that many inline formula contain `half' a formula,
# with the lead-in text effectively being the LHS. eg. function $=foo$;
# similarly you can end up with a missing RHS, $x=$ even.
Start : Anything /^\Z/ {
$item
[1]; }
#======================================================================
Anything : <rulevar:
local
$MaxAbsDepth
=
$LaTeXML::MathParser::MAX_ABS_DEPTH
>
Anything : AnythingAny /^\Z/ {
$item
[1]; }
#======================================================================
lib/LaTeXML/MathGrammar view on Meta::CPAN
110111112113114115116117118119120121122123124125126127128129130131132133134135136137138# This maze attempts to recognize the various meaningful(?) alternations of
# Expression(s) separated by punctuation, relational operators or metarelational
# operators [Think of $a=b=c$ vs $a=b, c=d$ vs. $a=b,c,d$ .. ]
# and group them into Formulae (collections of relations), including relations
# which have punctuated collections of Expression(s) on either the LHS or RHS,
# as well as `multirelation' like a = b = c, or simply punctuated collections of
# Expression(s)
Formulae : Formula moreFormulae[
$item
[1]]
# moreFormulae[$formula]; Got a Formula, what can follow?
moreFormulae :
/^\Z/ {
$arg
[0];}
# short circuit!
| (endPunct Formula { [
$item
[1],
$item
[2]]; })(s)
{ NewFormulae(
$arg
[0],
map
(
@$_
,@{
$item
[1]})); }
| metarelopFormula(s) { NewFormula(
$arg
[0],
map
(
@$_
,@{
$item
[1]})); }
| {
$arg
[0]; }
# Punctuation that ends a formula
endPunct : PUNCT | PERIOD
Formula : Expression extendFormula[
$item
[1]]
# extendFormula[$expression] ; expression might be followed by punct Expression...
# or relop Expression... or arrow Expression or nothing.
extendFormula :
/^\Z/ {
$arg
[0];}
# short circuit!
| punctExpr(s) maybeRHS[
$arg
[0],
map
(
@$_
,@{
$item
[1]})]
lib/LaTeXML/MathGrammar view on Meta::CPAN
150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195# --- either line could be followed by (>0)
# For the latter, does a,b,c (<0) mean c<0 or all of them are <0 ????
# moreRHS[$expr,$relop,$expr]; Could have more (relop Expression)
# or (punct Expression)*
moreRHS :
/^\Z/ { NewFormula(
$arg
[0],
$arg
[1],
$arg
[2]); }
# short circuit!
| PUNCT Expression maybeColRHS[
@arg
,
$item
[1],
$item
[2]]
| relopExpr(s?) { NewFormula(
$arg
[0],
$arg
[1],
$arg
[2],
map
(
@$_
,@{
$item
[1]})); }
# --- 1st line could be preceded by (>0) IF it ends up end of formula
# --- 2nd line could be followed by (>0)
# maybeColRHS[$expr,$relop,$expr,(punct, $expr)*];
# Could be done, get punct (collection) or rel Expression (another formula)
maybeColRHS :
/^\Z/ { NewFormula(
$arg
[0],
$arg
[1],NewList(
@arg
[2..
$#arg
])); }
| relop Expression moreRHS[
$arg
[
$#arg
],
$item
[1],
$item
[2]]
{ NewFormulae(NewFormula(
$arg
[0],
$arg
[1],
NewList(
@arg
[2..
$#arg
-2])),
$arg
[
$#arg
-1],
$item
[3]); }
| PUNCT Expression maybeColRHS[
@arg
,
$item
[1],
$item
[2]]
| { NewFormula(
$arg
[0],
$arg
[1],NewList(
@arg
[2..
$#arg
])); }
# --- 1st line handles it through more RHS ???
# --- 2nd line could be preceded by (>0) if it ends formula
# --- 3rd line could be followed by (>0)
punctExpr : PUNCT Expression { [
$item
[1],
$item
[2]]; }
relopExpr : relop Expression { [
$item
[1],
$item
[2]]; }
| relop /^\Z/ { [
$item
[1], Absent()]; }
metarelopFormula :
METARELOP Formula { [
$item
[1],
$item
[2]]; }
| METARELOP /^\Z/ { [
$item
[1], Absent()]; }
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# `Modifier' formula, things like $<0$, that might follow another formula or text.
# Absent() is a placeholder for the missing thing... (?)
# [and also when the LHS is moved away, due to alignment rearrangement]
modifierFormulae : modifierFormula moreFormulae[
$item
[1]]
modifierFormula : relop Expression moreRHS[Absent(),
$item
[1],
$item
[2]]
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# Expressions; sums of terms
# Abstractly, things combined by operators binding tighter than relations
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
lib/LaTeXML/MathGrammar view on Meta::CPAN
386387388389390391392393394395396397398399400401402403404405406
$arg
[3],Annotate(
$item
[1],
role
=>
'CLOSE'
))]
| MIDBAR ketExpression RANGLE { SawNotation(
'QM'
); }
addScripts[InterpretDelimited(New(
'quantum-operator-product'
,
undef
),
# Is this a good representation?
Annotate(
$arg
[0],
role
=>
'OPEN'
),
$arg
[1],
Annotate(
$arg
[2],
role
=>
'CLOSE'
),
$arg
[3],
Annotate(
$item
[1],
role
=>
'OPEN'
),
$item
[2],
Annotate(
$item
[3],
role
=>
'CLOSE'
))]
# bra's and ket's (ie <foo| & |foo>) can contain a rather wide variety of things
# from simple symbols to full (but typically short) formula, and so we
# want to use the Formulae production. However, for that to work,
# we need to keep |, < and > (which delimit the bra & ket) from being
# interpreted as usual, otherwise the parse will walk off the end, or
# fail at a level that precludes backtracking.
ketExpression : <rulevar:
local
$forbidVertBar
= 1>
ketExpression : <rulevar:
local
$forbidLRAngle
= 1>
ketExpression : Formulae
| METARELOP | MODIFIEROP
#======================================================================
lib/LaTeXML/MathParser.pm view on Meta::CPAN
575859606162636465666768697071727374757677
"Compilation of Math Parser grammar failed"
)
unless
$internalparser
;
my
$self
=
bless
{
internalparser
=>
$internalparser
,
lexematize
=>
$options
{lexematize} },
$class
;
return
$self
; }
sub
parseMath {
my
(
$self
,
$document
,
%options
) =
@_
;
local
$LaTeXML::MathParser::DOCUMENT
=
$document
;
$self
->clear;
# Not reentrant!
$self
->cleanupScripts(
$document
);
if
(
my
@math
=
$document
->findnodes(
'descendant-or-self::ltx:XMath[not(ancestor::ltx:XMath)]'
)) {
my
$proc
=
"Math Parsing "
.
scalar
(
@math
) .
" formulae ..."
;
ProgressSpinup(
$proc
);
#### SEGFAULT TEST
#### $document->doctest("before parse",1);
foreach
my
$math
(
@math
) {
$self
->parse(
$math
,
$document
); }
ProgressSpindown(
$proc
);
NoteLog(
"Math parsing succeeded:"
.
join
(
''
,
map
{
"\n $_: "
. colorizeString(
$$self
{passed}{
$_
} .
"/"
. (
$$self
{passed}{
$_
} +
$$self
{failed}{
$_
}), (
$$self
{failed}{
$_
} == 0 ?
'success'
:
'warning'
)) }
lib/LaTeXML/MathParser.pm view on Meta::CPAN
228229230231232233234235236237238239240241242243244245246247248
$n
=
$n
->parentNode; }
if
(
$n
&& (
ref
$n
!~ /^XML::LibXML::Document/)) {
my
(
$r
,
$l
) = (
$n
->getAttribute(
'refnum'
),
$n
->getAttribute(
'labels'
));
return
(
$r
&&
$l
?
"$r ($l)"
:
$r
||
$l
); }
else
{
return
'Unknown'
; } }
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# Parser
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# Top-level per-formula parse.
# We do a depth-first traversal of the content of the XMath element,
# since various sub-elements (XMArg & XMWrap) act as containers of
# nominally complete subexpressions.
# We do these first for two reasons.
# Firstly, since after parsing, the parent will be rebuilt from the result,
# we lose the node "identity"; ie. we can't find the child to replace it!
# Secondly, in principle (although this isn't used yet), parsing the
# child could reveal something interesting about it; say, it's effective role.
# Then, this information could be used when parsing the parent.
# In fact, this could work the other way too; parsing the parent could tell
lib/LaTeXML/MathParser.pm view on Meta::CPAN
664665666667668669670671672673674675676677678679680681682683684
if
(
my
$id
=
$p
->getAttribute(
'xml:id'
)) {
$$LaTeXML::MathParser::PUNCTUATION
{
$id
} =
$p
; }
unshift
(
@punct
,
$p
); }
}
if
(
$LaTeXML::DEBUG
{recdescent}) {
$::RD_TRACE = 1;
# Turn on MathGrammar tracing
# my $box = $document->getNodeBox($LaTeXML::MathParser::XNODE);
my
$box
=
$document
->getNodeBox(
$mathnode
);
Debug((
'='
x 60) .
"\nParsing formula \""
. ToString(
$box
) .
"\""
.
"\n from "
. ToString(
$box
->getLocator)
.
"\n == \""
.
join
(
' '
,
map
{ node_string(
$_
,
$document
) }
@nodes
) .
"\""
.
"\n == "
. ToString(
$mathnode
)); }
if
(
scalar
(
@nodes
) < 2) {
# Too few nodes? What's to parse?
$result
=
$nodes
[0] || Absent(); }
else
{
# Now do the actual parse.
(
$result
,
$unparsed
) =
$self
->parse_internal(
$rule
,
@nodes
);
}
lib/LaTeXML/MathParser.pm view on Meta::CPAN
752753754755756757758759760761762763764765766767768769770771772
my
$tag_role
=
uc
($1);
$mark_start
=
"start_$tag_role "
;
$mark_end
=
" end_$tag_role"
;
}
}
my
$lexemes
=
$mark_start
;
if
(
$tag
eq
'ltx:XMDual'
) {
$lexemes
.=
$self
->node_to_lexeme_full(
$LaTeXML::MathParser::DOCUMENT
->getSecondChildElement(
$node
)); }
elsif
(
$tag
eq
'ltx:XMText'
) {
# can be either a single node XMText, we're looking at a leaf text node
# or \text{}-like construct, with multiple math formulas and interleaved text
foreach
my
$child
(
$node
->childNodes) {
if
(
ref
(
$child
) eq
'XML::LibXML::Text'
) {
$lexemes
.=
$child
->textContent() .
' '
; }
else
{
my
$child_lexeme
=
$self
->node_to_lexeme_full(
$child
);
if
(
defined
$child_lexeme
&&
length
(
$child_lexeme
) > 0) {
$lexemes
.=
$child_lexeme
.
' '
; } } } }
elsif
(
$tag
eq
'ltx:text'
) {
# could recurse in from ltx:XMText
return
$self
->node_to_lexeme(
$node
); }
else
{
lib/LaTeXML/MathParser.pm view on Meta::CPAN
853854855856857858859860861862863864865866867868869870871872873
return
$role
; }
# How many tokens before & after the failure point to report in the Warning message.
my
$FAILURE_PRETOKENS
= 3;
# [CONSTANT]
my
$FAILURE_POSTTOKENS
= 1;
# [CONSTANT]
sub
failureReport {
my
(
$self
,
$document
,
$mathnode
,
$rule
,
$unparsed
,
@nodes
) =
@_
;
if
(
$LaTeXML::MathParser::STRICT
|| ((
$LaTeXML::Common::Error::VERBOSITY
|| 0) > 1)) {
my
$loc
=
""
;
# If we haven't already done it for this formula, show the original TeX.
if
(!
$LaTeXML::MathParser::WARNED
) {
$LaTeXML::MathParser::WARNED
= 1;
my
$box
=
$document
->getNodeBox(
$LaTeXML::MathParser::XNODE
);
$loc
=
"In \""
. UnTeX(
$box
) .
"\""
; }
$unparsed
=~ s/^\s*//;
my
@rest
=
split
(/ /,
$unparsed
);
my
$pos
=
scalar
(
@nodes
) -
scalar
(
@rest
);
# Break up the input at the point where the parse failed.
my
$max
= 50;
my
$parsed
=
join
(
' '
, (
$pos
>
$max
? (
'...'
) : ()),
lib/LaTeXML/MathParser.pm view on Meta::CPAN
99099199299399499599699799899910001001100210031004100510061007100810091010
foreach
my
$row
(element_nodes(
$node
)) {
push
(
@rows
,
'['
.
join
(
', '
,
map
{ (
$_
->firstChild ? textrec(
$_
->firstChild) :
''
) } element_nodes(
$row
)) .
']'
); }
return
$name
.
'['
.
join
(
', '
,
@rows
) .
']'
; }
sub
is_genuinely_unparsed {
my
(
$node
,
$document
) =
@_
;
# any unparsed fragment should be considered legitimate with one exception
# author-provided ungrammatical snippets in the presentation branches of XMDual
# are allowed to fail the parse process.
#
# For now a reliable way of if we are in that case is to descend the formula through
# the content branch of XMDual and check if any node has an "unparsed" mark.
# Then only genuine parse failures will be detected.
my
$tag
=
$document
->getNodeQName(
$node
);
if
((
$tag
eq
'ltx:XMWrap'
) || (
$tag
eq
'ltx:XMArg'
) ||
$node
->hasAttribute(
'_unparsed'
)) {
return
1; }
elsif
((
$tag
eq
'ltx:XMTok'
) || (
$tag
eq
'ltx:XMText'
) || (
$tag
eq
'ltx:XMHint'
)) {
return
0; }
elsif
(
$tag
eq
'ltx:XMRef'
) {
# avoid infinite loops on malformed XMRefs that don't point anywhere
if
(!
$node
->getAttribute(
'idref'
)) {
lib/LaTeXML/MathParser.pm view on Meta::CPAN
142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452
return
[
'ltx:XMTok'
, {
role
=>
"RELOP"
,
meaning
=>
$meaning
, (
$font
? (
_font
=>
$font
) : ()) },
$content
]; }
# NOTE: It might be best to separate the multiple Formulae into separate XMath's???
# but only at the top level!
sub
NewFormulae {
my
(
@stuff
) =
@_
;
if
(
scalar
(
@stuff
) == 1) {
return
$stuff
[0]; }
else
{
my
(
$seps
,
@formula
) = extract_separators(
@stuff
);
return
[
'ltx:XMDual'
, {},
Apply(New(
'formulae'
),
LaTeXML::Package::createXMRefs(
$LaTeXML::MathParser::DOCUMENT
,
@formula
)),
[
'ltx:XMWrap'
, {},
@stuff
]]; } }
# A Formula is an alternation of expr (relationalop expr)*
# It presumably would be equivalent to (expr1 relop1 expr2) AND (expr2 relop2 expr3) ...
# But, I haven't figured out the ideal prefix form that can easily be converted to presentation.
sub
NewFormula {
my
(
@args
) =
@_
;
my
$n
=
scalar
(
@args
);
if
(
$n
== 1) {
return
$args
[0]; }
lib/LaTeXML/MathParser.pm view on Meta::CPAN
153515361537153815391540154115421543154415451546154715481549155015511552155315541555
if
(
$tag1
eq
'ltx:XMTok'
) {
return
1; }
# If tokens, they match
else
{
my
@ch1
= p_element_nodes(
$op1
);
my
@ch2
= p_element_nodes(
$op2
);
my
$n
=
scalar
(
@ch1
);
return
unless
$n
==
scalar
(
@ch2
);
foreach
my
$i
(0 ..
$n
- 1) {
return
unless
isSameExpr(
$ch1
[
$i
],
$ch1
[
$i
]); }
return
1; } }
# There are several cases where parsing a formula will rearrange nodes
# such that some nodes will no-longer be used. For example, when
# converting a nested set of infix + into a single n-ary sum.
# In effect, all those excess +'s are subsumed by the single first one.
# It may be, however, that those lost nodes are referenced (XMRef) from the
# other branch of an XMDual, and those references should be updated to refer
# to the single node replacing the lost ones.
# This function records that replacement, and the top-level parser fixes up the tree.
# NOTE: There may be cases (in the Grammar, eg) where punctuation & ApplyOp's
# get lost completely? Watch out for this!
# If $isdup, assume the two trees are equivalent structure,
lib/LaTeXML/MathParser.pm view on Meta::CPAN
177917801781178217831784178517861787178817891790179117921793179417951796179717981799=item C<< $node = Fence(@stuff); >>
Given a delimited sequence of nodes, starting and ending with open/close delimiters,
and with intermediate nodes separated by punctuation or such, attempt to guess what
type of thing is represented such as a set, absolute value, interval, and so on.
This would be a good candidate for customization!
=item C<< $node = NewFormulae(@stuff); >>
Given a set of formulas, construct a C<Formulae> application, if there are more than one,
else just return the first.
=item C<< $node = NewList(@stuff); >>
Given a set of expressions, construct a C<list> application, if there are more than one,
else just return the first.
=item C<< $node = LeftRec($arg1,@more); >>
Given an expr followed by repeated (op expr), compose the left recursive tree.
lib/LaTeXML/Package/LaTeX.pool.ltxml view on Meta::CPAN
446144624463446444654466446744684469447044714472447344744475447644774478447944804481# The entries can end with a |expression:
# \index{...|(} this page starts a range for foo
# \index{...|)} this page ends a range
# The last two aren't handled in any particular way.
# We _could_ mark start & end, and then the postprocessor would
# need to fill in all likely links... ???
# \index{...|see{key}} cross reference.
# \index{...|seealso{key}} cross reference.
# \index{...|textbf} (etc) causes the number to be printed in bold!
#
# I guess the formula is that
# \index{foo|whatever{pi}{pa}{po}} => \whatever{pi}{pa}{po}{page}
# How should this get interpreted??
our
%index_style
= (
textbf
=>
'bold'
,
bf
=>
'bold'
,
textrm
=>
''
,
rm
=>
''
,
textit
=>
'italic'
,
it
=>
'italic'
,
emph
=>
'italic'
);
# What else?
# A bit screwy, but....
# Expand \index{a!b!...} into \@index{\@indexphrase{a}\@indexphrase{b}...}
sub
process_index_phrases {
my
(
$gullet
,
$phrases
,
$inlist
) =
@_
;
my
@expansion
= ();
lib/LaTeXML/Package/TeX.pool.ltxml view on Meta::CPAN
4059406040614062406340644065406640674068406940704071407240734074407540764077407840794080408140824083408440854086#**********************************************************************
# Support for MathFork.
#**********************************************************************
# [Note: this block of code seems like it belongs somewhere else]
# A MathFork supports document-level alignment of math,
# by collecting equations into an equationgroup. Each equation can contain
# one or more MathFork structures which separate the semantically meaningful
# equation (if possible) from the collection of rows and/or column fragments
# for alignment. The goal is to be able to present the aligned structure
# composed of various mathematical fragments in a grid, and yet still represent
# the (presumably) meaningful complete formula.
#
# The structure looks like
# <MathFork>
# <Math><XMath>...</XMath></Math>
# <MathBranch>..</MathBranch>
# </MathFork>
# The initial, "main", Math will contain a complete formula (hopefully).
# The MathBranch will typically contain one or more <tr>, each of which
# contains one or more <td>, each of which contains a <Math> representing
# a cell of the aligned structure.
#======================================================================
# openMathFork($document,$equation) will add a MathFork structure
# to the given $equation, and return ($mainfork, $branch)
# where $mainfork is the initial <ltx:Math> and $branch is the <ltx:MathBranch>.
# You'll probably want to be adding Stuff to one or both of $mainfork & $branch.
# Most typically, you'll be finding math fragments that you've found in the
lib/LaTeXML/Package/amsmath.sty.ltxml view on Meta::CPAN
908909910911912913914915916917918919920921922923924925926927928# In amsxtra
# \sphat \sptilde
#======================================================================
# Section 4.6 Roots
# It would be nice to carry this info through to mathml, but ignore for now.
DefMacro(
'\leftroot{}'
,
''
);
DefMacro(
'\uproot{}'
,
''
);
#======================================================================
# Section 4.7 Boxed formulas
DefMacro(
'\boxed{}'
,
'\ifmmode\boxed@math{#1}\else\boxed@text{#1}\fi'
,
robust
=> 1);
DefConstructor(
'\boxed@math{}'
,
"<ltx:XMArg enclose='box'>#1</ltx:XMArg>"
,
alias
=>
'\boxed'
);
DefConstructor(
'\boxed@text{}'
,
"<ltx:Math mode='display' framed='rectangle'>"
.
"<ltx:XMath>"
.
"#1"
.
"</ltx:XMath>"
lib/LaTeXML/Package/amsmath.sty.ltxml view on Meta::CPAN
118211831184118511861187118811891190119111921193119411951196119711981199120012011202#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# See package amstext, included by default.
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# Section 7 Integrals and sums
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
#======================================================================
# Section 7.1 Multiline subscripts and superscripts
# \substack, \begin{subarray}
# These make the combining operator be list, but often formulae would be better
DefMacro(
'\substack{}'
,
'\begin{subarray}{c}#1\end{subarray}'
);
DefMacro(
'\subarray{}'
,
'\lx@ams@matrix{name=subarray,style=\scriptsize,datameaning=list,rowsep=0pt,alignment=#1,alignment-required=true}'
);
DefMacro(
'\endsubarray'
,
'\lx@end@ams@matrix'
);
#======================================================================
# Section 7.2 the \sideset command
# This is intended to be a modifier for \sum or \prod
# NOTE that there can be at most one subscript in each of the pre & post, ditto for superscript.
# Thus, our representation is: sideset(presub,presup,postsub,postsup,object)
lib/LaTeXML/Package/amsthm.sty.ltxml view on Meta::CPAN
114115116117118119120121122123124125126127128129130131132133134DefMacroI(
'\thmheadnl'
,
undef
, Tokens());
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# Proofs
AssignValue(
'QED@stack'
, []);
DefMacro(
'\pushQED{}'
,
sub
{ PushValue(
'QED@stack'
,
$_
[1]); });
DefMacro(
'\popQED'
,
sub
{ (PopValue(
'QED@stack'
) || ()); });
# Should mark this as somehow ignorable for math,
# but we DO want to keep it in the formula...
DefMacro(
'\qed'
,
'\ltx@qed'
);
DefConstructor(
'\ltx@qed'
,
"?#isMath(<ltx:XMTok role='PUNCT'>\x{220E}</ltx:XMTok>)(\x{220E})"
,
reversion
=>
'\qed'
);
Let(
'\mathqed'
,
'\qed'
);
Let(
'\textsquare'
,
'\qed'
);
Let(
'\qedsymbol'
,
'\qed'
);
Let(
'\openbox'
,
'\qed'
);
DefMacro(
'\qedhere'
,
sub
{
lib/LaTeXML/Package/latexml.sty.ltxml view on Meta::CPAN
4748495051525354555657585960616263646566DeclareOption(
'nomathparserspeculate'
,
sub
{ AssignValue(
'MATHPARSER_SPECULATE'
=> 0,
'global'
); });
DeclareOption(
'guesstabularheaders'
,
sub
{ AssignValue(
GUESS_TABULAR_HEADERS
=> 1,
'global'
); });
DeclareOption(
'noguesstabularheaders'
,
sub
{ AssignValue(
GUESS_TABULAR_HEADERS
=> 0,
'global'
); });
# 'nobibtex' intended to be used for arXiv-like build harnesses, where there
# is explicit instruction to only use ".bbl" and that bibtex will not be ran.
DeclareOption(
'bibtex'
,
sub
{ AssignValue(
'NO_BIBTEX'
=> 0,
'global'
); });
DeclareOption(
'nobibtex'
,
sub
{ AssignValue(
'NO_BIBTEX'
=> 1,
'global'
); });
# Lexeme serialization for math formulas
DeclareOption(
'mathlexemes'
,
sub
{ AssignValue(
'LEXEMATIZE_MATH'
=> 1,
'global'
); });
# Finer control over which (if any) raw .sty/.cls files to include
DeclareOption(
'rawstyles'
,
sub
{ AssignValue(
'INCLUDE_STYLES'
=> 1,
'global'
); });
DeclareOption(
'localrawstyles'
,
sub
{ AssignValue(
'INCLUDE_STYLES'
=>
'searchpaths'
,
'global'
); });
DeclareOption(
'norawstyles'
,
sub
{ AssignValue(
'INCLUDE_STYLES'
=> 0,
'global'
); });
DeclareOption(
'rawclasses'
,
sub
{ AssignValue(
'INCLUDE_CLASSES'
=> 1,
'global'
); });
DeclareOption(
'localrawclasses'
,
sub
{ AssignValue(
'INCLUDE_CLASSES'
=>
'searchpaths'
,
'global'
); });
DeclareOption(
'norawclasses'
,
sub
{ AssignValue(
'INCLUDE_CLASSES'
=> 0,
'global'
); });
lib/LaTeXML/Package/pgfmath.code.tex.ltxml view on Meta::CPAN
647648649650651652653654655656657658659660661662663664665666667
$::RD_HINT = 1;
# Why can't I manage to import a few functions to be visible to the grammar actions?
# NOTE Not yet done: quoted strings, extensible functions
$PGFMATHGrammarSpec
= <<
'EoGrammar'
;
# {BEGIN { use LaTeXML::Package::Pool; }}
# { use LaTeXML::Package::Pool; }
# { LaTeXML::Package::Pool->import(qw(pgfmath_apply)); }
<skip:
'[\s\{\}]*'
>
# braces ignored during parse...
formula :
expr /\?/ expr /:/ expr { (
$item
[1] ?
$item
[3] :
$item
[5]); }
| expr CMP expr { LaTeXML::Package::Pool::pgfmath_apply(
$item
[2],
$item
[1],
$item
[3]); }
| expr
expr :
term (ADDOP term { [
$item
[1],
$item
[2]]; })(s?)
{ LaTeXML::Package::Pool::pgfmath_leftrecapply(
$item
[1],
map
(
@$_
,@{
$item
[2]})); }
term :
factor (MULOP factor { [
$item
[1],
$item
[2]]; })(s?)
lib/LaTeXML/Package/pgfmath.code.tex.ltxml view on Meta::CPAN
669670671672673674675676677678679680681682683684685686687688689690691692# addPostfix[$base] ; adds any following sub/super scripts to $base.
addPostfix :
/^\Z/ {
$arg
[0];}
# short circuit!
| POSTFIX addPostfix[LaTeXML::Package::Pool::pgfmath_apply(
$item
[1],
$arg
[0])]
| {
$arg
[0]; }
factor : simplefactor /\^/ simplefactor {
$item
[1] **
$item
[3]; }
| simplefactor addPostfix[
$item
[1]]
simplefactor :
/\(/ formula /(?:\)|^\Z)/ {
$item
[2]; }
# Let unclosed () succeed at end?
| PREFIX simplefactor { LaTeXML::Package::Pool::pgfmath_apply(
$item
[1],
$item
[2]); }
| SIZER /\(/ QTEX /\)/ { LaTeXML::Package::Pool::pgfmath_sizer(
$item
[1],
$item
[3]); }
| FUNCTION /\(/ formula (/,/ formula {
$item
[2]; })(s?) /\)/
{ LaTeXML::Package::Pool::pgfmath_apply(
$item
[1],
$item
[3], @{
$item
[4]}); }
| FUNCTION simplefactor
{ LaTeXML::Package::Pool::pgfmath_apply(
$item
[1],
$item
[2]); }
| FUNCTION0 { LaTeXML::Package::Pool::pgfmath_apply(
$item
[1]); }
| NUMBER UNIT { LaTeXML::Package::Pool::pgfmath_convert(
$item
[1],
$item
[2]); }
| NUMBER REGISTER { LaTeXML::Package::Pool::pgfmath_apply(
'*'
,
$item
[1],
$item
[2]); }
# really count_register dimension_register!
| REGISTER REGISTER { LaTeXML::Package::Pool::pgfmath_apply(
'*'
,
$item
[1],
$item
[2]); }
| NUMBER
| REGISTER
lib/LaTeXML/Post/MathML.pm view on Meta::CPAN
168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707
my
(
$op
,
@args
) =
@_
;
return
cmml_or_compose([
'm:lt'
,
'm:approx'
],
@args
); });
DefMathML(
"Token:?:factor-of"
,
undef
,
sub
{
return
[
'm:factorof'
]; });
DefMathML(
"Token:METARELOP:?"
, \
&pmml_mo
);
DefMathML(
'Apply:RELOP:?'
, \
&pmml_infix
);
DefMathML(
'Apply:METARELOP:?'
, \
&pmml_infix
);
# Top level relations
DefMathML(
'Apply:?:formulae'
,
sub
{
my
(
$op
,
@elements
) =
@_
;
return
pmml_row(
map
{ pmml(
$_
) }
@elements
); },
sub
{
my
(
$op
,
@elements
) =
@_
;
return
[
'm:apply'
, {},
[
'm:csymbol'
, {
cd
=>
'ambiguous'
},
'formulae-sequence'
],
map
{ cmml(
$_
) }
@elements
];
});
DefMathML(
'Apply:?:multirelation'
,
sub
{
my
(
$op
,
@elements
) =
@_
;
# This presumes that the relational operators scattered through here
# will be recognized as such by pmml and turned into m:mo
return
pmml_row(
map
{ pmml(
$_
) }
@elements
); },
sub
{
lib/LaTeXML/Post/MathML/Presentation.pm view on Meta::CPAN
8384858687888990919293949596979899100101102103
if
(
ref
$node
eq
'ARRAY'
) {
$$node
[1]{title} =
$title
; }
else
{
$node
->setAttribute(
'title'
,
$title
); } } }
return
; }
#================================================================================
# Presentation MathML with Line breaking
# Not at all sure how this will integrate with Parallel markup...
# Any displayed formula is a candidate for line-breaking.
# If it is not already in a MathFork, and needs line-breaking,
# then we ought to wrap in a MathFork, so as to preserve the
# slightly "semantically meaningful" form.
# If we're mangling the document structure in this way,
# it needs to be done before the main scan-all-math's loop,
# since it moves the maths around.
# However, since we also have to check whether it NEEDS line breaking beforehand,
# we might as well linebreak & store that line-broken result alongside.
# [it will get stored WITHOUT an XMath expression, though, so we won't be asked to redo it]
# convertNode will be called later on the main fork (unbroken).
lib/LaTeXML/Post/UnicodeMath.pm view on Meta::CPAN
353354355356357358359360361362363364365366367368369370371372373DefUnicodeMath(
'Apply:MULOP:?'
, \
&unimath_infix
);
DefUnicodeMath(
'Apply:BINOP:?'
, \
&unimath_infix
);
DefUnicodeMath(
'Apply:RELOP:?'
, \
&unimath_infix
);
DefUnicodeMath(
'Apply:METARELOP:?'
, \
&unimath_infix
);
DefUnicodeMath(
'Apply:ARROW:?'
, \
&unimath_infix
);
DefUnicodeMath(
'Apply:COMPOSEOP:?'
, \
&unimath_infix
);
DefUnicodeMath(
"Apply:DIFFOP:?"
, \
&unimath_prefix
);
DefUnicodeMath(
'Apply:BIGOP:?'
, \
&unimath_prefix
);
DefUnicodeMath(
'Apply:INTOP:?'
, \
&unimath_prefix
);
DefUnicodeMath(
'Apply:SUMOP:?'
, \
&unimath_prefix
);
DefUnicodeMath(
'Apply:?:formulae'
, \
&unimath_map
);
DefUnicodeMath(
'Apply:?:multirelation'
, \
&unimath_args
);
DefUnicodeMath(
'Apply:?:limit-from'
, \
&unimath_prefix
);
DefUnicodeMath(
'Apply:?:annotated'
, \
&unimath_prefix
);
DefUnicodeMath(
'Apply:FRACOP:?'
,
sub
{
my
(
$op
,
$num
,
$den
,
@more
) =
@_
;
my
$thickness
=
$op
->getAttribute(
'thickness'
);
if
(
defined
$thickness
) {
# Hmm? maybe not even a fraction?
return
(
'('
. unimath_nested(
$num
, 0) . UTF(0xA6) . unimath_nested(
$den
, 0) .
')'
,
$PREC_SYMBOL
); }
else
{
lib/LaTeXML/Util/Pack.pm view on Meta::CPAN
367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408=head1 NAME
C<LaTeXML::Util::Pack> - smart packing and unpacking of TeX archives
=head1 DESCRIPTION
This module provides an API and convenience methods for:
1. Unpacking Zip archives which contain a TeX manuscript.
2. Packing the files of a LaTeXML manuscript into a single archive
3. Extracting embeddable fragments, as well as single formulas from LaTeXML documents
All user-level methods are unconditionally exported by default.
=head2 METHODS
=over 4
=item C<< $main_tex_source = unpack_source($archive,$extraction_directory); >>
Unpacks a given $archive into the $extraction_directory. Next, perform a
heuristic analysis to determine, and return, the main file of the TeX manuscript.
If the main file cannot be determined, the $extraction_directory is removed and undef is returned.
In this regard, we implement a simplified form of the logic in
TeX::AutoTeX and particularly arXiv::FileGuess
=item C<< @packed_documents = pack_collection(collection=>\@documents, whatsout=>'math|fragment|archive', siteDirectory=>$path); >>
Packs a collection of documents using the packing method specified via the 'whatsout' option.
If 'fragment' or 'math' are chosen, each input document is transformed into
an embeddable fragment or a single formula, respectively.
If 'archive' is chose, all input documents are written into an archive in the specified 'siteDirectory'.
The name of the archive is provided by the 'destination' property of the first provided $document object.
Each document is expected to be a LaTeXML::Post::Document object.
=back
=head1 AUTHOR
Bruce Miller <bruce.miller@nist.gov>,
Deyan Ginev <deyan.ginev@nist.gov>
lib/LaTeXML/resources/XSLT/LaTeXML-jats.xsl view on Meta::CPAN
519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573<xsl:template match=
"ltx:item"
>
<list-item>
<xsl:apply-templates
select
=
"@xml:id"
mode=
"copy-attribute"
/>
<xsl:apply-templates/>
</list-item>
</xsl:template>
<!-- ======================================================================
Equations and Math -->
<xsl:template match=
"ltx:equationgroup"
>
<disp-formula-group>
<xsl:apply-templates
select
=
"@xml:id"
mode=
"copy-attribute"
/>
<xsl:apply-templates/>
</disp-formula-group>
</xsl:template>
<xsl:template match=
"ltx:equation"
>
<xsl:choose>
<xsl:
when
test=
"count(ltx:Math | ltx:MathFork) > 1"
> <!--Each needs disp-formula -->
<disp-formula-group>
<xsl:apply-templates
select
=
"@xml:id"
mode=
"copy-attribute"
/>
<xsl:
for
-
each
select
=
"ltx:Math | ltx:MathFork"
>
<disp-formula>
<xsl:apply-templates
select
=
"@xml:id"
mode=
"copy-attribute"
/>
<xsl:apply-templates
select
=
"."
/>
</disp-formula>
</xsl:
for
-
each
>
</disp-formula-group>
</xsl:
when
>
<xsl:otherwise>
<disp-formula>
<xsl:apply-templates
select
=
"@xml:id"
mode=
"copy-attribute"
/>
<xsl:apply-templates/>
</disp-formula>
</xsl:otherwise>
</xsl:choose>
</xsl:template>
<xsl:template match=
"ltx:Math[@mode='inline']"
>
<inline-formula>
<xsl:apply-templates
select
=
"m:math"
/>
</inline-formula>
</xsl:template>
<!--
caller
(ltx:equation) will wrap disp-formula, as needed -->
<xsl:template match=
"ltx:Math"
>
<xsl:apply-templates
select
=
"m:math"
/>
</xsl:template>
<xsl:template match=
"ltx:MathFork"
>
<xsl:apply-templates
select
=
"ltx:Math[1]/m:math"
/>
</xsl:template>
since that's assumed by many non-XML aware JATS applications. -->
lib/LaTeXML/resources/XSLT/LaTeXML-tei.xsl view on Meta::CPAN
592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641
Equations and Math -->
<xsl:template match=
"ltx:equationgroup"
>
<p>
<xsl:apply-templates
select
=
"@xml:id"
mode=
"copy-attribute"
/>
<xsl:apply-templates/>
</p>
</xsl:template>
<xsl:template match=
"ltx:equationgroup/ltx:equation"
>
<formula notation=
"mathml"
>
<xsl:apply-templates
select
=
"@xml:id"
mode=
"copy-attribute"
/>
<xsl:apply-templates/>
</formula>
</xsl:template>
<xsl:template match=
"ltx:equation"
>
<p>
<formula notation=
"mathml"
>
<xsl:apply-templates
select
=
"@xml:id"
mode=
"copy-attribute"
/>
<xsl:apply-templates/>
</formula>
</p>
</xsl:template>
<xsl:template match=
"ltx:Math[@mode='inline']"
>
<formula notation=
"mathml"
rend=
"inline"
>
<xsl:apply-templates
select
=
"@xml:id"
mode=
"copy-attribute"
/>
<xsl:apply-templates
select
=
"m:math"
/>
</formula>
</xsl:template>
<xsl:template match=
"m:*"
>
<xsl:copy-of
select
=
"@*"
/>
<xsl:apply-templates/>
</xsl:element>
</xsl:template>
<!--
caller
(ltx:equation) will wrap formula, as needed -->
<xsl:template match=
"ltx:MathFork"
>
<xsl:apply-templates
select
=
"ltx:Math[1]/m:math"
/>
</xsl:template>
<xsl:template match=
"ltx:Math"
>
<xsl:apply-templates
select
=
"m:math"
/>
</xsl:template>
<!-- ======================================================================
Figures, Tables, Floats, Theorems, etc -->
t/170_grammar_coverage.t view on Meta::CPAN
717273747576777879808182838485868788899091
$prev_line
=
$line
;
}
}
my
$ok_count
= 0;
my
$missing_count
= 0;
my
$extra_count
= 0;
my
%missing
= ();
my
%extra
= ();
delete
$grammar_dependencies
{
'Start'
};
# never reported in terse log
# Single lexeme top-level rules never parse, BECAUSE the grammar is never run on 1-lexeme formulae
delete
$grammar_dependencies
{
'AnythingAn'
}{
"FLOATSUPERSCRIPT"
};
delete
$grammar_dependencies
{
'AnythingAn'
}{
"MODIFIER"
};
# Reachable conceptually by an ambiguous grammar, but not in the RecDescent algorithm
# AnyOp variants are not reached as Formula variants take precedents (such as Factor's preScripted variants)
delete
$grammar_dependencies
{
'AnyOp'
}{
"OPERATOR"
};
delete
$grammar_dependencies
{
'AnyOp'
}{
"addScripts"
};
delete
$grammar_dependencies
{
'AnyOp'
}{
"preScripted"
};
delete
$grammar_dependencies
{
'argPunct'
}{
'VERTBAR'
};
delete
$grammar_dependencies
{
'Expression'
}{
'punctExpr'
};
# Unreachable, due to Formula -> punctExpr
delete
$grammar_dependencies
{
'aSuperscri'
}{
'AnyOp'
};
t/alignment/ncases.xml view on Meta::CPAN
6789101112131415161718192021222324252627282930<resource src=
"LaTeXML.css"
type=
"text/css"
/>
<resource src=
"ltx-article.css"
type=
"text/css"
/>
<para xml:id=
"p1"
>
<equationgroup class=
"ltx_eqn_numcases"
xml:id=
"S0.EGx1"
>
<equation xml:id=
"S0.E1"
>
<tags>
<tag>(1)</tag>
<tag role=
"refnum"
>1</tag>
</tags>
<MathFork>
<Math tex=
"\displaystyle|x|=x,for x\geq 0"
text=
"formulae@(absolute-value@(x) = x, [for ] * x >= 0)"
xml:id=
"S0.E1.m4"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.E1.m4.2"
/>
<XMRef idref=
"S0.E1.m4.3"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.E1.m4.2"
>
<XMTok meaning=
"equals"
role=
"RELOP"
>=</XMTok>
<XMDual>
<XMApp>
<XMTok meaning=
"absolute-value"
/>
<XMRef idref=
"S0.E1.m4.1"
/>
t/alignment/ncases.xml view on Meta::CPAN
93949596979899100101102103104105106107108109110111112113114115116117
</Math></td>
</MathBranch>
</MathFork>
</equation>
<equation xml:id=
"S0.E2"
>
<tags>
<tag>(2)</tag>
<tag role=
"refnum"
>2</tag>
</tags>
<MathFork>
<Math tex=
"\displaystyle|x|=-x,for x<0"
text=
"formulae@(absolute-value@(x) = - x, [for ] * x < 0)"
xml:id=
"S0.E2.m4"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.E2.m4.2"
/>
<XMRef idref=
"S0.E2.m4.3"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.E2.m4.2"
>
<XMTok meaning=
"equals"
role=
"RELOP"
>=</XMTok>
<XMDual>
<XMApp>
<XMTok meaning=
"absolute-value"
/>
<XMRef idref=
"S0.E2.m4.1"
/>
t/ams/mathtools.xml view on Meta::CPAN
201202203204205206207208209210211212213214215216217218219220221222223224225
</XMApp>
</XMath>
</Math>
</equation>
</para>
</paragraph>
<paragraph inlist=
"toc"
xml:id=
"S1.SS0.SSS0.Px3"
>
<title>Smashoperator</title>
<para xml:id=
"S1.SS0.SSS0.Px3.p1"
>
<equation xml:id=
"S1.Ex6"
>
<Math mode=
"display"
tex=
"V=\sum_{1\leq i\leq j\leq n}^{\infty}V_{ij}\quad X=\sum_{1\leq i\leq j\leq n}^% {3456}X_{ij}\quad Y=\sum\limits_{1\leq i\leq j\leq n}Y_{ij}\quad Z=\mathop{T}_% {1\leq i\leq j\leq n}Z_{ij}"
text="formulae@(V...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S1.Ex6.m1.1"
/>
<XMRef idref=
"S1.Ex6.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S1.Ex6.m1.1"
>
<XMTok meaning=
"equals"
role=
"RELOP"
>=</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>V</XMTok>
<XMApp>
<XMApp>
<XMTok role=
"SUPERSCRIPTOP"
scriptpos=
"mid1"
/>
t/ams/mathtools.xml view on Meta::CPAN
246247248249250251252253254255256257258259260261262263264265266
<XMTok meaning=
"times"
role=
"MULOP"
>â¢</XMTok>
<XMTok font=
"italic"
fontsize=
"70%"
role=
"UNKNOWN"
>i</XMTok>
<XMTok font=
"italic"
fontsize=
"70%"
role=
"UNKNOWN"
>j</XMTok>
</XMApp>
</XMApp>
</XMApp>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S1.Ex6.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S1.Ex6.m1.2.1"
/>
<XMRef idref=
"S1.Ex6.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S1.Ex6.m1.2.1"
>
<XMTok meaning=
"equals"
role=
"RELOP"
>=</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>X</XMTok>
<XMApp>
<XMApp>
<XMTok role=
"SUPERSCRIPTOP"
scriptpos=
"mid1"
/>
t/ams/mathtools.xml view on Meta::CPAN
287288289290291292293294295296297298299300301302303304305306307
<XMTok meaning=
"times"
role=
"MULOP"
>â¢</XMTok>
<XMTok font=
"italic"
fontsize=
"70%"
role=
"UNKNOWN"
>i</XMTok>
<XMTok font=
"italic"
fontsize=
"70%"
role=
"UNKNOWN"
>j</XMTok>
</XMApp>
</XMApp>
</XMApp>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S1.Ex6.m1.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S1.Ex6.m1.2.2.1"
/>
<XMRef idref=
"S1.Ex6.m1.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S1.Ex6.m1.2.2.1"
>
<XMTok meaning=
"equals"
role=
"RELOP"
>=</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>Y</XMTok>
<XMApp>
<XMApp>
<XMTok role=
"SUBSCRIPTOP"
scriptpos=
"mid1"
/>
t/ams/mathtools.xml view on Meta::CPAN
363364365366367368369370371372373374375376377378379380381382383384385386387
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
</para>
<para xml:id=
"S1.SS0.SSS0.Px3.p2"
>
<equation xml:id=
"S1.Ex7"
>
<Math mode=
"display"
tex="V=\sum_{1\leq i\leq j\leq n}^{\infty}V_{ij}\quad X=\smashoperator[]{\sum_{1%&
#10;\leq i\leq j\leq n}^{3456}}X_{ij}\quad Y=\smashoperator[r]{\sum_{1\leq i\leq j% \leq n}^{}}Y_{ij}\quad Z=\smashoperator[l]{\matho...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S1.Ex7.m1.1"
/>
<XMRef idref=
"S1.Ex7.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S1.Ex7.m1.1"
>
<XMTok meaning=
"equals"
role=
"RELOP"
>=</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>V</XMTok>
<XMApp>
<XMApp>
<XMTok role=
"SUPERSCRIPTOP"
scriptpos=
"mid1"
/>
t/ams/mathtools.xml view on Meta::CPAN
408409410411412413414415416417418419420421422423424425426427428
<XMTok meaning=
"times"
role=
"MULOP"
>â¢</XMTok>
<XMTok font=
"italic"
fontsize=
"70%"
role=
"UNKNOWN"
>i</XMTok>
<XMTok font=
"italic"
fontsize=
"70%"
role=
"UNKNOWN"
>j</XMTok>
</XMApp>
</XMApp>
</XMApp>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S1.Ex7.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S1.Ex7.m1.2.1"
/>
<XMRef idref=
"S1.Ex7.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S1.Ex7.m1.2.1"
>
<XMTok meaning=
"equals"
role=
"RELOP"
>=</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>X</XMTok>
<XMApp>
<XMApp role=
"SUMOP"
scriptpos=
"mid"
>
<XMTok role=
"SUBSCRIPTOP"
scriptpos=
"mid1"
/>
t/ams/mathtools.xml view on Meta::CPAN
449450451452453454455456457458459460461462463464465466467468469
<XMTok meaning=
"times"
role=
"MULOP"
>â¢</XMTok>
<XMTok font=
"italic"
fontsize=
"70%"
role=
"UNKNOWN"
>i</XMTok>
<XMTok font=
"italic"
fontsize=
"70%"
role=
"UNKNOWN"
>j</XMTok>
</XMApp>
</XMApp>
</XMApp>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S1.Ex7.m1.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S1.Ex7.m1.2.2.1"
/>
<XMRef idref=
"S1.Ex7.m1.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S1.Ex7.m1.2.2.1"
>
<XMTok meaning=
"equals"
role=
"RELOP"
>=</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>Y</XMTok>
<XMApp>
<XMApp lpadding=
"9.6pt"
role=
"SUMOP"
scriptpos=
"mid"
>
<XMTok role=
"SUBSCRIPTOP"
scriptpos=
"mid1"
/>
t/ams/mathtools.xml view on Meta::CPAN
40004001400240034004400540064007400840094010401140124013401440154016401740184019402040214022402340244025402640274028402940304031403240334034403540364037
</XMDual>
</XMApp>
</XMath>
</Math>
</equation>
</para>
<paragraph inlist=
"toc"
xml:id=
"S7.SS0.SSS0.Px1"
>
<title>Operators</title>
<para xml:id=
"S7.SS0.SSS0.Px1.p1"
>
<equation xml:id=
"S7.Ex57"
>
<Math mode=
"display"
tex=
"a:=b\quad a\vcentcolon=b\quad a\ordinarycolon=b"
text=
"formulae@(a assign b, formulae@(a assign b, a assign b))"
xml:id=
"S7.Ex57.m1"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S7.Ex57.m1.1"
/>
<XMRef idref=
"S7.Ex57.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S7.Ex57.m1.1"
>
<XMTok meaning=
"assign"
role=
"RELOP"
>:=</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S7.Ex57.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S7.Ex57.m1.2.1"
/>
<XMRef idref=
"S7.Ex57.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S7.Ex57.m1.2.1"
>
<XMTok meaning=
"assign"
role=
"RELOP"
>:=</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/ams/mathtools.xml view on Meta::CPAN
40434044404540464047404840494050405140524053405440554056405740584059406040614062406340644065406640674068406940704071407240734074407540764077407840794080
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
</para>
<para xml:id=
"S7.SS0.SSS0.Px1.p2"
>
<equation xml:id=
"S7.Ex58"
>
<Math mode=
"display"
tex=
"a\coloneqq b\quad c\Colonapprox d\quad e\dblcolon f"
text=
"formulae@(a coloneqq b, formulae@(c Colonapprox d, e dblcolon f))"
xml:id=
"S7.Ex58.m1"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S7.Ex58.m1.1"
/>
<XMRef idref=
"S7.Ex58.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S7.Ex58.m1.1"
>
<XMTok name=
"coloneqq"
role=
"RELOP"
>≔</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S7.Ex58.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S7.Ex58.m1.2.1"
/>
<XMRef idref=
"S7.Ex58.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S7.Ex58.m1.2.1"
>
<XMTok name=
"Colonapprox"
role=
"RELOP"
>::≈</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>c</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>d</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/complex/physics.xml view on Meta::CPAN
3273327432753276327732783279328032813282328332843285328632873288328932903291329232933294329532963297
<XMTok role=
"OPEN"
stretchy=
"true"
>|</XMTok>
<XMTok font=
"italic"
name=
"psi"
role=
"UNKNOWN"
xml:id=
"S1.Ex30.m1.4"
>ψ</XMTok>
<XMTok name=
"rangle"
role=
"CLOSE"
stretchy=
"true"
>⟩</XMTok>
</XMWrap>
</XMDual>
</XMApp>
</XMath>
</Math>
</equation>
<equation xml:id=
"S1.Ex31"
>
<Math mode=
"display"
tex=
"\bra{\phi}\outerproduct{\psi}{\xi}.\mbox{\quad as opposed to\quad}\bra{\phi}% \ket{\psi}\bra{\xi}"
text="formulae@(bra@(phi) * outer-product@(psi, xi), [ as opposed to ] * inner-product@(phi, psi) * bra@(xi...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S1.Ex31.m1.7"
/>
<XMRef idref=
"S1.Ex31.m1.8"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S1.Ex31.m1.7"
>
<XMTok meaning=
"times"
role=
"MULOP"
>â¢</XMTok>
<XMDual>
<XMApp>
<XMTok meaning=
"bra"
/>
<XMRef idref=
"S1.Ex31.m1.1"
/>
t/complex/si.xml view on Meta::CPAN
7176717771787179718071817182718371847185718671877188718971907191719271937194719571967197719871997200
</Math></td>
</
tr
>
<
tr
>
<td align=
"left"
><Math mode=
"inline"
tex=
"\mathrm{Pa}"
text=
"pascal"
xml:id=
"S3.T12.m2"
>
<XMath>
<XMTok class=
"ltx_unit"
meaning=
"pascal"
role=
"ID"
>Pa</XMTok>
</XMath>
</Math></td>
</
tr
>
<
tr
>
<td align=
"left"
border=
"bb"
><Math mode=
"inline"
tex=
"m.s^{-1}"
text=
"formulae@(m, s ^ (- 1))"
xml:id=
"S3.T12.m3"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S3.T12.m3.1"
/>
<XMRef idref=
"S3.T12.m3.2"
/>
</XMApp>
<XMWrap>
<XMTok font=
"italic"
role=
"UNKNOWN"
xml:id=
"S3.T12.m3.1"
>m</XMTok>
<XMTok role=
"PERIOD"
>.</XMTok>
<XMApp xml:id=
"S3.T12.m3.2"
>
<XMTok role=
"SUPERSCRIPTOP"
scriptpos=
"post1"
/>
<XMTok font=
"italic"
role=
"UNKNOWN"
>s</XMTok>
<XMApp>
t/daemon/formats/citation.xml view on Meta::CPAN
5678910111213141516171819202122232425262728293031323334<meta http-equiv=
"content-type"
content=
"application/xhtml+xml; charset=UTF-8"
/>
<title>References</title>
<!--Generated by LaTeXML (version TEST) http://dlmf.nist.gov/LaTeXML/.-->
</head>
<body>
<div class=
"ltx_page_main"
>
<div class=
"ltx_page_content"
>
<div class=
"ltx_document"
>
<div id=
"p1"
class=
"ltx_para"
>
<p class=
"ltx_p"
>A sample citation <cite class=
"ltx_cite ltx_citemacro_cite"
>[<a href=
"#bib.bib1"
title=
"Handbook of mathematical functions with formulas, graphs, and mathematical tables"
class=
"ltx_ref"
>AS64</a>]</cite>, then point to bibliography:<...
</div>
<div id=
"bib"
class=
"ltx_bibliography"
>
<h2 class=
"ltx_title ltx_title_bibliography"
>References</h2>
<ul id=
"bib.L1"
class=
"ltx_biblist"
>
<li id=
"bib.bib1"
class=
"ltx_bibitem ltx_bib_book"
><span class=
"ltx_tag ltx_bib_abbrv ltx_role_refnum ltx_tag_bibitem"
>[AS64]</span>
<span class=
"ltx_bibblock"
><span class=
"ltx_text ltx_bib_author"
>M. Abramowitz and I. A. Stegun</span><span class=
"ltx_text ltx_bib_year"
> (1964)</span>
</span>
<span class=
"ltx_bibblock"
><span class=
"ltx_text ltx_bib_title"
>Handbook of mathematical functions
with
formulas, graphs, and mathematical tables</span>.
</span>
<span class=
"ltx_bibblock"
><span class=
"ltx_text ltx_bib_edition"
>ninth Dover printing, tenth GPO printing edition</span>, <span class=
"ltx_text ltx_bib_publisher"
>Dover</span>, <span class=
"ltx_text ltx_bib_place"
>New York</span>.
</span>
<span class=
"ltx_bibblock ltx_bib_cited"
>Cited by: <a href=
"#p1"
title=
""
class=
"ltx_ref"
>p1</a>.
</span></li>
</ul>
</div>
</div>
</div>
<div class=
"ltx_page_footer"
>
t/daemon/formats/citationraw.xml view on Meta::CPAN
5678910111213141516171819202122232425262728293031323334<meta http-equiv=
"content-type"
content=
"application/xhtml+xml; charset=UTF-8"
/>
<title>References</title>
<!--Generated by LaTeXML (version TEST) http://dlmf.nist.gov/LaTeXML/.-->
</head>
<body>
<div class=
"ltx_page_main"
>
<div class=
"ltx_page_content"
>
<div class=
"ltx_document"
>
<div id=
"p1"
class=
"ltx_para"
>
<p class=
"ltx_p"
>A sample citation <cite class=
"ltx_cite ltx_citemacro_cite"
>[<a href=
"#bib.bib1"
title=
"Handbook of mathematical functions with formulas, graphs, and mathematical tables"
class=
"ltx_ref"
>AS64</a>]</cite>, then point to bibliography:<...
</div>
<div id=
"bib"
class=
"ltx_bibliography"
>
<h2 class=
"ltx_title ltx_title_bibliography"
>References</h2>
<ul id=
"bib.L1"
class=
"ltx_biblist"
>
<li id=
"bib.bib1"
class=
"ltx_bibitem ltx_bib_book"
><span class=
"ltx_tag ltx_bib_abbrv ltx_role_refnum ltx_tag_bibitem"
>[AS64]</span>
<span class=
"ltx_bibblock"
><span class=
"ltx_text ltx_bib_author"
>M. Abramowitz and I. A. Stegun</span><span class=
"ltx_text ltx_bib_year"
> (1964)</span>
</span>
<span class=
"ltx_bibblock"
><span class=
"ltx_text ltx_bib_title"
>Handbook of mathematical functions
with
formulas, graphs, and mathematical tables</span>.
</span>
<span class=
"ltx_bibblock"
><span class=
"ltx_text ltx_bib_edition"
>ninth Dover printing, tenth GPO printing edition</span>, <span class=
"ltx_text ltx_bib_publisher"
>Dover</span>, <span class=
"ltx_text ltx_bib_place"
>New York</span>.
</span>
<span class=
"ltx_bibblock ltx_bib_cited"
>Cited by: <a href=
"#p1"
title=
""
class=
"ltx_ref"
>p1</a>.
</span></li>
</ul>
</div>
</div>
</div>
<div class=
"ltx_page_footer"
>
t/daemon/formats/jats.xml view on Meta::CPAN
555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121
<kwd>article</kwd>
<kwd>markup</kwd>
</kwd-group>
</article-meta>
</front>
<body>
<sec id=
"S1"
>
<title>1. Introduction</title>
<p id=
"S1.p1"
>As discussed in [<xref rid=
"bib.bib1"
>AS64</xref>],
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed
do
eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure d...
<disp-formula id=
"S1.E1"
>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S1.E1.m1"
alttext=
"a+b,"
display=
"block"
>
<mml:mrow>
<mml:mrow>
<mml:mi>a</mml:mi>
<mml:mo>+</mml:mo>
<mml:mi>b</mml:mi>
</mml:mrow>
<mml:mo>,</mml:mo>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula id=
"S1.E2"
>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S1.E2.m1"
alttext=
"c+d,"
display=
"block"
>
<mml:mrow>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mo>+</mml:mo>
<mml:mi>d</mml:mi>
</mml:mrow>
<mml:mo>,</mml:mo>
</mml:mrow>
</mml:math>
</disp-formula>
<fig id=
"S1.F1"
>
<caption>
<p>A Figure</p>
</caption>
<p>A Figure</p>
</fig>
<table-wrap id=
"S1.T1"
><caption><p>A Table</p></caption>
<table>
<thead>
<
tr
>
<th>Heading</th>
<th>Foo</th>
<th>Bar</th></
tr
>
</thead>
<tbody>
<
tr
>
<th>a</th>
<td><inline-formula><mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S1.T1.m1"
alttext=
"x"
display=
"inline"
><mml:mi>x</mml:mi></mml:math></inline-formula></td>
<td><inline-formula><mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S1.T1.m2"
alttext=
"x^{2}"
display=
"inline"
><mml:msup><mml:mi>x</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:math></inline-formula></td></
tr
>
<
tr
>
<th>b</th>
<td><inline-formula><mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S1.T1.m3"
alttext=
"y^{2}"
display=
"inline"
><mml:msup><mml:mi>y</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:math></inline-formula></td>
<td><inline-formula><mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S1.T1.m4"
alttext=
"y"
display=
"inline"
><mml:mi>y</mml:mi></mml:math></inline-formula></td></
tr
>
</tbody>
</table></table-wrap>
<p>
<list list-type=
"bullet"
id=
"S1.I1"
>
<list-item id=
"S1.I1.i1"
>
<p id=
"S1.I1.i1.p1"
>one</p>
</list-item>
<list-item id=
"S1.I1.i2"
>
<p>two</p>
<p>
t/daemon/formats/jats.xml view on Meta::CPAN
161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199
<list-item id=
"S1.I3.ix3"
>
<p id=
"S1.I3.ix3.p1"
>blah, blah. Moreover
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed
do
eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat.</p>
</list-item>
</list>
</sec>
<sec id=
"S2"
>
<title>2. A Math Section</title>
<p id=
"S2.p1"
>Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed
do
eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequa...
<p id=
"S2.p2"
>Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.</p>
<disp-formula id=
"S2.Ex1"
>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.Ex1.m1"
alttext=
"a=b"
display=
"block"
>
<mml:mrow>
<mml:mi>a</mml:mi>
<mml:mo>=</mml:mo>
<mml:mi>b</mml:mi>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula id=
"S2.E1"
>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.E1.m1"
alttext=
"a=b"
display=
"block"
>
<mml:mrow>
<mml:mi>a</mml:mi>
<mml:mo>=</mml:mo>
<mml:mi>b</mml:mi>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula id=
"S2.E2"
>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.E2.m1"
alttext=
"\begin{split}a&=b+c-d\\ &\quad+e-f\\ &=g+h\\ &=i\end{split}"
display=
"block"
>
<mml:mtable columnspacing=
"0pt"
displaystyle=
"true"
rowspacing=
"0pt"
>
<mml:mtr>
<mml:mtd class=
"ltx_align_right"
columnalign=
"right"
>
<mml:mi>a</mml:mi>
</mml:mtd>
<mml:mtd class=
"ltx_align_left"
columnalign=
"left"
>
<mml:mrow>
<mml:mi/>
<mml:mo>=</mml:mo>
t/daemon/formats/jats.xml view on Meta::CPAN
241242243244245246247248249250251252253254255256257258259260261262
<mml:mtd class=
"ltx_align_left"
columnalign=
"left"
>
<mml:mrow>
<mml:mi/>
<mml:mo>=</mml:mo>
<mml:mi>i</mml:mi>
</mml:mrow>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:math>
</disp-formula>
<disp-formula id=
"S2.E3"
>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.E3.m1"
alttext=
"a+b+c+d+e+f\\ +i+j+k+l+m+n"
display=
"block"
>
<mml:mtable displaystyle=
"true"
rowspacing=
"0pt"
>
<mml:mtr>
<mml:mtd class=
"ltx_align_left"
columnalign=
"left"
>
<mml:mrow>
<mml:mi>a</mml:mi>
<mml:mo>+</mml:mo>
<mml:mi>b</mml:mi>
<mml:mo>+</mml:mo>
<mml:mi>c</mml:mi>
t/daemon/formats/jats.xml view on Meta::CPAN
284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328
<mml:mi>l</mml:mi>
<mml:mo>+</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>+</mml:mo>
<mml:mi>n</mml:mi>
</mml:mrow>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:math>
</disp-formula>
<disp-formula-group id=
"S3.EGx1"
>
<disp-formula id=
"S2.E4"
>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.E4.m1"
alttext=
"\displaystyle a_{1}=b_{1}+c_{1}"
display=
"block"
>
<mml:mrow>
<mml:msub>
<mml:mi>a</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
<mml:mo>=</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>b</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mi>c</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula id=
"S2.E5"
>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.E5.m1"
alttext=
"\displaystyle a_{2}=b_{2}+c_{2}-d_{2}+e_{2}"
display=
"block"
>
<mml:mrow>
<mml:msub>
<mml:mi>a</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
<mml:mo>=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
t/daemon/formats/jats.xml view on Meta::CPAN
343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388
</mml:msub>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
</disp-formula-group>
<disp-formula-group id=
"S3.EGx2"
>
<disp-formula id=
"S2.E6"
>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.E6.m3"
alttext=
"\displaystyle a_{1}=b_{1}+c_{1}"
display=
"inline"
>
<mml:mrow>
<mml:msub>
<mml:mi>a</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
<mml:mo>=</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>b</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mi>c</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula id=
"S2.E7"
>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.E7.m3"
alttext=
"\displaystyle a_{2}=b_{2}+c_{2}-d_{2}+e_{2}"
display=
"inline"
>
<mml:mrow>
<mml:msub>
<mml:mi>a</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
<mml:mo>=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
t/daemon/formats/jats.xml view on Meta::CPAN
403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594
</mml:msub>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
</disp-formula-group>
<disp-formula-group id=
"S3.EGx3"
>
<disp-formula-group id=
"S2.E8"
>
<disp-formula>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.E8.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>
<mml:mo>=</mml:mo>
<mml:msub>
<mml:mi>b</mml:mi>
<mml:mn>11</mml:mn>
</mml:msub>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.E8.m6"
alttext=
"\displaystyle a_{12}=b_{12}"
display=
"inline"
>
<mml:mrow>
<mml:msub>
<mml:mi>a</mml:mi>
<mml:mn>12</mml:mn>
</mml:msub>
<mml:mo>=</mml:mo>
<mml:msub>
<mml:mi>b</mml:mi>
<mml:mn>12</mml:mn>
</mml:msub>
</mml:mrow>
</mml:math>
</disp-formula>
</disp-formula-group>
<disp-formula-group id=
"S2.E9"
>
<disp-formula>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.E9.m5"
alttext=
"\displaystyle a_{21}=b_{21}"
display=
"inline"
>
<mml:mrow>
<mml:msub>
<mml:mi>a</mml:mi>
<mml:mn>21</mml:mn>
</mml:msub>
<mml:mo>=</mml:mo>
<mml:msub>
<mml:mi>b</mml:mi>
<mml:mn>21</mml:mn>
</mml:msub>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.E9.m6"
alttext=
"\displaystyle a_{22}=b_{22}+c_{22}"
display=
"inline"
>
<mml:mrow>
<mml:msub>
<mml:mi>a</mml:mi>
<mml:mn>22</mml:mn>
</mml:msub>
<mml:mo>=</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>b</mml:mi>
<mml:mn>22</mml:mn>
</mml:msub>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mi>c</mml:mi>
<mml:mn>22</mml:mn>
</mml:msub>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
</disp-formula-group>
</disp-formula-group>
<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>
<mml:mo>=</mml:mo>
<mml:msub>
<mml:mi>b</mml:mi>
<mml:mn>11</mml:mn>
</mml:msub>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.Ex2.m6"
alttext=
"\displaystyle a_{12}=b_{12}"
display=
"inline"
>
<mml:mrow>
<mml:msub>
<mml:mi>a</mml:mi>
<mml:mn>12</mml:mn>
</mml:msub>
<mml:mo>=</mml:mo>
<mml:msub>
<mml:mi>b</mml:mi>
<mml:mn>12</mml:mn>
</mml:msub>
</mml:mrow>
</mml:math>
</disp-formula>
</disp-formula-group>
<disp-formula-group id=
"S2.Ex3"
>
<disp-formula>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.Ex3.m5"
alttext=
"\displaystyle a_{21}=b_{21}"
display=
"inline"
>
<mml:mrow>
<mml:msub>
<mml:mi>a</mml:mi>
<mml:mn>21</mml:mn>
</mml:msub>
<mml:mo>=</mml:mo>
<mml:msub>
<mml:mi>b</mml:mi>
<mml:mn>21</mml:mn>
</mml:msub>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula>
<mml:math xmlns:mml=
"http://www.w3.org/1998/Math/MathML"
id=
"S2.Ex3.m6"
alttext=
"\displaystyle a_{22}=b_{22}+c_{22}"
display=
"inline"
>
<mml:mrow>
<mml:msub>
<mml:mi>a</mml:mi>
<mml:mn>22</mml:mn>
</mml:msub>
<mml:mo>=</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>b</mml:mi>
<mml:mn>22</mml:mn>
</mml:msub>
<mml:mo>+</mml:mo>
<mml:msub>
<mml:mi>c</mml:mi>
<mml:mn>22</mml:mn>
</mml:msub>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
</disp-formula-group>
</disp-formula-group>
<sec id=
"S2.SS1"
>
<title>2.1. A subsection</title>
<p id=
"S2.SS1.p1"
>Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed
do
eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo co...
<sec id=
"S2.SS1.SSS1"
>
<title>2.1.1. A subsubsection</title>
<p id=
"S2.SS1.SSS1.p1"
>Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed
do
eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea com...
<boxed-text id=
"S2.SS1.SSS1.Px1"
>
<caption>
<p>A Paragraph</p>
</caption>
t/daemon/formats/jats.xml view on Meta::CPAN
603604605606607608609610611612613614615616617618
</sec>
<title>Sample amsart</title>
</body>
<back>
<ack>
<p>My Mommy.</p>
</ack>
<
ref
-list>
<title>References</title>
<
ref
id=
"bib.bib1"
>
<mixed-citation><person-group person-group-type=
"author"
><name><surname>Stegun</surname><
given
-names>Abramowitz and </
given
-names></name></person-group><year>1964</year><article-title>Handbook of mathematical functions
with
formulas, graphs, ...
</
ref
>
</
ref
-list>
<app-group/>
</back>
</article>
t/daemon/formats/makebib.xml view on Meta::CPAN
789101112131415161718192021222324252627
<biblist>
<bibentry key=
"abramowitz+stegun"
type=
"book"
xml:id=
"bib.bib1"
>
<bib-name role=
"author"
>
<surname>Abramowitz</surname>
<givenname>Milton</givenname>
</bib-name>
<bib-name role=
"author"
>
<surname>Stegun</surname>
<givenname>Irene A.</givenname>
</bib-name>
<bib-title>Handbook of mathematical functions
with
formulas, graphs, and mathematical tables</bib-title>
<bib-publisher>Dover</bib-publisher>
<bib-date role=
"publication"
>1964</bib-date>
<bib-place>New York</bib-place>
<bib-edition>ninth Dover printing, tenth GPO printing</bib-edition>
<bib-data role=
"self"
type=
"BibTeX"
>
@book
{abramowitz+stegun,
author = {Milton {Abramowitz} and Irene A. {Stegun}},
title = {Handbook of Mathematical Functions
with
Formulas, Graphs, and Mathematical Tables},
publisher = {Dover},
year = {1964},
t/daemon/formats/tei.xml view on Meta::CPAN
949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189
</textClass>
</profileDesc>
</teiHeader>
<text>
<body>
<div type=
"section"
n=
"1"
xml:id=
"S1"
>
<head>Introduction</head>
<p xml:id=
"S1.p1"
>As discussed in [<
ref
target=
"bib.bib1"
>AS64</
ref
>],
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed
do
eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure d...
<p>
<formula notation=
"mathml"
xml:id=
"S1.E1"
>
<m:mrow>
<m:mrow>
<m:mi>a</m:mi>
<m:mo>+</m:mo>
<m:mi>b</m:mi>
</m:mrow>
<m:mo>,</m:mo>
</m:mrow>
</m:math>
</formula>
</p>
<p>
<formula notation=
"mathml"
xml:id=
"S1.E2"
>
<m:mrow>
<m:mrow>
<m:mi>c</m:mi>
<m:mo>+</m:mo>
<m:mi>d</m:mi>
</m:mrow>
<m:mo>,</m:mo>
</m:mrow>
</m:math>
</formula>
</p>
<figure xml:id=
"S1.F1"
>
<head>A Figure</head>
<p>A Figure</p>
</figure>
<table xml:id=
"S1.T1"
>
<head>A Table</head>
<row>
<cell>Heading</cell>
<cell>Foo</cell>
<cell>Bar</cell>
</row>
<row>
<cell>a</cell>
<cell>
<formula notation=
"mathml"
rend=
"inline"
xml:id=
"S1.T1.m1"
>
<m:mi>x</m:mi>
</m:math>
</formula>
</cell>
<cell>
<formula notation=
"mathml"
rend=
"inline"
xml:id=
"S1.T1.m2"
>
<m:msup>
<m:mi>x</m:mi>
<m:mn>2</m:mn>
</m:msup>
</m:math>
</formula>
</cell>
</row>
<row>
<cell>b</cell>
<cell>
<formula notation=
"mathml"
rend=
"inline"
xml:id=
"S1.T1.m3"
>
<m:msup>
<m:mi>y</m:mi>
<m:mn>2</m:mn>
</m:msup>
</m:math>
</formula>
</cell>
<cell>
<formula notation=
"mathml"
rend=
"inline"
xml:id=
"S1.T1.m4"
>
<m:mi>y</m:mi>
</m:math>
</formula>
</cell>
</row>
</table>
<p>
<list rend=
"bulleted"
xml:id=
"S1.I1"
>
<label>•</label>
<item xml:id=
"S1.I1.i1"
>
<p xml:id=
"S1.I1.i1.p1"
>one</p>
</item>
<label>•</label>
t/daemon/formats/tei.xml view on Meta::CPAN
242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284
<p xml:id=
"S1.I3.ix3.p1"
>blah, blah. Moreover
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed
do
eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat.</p>
</item>
</list>
</div>
<div type=
"section"
n=
"2"
xml:id=
"S2"
>
<head>A Math Section</head>
<p xml:id=
"S2.p1"
>Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed
do
eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo co...
<p xml:id=
"S2.p2"
>Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.</p>
<p>
<formula notation=
"mathml"
xml:id=
"S2.Ex1"
>
<m:mrow>
<m:mi>a</m:mi>
<m:mo>=</m:mo>
<m:mi>b</m:mi>
</m:mrow>
</m:math>
</formula>
</p>
<p>
<formula notation=
"mathml"
xml:id=
"S2.E1"
>
<m:mrow>
<m:mi>a</m:mi>
<m:mo>=</m:mo>
<m:mi>b</m:mi>
</m:mrow>
</m:math>
</formula>
</p>
<p>
<formula notation=
"mathml"
xml:id=
"S2.E2"
>
<m:math xmlns:m=
"http://www.w3.org/1998/Math/MathML"
alttext=
"\begin{split}a&=b+c-d\\ &\quad+e-f\\ &=g+h\\ &=i\end{split}"
display=
"block"
>
<m:mtable columnspacing=
"0pt"
displaystyle=
"true"
rowspacing=
"0pt"
>
<m:mtr>
<m:mtd class=
"ltx_align_right"
columnalign=
"right"
>
<m:mi>a</m:mi>
</m:mtd>
<m:mtd class=
"ltx_align_left"
columnalign=
"left"
>
<m:mrow>
<m:mi/>
<m:mo>=</m:mo>
t/daemon/formats/tei.xml view on Meta::CPAN
326327328329330331332333334335336337338339340341342343344345346347348349
<m:mtd class=
"ltx_align_left"
columnalign=
"left"
>
<m:mrow>
<m:mi/>
<m:mo>=</m:mo>
<m:mi>i</m:mi>
</m:mrow>
</m:mtd>
</m:mtr>
</m:mtable>
</m:math>
</formula>
</p>
<p>
<formula notation=
"mathml"
xml:id=
"S2.E3"
>
<m:math xmlns:m=
"http://www.w3.org/1998/Math/MathML"
alttext=
"a+b+c+d+e+f\\ +i+j+k+l+m+n"
display=
"block"
>
<m:mtable displaystyle=
"true"
rowspacing=
"0pt"
>
<m:mtr>
<m:mtd class=
"ltx_align_left"
columnalign=
"left"
>
<m:mrow>
<m:mi>a</m:mi>
<m:mo>+</m:mo>
<m:mi>b</m:mi>
<m:mo>+</m:mo>
<m:mi>c</m:mi>
t/daemon/formats/tei.xml view on Meta::CPAN
371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416
<m:mi>l</m:mi>
<m:mo>+</m:mo>
<m:mi>m</m:mi>
<m:mo>+</m:mo>
<m:mi>n</m:mi>
</m:mrow>
</m:mtd>
</m:mtr>
</m:mtable>
</m:math>
</formula>
</p>
<p xml:id=
"S3.EGx1"
>
<formula notation=
"mathml"
xml:id=
"S2.E4"
>
<m:math xmlns:m=
"http://www.w3.org/1998/Math/MathML"
alttext=
"\displaystyle a_{1}=b_{1}+c_{1}"
display=
"block"
>
<m:mrow>
<m:msub>
<m:mi>a</m:mi>
<m:mn>1</m:mn>
</m:msub>
<m:mo>=</m:mo>
<m:mrow>
<m:msub>
<m:mi>b</m:mi>
<m:mn>1</m:mn>
</m:msub>
<m:mo>+</m:mo>
<m:msub>
<m:mi>c</m:mi>
<m:mn>1</m:mn>
</m:msub>
</m:mrow>
</m:mrow>
</m:math>
</formula>
<formula notation=
"mathml"
xml:id=
"S2.E5"
>
<m:math xmlns:m=
"http://www.w3.org/1998/Math/MathML"
alttext=
"\displaystyle a_{2}=b_{2}+c_{2}-d_{2}+e_{2}"
display=
"block"
>
<m:mrow>
<m:msub>
<m:mi>a</m:mi>
<m:mn>2</m:mn>
</m:msub>
<m:mo>=</m:mo>
<m:mrow>
<m:mrow>
<m:mrow>
t/daemon/formats/tei.xml view on Meta::CPAN
431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476
</m:msub>
</m:mrow>
<m:mo>+</m:mo>
<m:msub>
<m:mi>e</m:mi>
<m:mn>2</m:mn>
</m:msub>
</m:mrow>
</m:mrow>
</m:math>
</formula>
</p>
<p xml:id=
"S3.EGx2"
>
<formula notation=
"mathml"
xml:id=
"S2.E6"
>
<m:math xmlns:m=
"http://www.w3.org/1998/Math/MathML"
alttext=
"\displaystyle a_{1}=b_{1}+c_{1}"
display=
"inline"
>
<m:mrow>
<m:msub>
<m:mi>a</m:mi>
<m:mn>1</m:mn>
</m:msub>
<m:mo>=</m:mo>
<m:mrow>
<m:msub>
<m:mi>b</m:mi>
<m:mn>1</m:mn>
</m:msub>
<m:mo>+</m:mo>
<m:msub>
<m:mi>c</m:mi>
<m:mn>1</m:mn>
</m:msub>
</m:mrow>
</m:mrow>
</m:math>
</formula>
<formula notation=
"mathml"
xml:id=
"S2.E7"
>
<m:math xmlns:m=
"http://www.w3.org/1998/Math/MathML"
alttext=
"\displaystyle a_{2}=b_{2}+c_{2}-d_{2}+e_{2}"
display=
"inline"
>
<m:mrow>
<m:msub>
<m:mi>a</m:mi>
<m:mn>2</m:mn>
</m:msub>
<m:mo>=</m:mo>
<m:mrow>
<m:mrow>
<m:mrow>
t/daemon/formats/tei.xml view on Meta::CPAN
491492493494495496497498499500501502503504505506507508509510511512513514
</m:msub>
</m:mrow>
<m:mo>+</m:mo>
<m:msub>
<m:mi>e</m:mi>
<m:mn>2</m:mn>
</m:msub>
</m:mrow>
</m:mrow>
</m:math>
</formula>
</p>
<p xml:id=
"S3.EGx3"
>
<formula notation=
"mathml"
xml:id=
"S2.E8"
>
<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>
<m:msub>
<m:mi>b</m:mi>
<m:mn>11</m:mn>
t/daemon/formats/tei.xml view on Meta::CPAN
521522523524525526527528529530531532533534535536537538539540541542
<m:mi>a</m:mi>
<m:mn>12</m:mn>
</m:msub>
<m:mo>=</m:mo>
<m:msub>
<m:mi>b</m:mi>
<m:mn>12</m:mn>
</m:msub>
</m:mrow>
</m:math>
</formula>
<formula notation=
"mathml"
xml:id=
"S2.E9"
>
<m:math xmlns:m=
"http://www.w3.org/1998/Math/MathML"
alttext=
"\displaystyle a_{21}=b_{21}"
display=
"inline"
>
<m:mrow>
<m:msub>
<m:mi>a</m:mi>
<m:mn>21</m:mn>
</m:msub>
<m:mo>=</m:mo>
<m:msub>
<m:mi>b</m:mi>
<m:mn>21</m:mn>
t/daemon/formats/tei.xml view on Meta::CPAN
556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603
<m:mn>22</m:mn>
</m:msub>
<m:mo>+</m:mo>
<m:msub>
<m:mi>c</m:mi>
<m:mn>22</m:mn>
</m:msub>
</m:mrow>
</m:mrow>
</m:math>
</formula>
</p>
<p xml:id=
"S2.p10"
>Some text</p>
<p>
<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>
<m:msub>
<m:mi>b</m:mi>
<m:mn>11</m:mn>
t/daemon/formats/tei.xml view on Meta::CPAN
610611612613614615616617618619620621622623624625626627628629630631
<m:mi>a</m:mi>
<m:mn>12</m:mn>
</m:msub>
<m:mo>=</m:mo>
<m:msub>
<m:mi>b</m:mi>
<m:mn>12</m:mn>
</m:msub>
</m:mrow>
</m:math>
</formula>
<formula notation=
"mathml"
xml:id=
"S2.Ex3"
>
<m:math xmlns:m=
"http://www.w3.org/1998/Math/MathML"
alttext=
"\displaystyle a_{21}=b_{21}"
display=
"inline"
>
<m:mrow>
<m:msub>
<m:mi>a</m:mi>
<m:mn>21</m:mn>
</m:msub>
<m:mo>=</m:mo>
<m:msub>
<m:mi>b</m:mi>
<m:mn>21</m:mn>
t/daemon/formats/tei.xml view on Meta::CPAN
645646647648649650651652653654655656657658659660661662663664665
<m:mn>22</m:mn>
</m:msub>
<m:mo>+</m:mo>
<m:msub>
<m:mi>c</m:mi>
<m:mn>22</m:mn>
</m:msub>
</m:mrow>
</m:mrow>
</m:math>
</formula>
</p>
<div type=
"subsection"
n=
"2.1"
xml:id=
"S2.SS1"
>
<head>A subsection</head>
<p xml:id=
"S2.SS1.p1"
>Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed
do
eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea comm...
<div type=
"subsubsection"
n=
"2.1.1"
xml:id=
"S2.SS1.SSS1"
>
<head>A subsubsection</head>
<p xml:id=
"S2.SS1.SSS1.p1"
>Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed
do
eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ...
<div type=
"paragraph"
xml:id=
"S2.SS1.SSS1.Px1"
>
<head>A Paragraph</head>
<p xml:id=
"S2.SS1.SSS1.Px1.p1"
>Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est ...
t/daemon/formats/tei.xml view on Meta::CPAN
675676677678679680681682683684685686687688689690
</div>
<head>Sample amsart</head>
</body>
<back>
<div type=
"acknowledgements"
>
<p>My Mommy.</p>
</div>
<div type=
"references"
>
<listBibl>
<head>References</head>
<bibl xml:id=
"bib.bib1"
><author>Abramowitz and Stegun</author><title>Handbook of mathematical functions
with
formulas, graphs, and mathematical tables</title>M. Abramowitz and I. A. Stegun (<date>1964</date>)Handbook of mathematical functio...
</listBibl>
</div>
</back>
</text>
</TEI>
t/fonts/stmaryrd.xml view on Meta::CPAN
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950<?xml version=
"1.0"
encoding=
"UTF-8"
?>
<?latexml class=
"article"
?>
<?latexml
package
=
"stmaryrd"
?>
<?latexml RelaxNGSchema=
"LaTeXML"
?>
<resource src=
"LaTeXML.css"
type=
"text/css"
/>
<resource src=
"ltx-article.css"
type=
"text/css"
/>
<para xml:id=
"p1"
>
<equation xml:id=
"S0.Ex1"
>
<Math mode=
"display"
tex=
"a\Ydown b\quad a\Yleft b\quad a\Yright b\quad a\Yup b"
text=
"formulae@(a Ydown b, formulae@(a Yleft b, formulae@(a Yright b, a Yup b)))"
xml:id=
"S0.Ex1.m1"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex1.m1.1"
/>
<XMRef idref=
"S0.Ex1.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex1.m1.1"
>
<XMTok class=
"ltx_nounicode"
name=
"Ydown"
role=
"RELOP"
>\Ydown</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex1.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex1.m1.2.1"
/>
<XMRef idref=
"S0.Ex1.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex1.m1.2.1"
>
<XMTok class=
"ltx_nounicode"
name=
"Yleft"
role=
"RELOP"
>\Yleft</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex1.m1.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex1.m1.2.2.1"
/>
<XMRef idref=
"S0.Ex1.m1.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex1.m1.2.2.1"
>
<XMTok class=
"ltx_nounicode"
name=
"Yright"
role=
"RELOP"
>\Yright</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
5657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id=
"S0.Ex2"
>
<Math mode=
"display"
tex=
"a\baro b\quad a\bbslash b\quad a\binampersand b\quad a\bindnasrepma b"
text=
"formulae@(a apl-reversal b, formulae@(a bbslash b, formulae@(a additive-conjunction b, a multiplicative-disjunction b)))"
xml:id=
"S0.Ex2.m1"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex2.m1.1"
/>
<XMRef idref=
"S0.Ex2.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex2.m1.1"
>
<XMTok meaning=
"apl-reversal"
name=
"baro"
role=
"RELOP"
>⌽</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex2.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex2.m1.2.1"
/>
<XMRef idref=
"S0.Ex2.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex2.m1.2.1"
>
<XMTok name=
"bbslash"
role=
"RELOP"
>⑊</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex2.m1.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex2.m1.2.2.1"
/>
<XMRef idref=
"S0.Ex2.m1.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex2.m1.2.2.1"
>
<XMTok meaning=
"additive-conjunction"
name=
"binampersand"
role=
"RELOP"
>
&
;</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
112113114115116117118119120121122123124125126127128129130131132133134135136
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id=
"S0.Ex3"
>
<Math mode=
"display"
tex=
"a\boxast b\quad a\boxbar b\quad a\boxbox b\quad a\boxbslash b\quad a\boxcircle b% \quad a\boxdot b\quad a\boxempty b\quad a\boxslash b"
text="formulae@(list@(boxast@(a, b), a) boxbar b, list@(boxbox@(a, b), box...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex3.m1.3"
/>
<XMRef idref=
"S0.Ex3.m1.4"
/>
<XMRef idref=
"S0.Ex3.m1.5"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex3.m1.3"
>
<XMTok name=
"boxbar"
role=
"RELOP"
>â—«</XMTok>
<XMDual>
<XMApp>
<XMTok meaning=
"list"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246
<XMTok name=
"boxslash"
role=
"BINOP"
>â§„</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id=
"S0.Ex4"
>
<Math mode=
"display"
tex=
"a\curlyveedownarrow b\quad a\curlyveeuparrow b\quad a\curlywedgedownarrow b% \quad a\curlywedgeuparrow b"
text="formulae@(a curlyveedownarrow b, formulae@(a curlyveeuparrow b, formulae@(a curlywedgedownarrow b, a c...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex4.m1.1"
/>
<XMRef idref=
"S0.Ex4.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex4.m1.1"
>
<XMTok class=
"ltx_nounicode"
name=
"curlyveedownarrow"
role=
"ARROW"
>\curlyveedownarrow</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex4.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex4.m1.2.1"
/>
<XMRef idref=
"S0.Ex4.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex4.m1.2.1"
>
<XMTok class=
"ltx_nounicode"
name=
"curlyveeuparrow"
role=
"ARROW"
>\curlyveeuparrow</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex4.m1.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex4.m1.2.2.1"
/>
<XMRef idref=
"S0.Ex4.m1.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex4.m1.2.2.1"
>
<XMTok class=
"ltx_nounicode"
name=
"curlywedgedownarrow"
role=
"ARROW"
>\curlywedgedownarrow</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id=
"S0.Ex5"
>
<Math mode=
"display"
tex=
"a\fatbslash b\quad a\fatsemi b\quad a\fatslash b\quad a\interleave b"
text=
"formulae@(a fatbslash b, formulae@(a fatsemi b, formulae@(a fatslash b, a interleave b)))"
xml:id=
"S0.Ex5.m1"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex5.m1.1"
/>
<XMRef idref=
"S0.Ex5.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex5.m1.1"
>
<XMTok class=
"ltx_nounicode"
name=
"fatbslash"
role=
"ARROW"
>\fatbslash</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex5.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex5.m1.2.1"
/>
<XMRef idref=
"S0.Ex5.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex5.m1.2.1"
>
<XMTok name=
"fatsemi"
role=
"RELOP"
>⨟</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex5.m1.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex5.m1.2.2.1"
/>
<XMRef idref=
"S0.Ex5.m1.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex5.m1.2.2.1"
>
<XMTok class=
"ltx_nounicode"
name=
"fatslash"
role=
"ARROW"
>\fatslash</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id=
"S0.Ex6"
>
<Math mode=
"display"
tex=
"a\leftslice b\quad a\merge b\quad a\minuso b\quad a\moo b\quad a\nplus b"
text=
"formulae@(a leftslice b, formulae@(a merge b, a minuso list@(b, a * moo * b, a intersection-plus b)))"
xml:id=
"S0.Ex6.m1"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex6.m1.2"
/>
<XMRef idref=
"S0.Ex6.m1.3"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex6.m1.2"
>
<XMTok name=
"leftslice"
role=
"RELOP"
>⪦</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex6.m1.3"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex6.m1.3.1"
/>
<XMRef idref=
"S0.Ex6.m1.3.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex6.m1.3.1"
>
<XMTok name=
"merge"
role=
"RELOP"
>⨇</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467
</XMDual>
</XMApp>
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id=
"S0.Ex7"
>
<Math mode=
"display"
tex=
"a\obar b\quad a\oblong b\quad a\obslash b\quad a\ogreaterthan b\quad a% \olessthan b\quad a\ovee b\quad a\owedge b"
text="formulae@(a obar b, formulae@(a oblong b, formulae@(a obslash b, formulae@(a ogreaterthan b,...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex7.m1.1"
/>
<XMRef idref=
"S0.Ex7.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex7.m1.1"
>
<XMTok name=
"obar"
role=
"RELOP"
>⦶</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex7.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex7.m1.2.1"
/>
<XMRef idref=
"S0.Ex7.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex7.m1.2.1"
>
<XMTok name=
"oblong"
role=
"RELOP"
>⎕</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex7.m1.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex7.m1.2.2.1"
/>
<XMRef idref=
"S0.Ex7.m1.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex7.m1.2.2.1"
>
<XMTok name=
"obslash"
role=
"RELOP"
>⦸</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex7.m1.2.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex7.m1.2.2.2.1"
/>
<XMRef idref=
"S0.Ex7.m1.2.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex7.m1.2.2.2.1"
>
<XMTok name=
"ogreaterthan"
role=
"RELOP"
>â§</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex7.m1.2.2.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex7.m1.2.2.2.2.1"
/>
<XMRef idref=
"S0.Ex7.m1.2.2.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex7.m1.2.2.2.2.1"
>
<XMTok name=
"olessthan"
role=
"RELOP"
>â§€</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex7.m1.2.2.2.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex7.m1.2.2.2.2.2.1"
/>
<XMRef idref=
"S0.Ex7.m1.2.2.2.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex7.m1.2.2.2.2.2.1"
>
<XMTok name=
"ovee"
role=
"RELOP"
>∨âƒ</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id=
"S0.Ex8"
>
<Math mode=
"display"
tex=
"a\rightslice b\quad a\sslash b\quad a\talloblong b\quad a\varbigcirc b\quad a% \varcurlyvee b\quad a\varcurlywedge b"
text="formulae@(a rightslice b, formulae@(a sslash b, formulae@(a talloblong list@(b, a varbigci...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex8.m1.2"
/>
<XMRef idref=
"S0.Ex8.m1.3"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex8.m1.2"
>
<XMTok name=
"rightslice"
role=
"RELOP"
>⪧</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex8.m1.3"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex8.m1.3.1"
/>
<XMRef idref=
"S0.Ex8.m1.3.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex8.m1.3.1"
>
<XMTok name=
"sslash"
role=
"RELOP"
>⫽</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex8.m1.3.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex8.m1.3.2.1"
/>
<XMRef idref=
"S0.Ex8.m1.3.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex8.m1.3.2.1"
>
<XMTok name=
"talloblong"
role=
"RELOP"
>â«¿</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMDual>
<XMApp>
<XMTok meaning=
"list"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
537538539540541542543544545546547548549550551552553554555556557
<XMTok name=
"varbigcirc"
role=
"MULOP"
>â—¯</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
</XMWrap>
</XMDual>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex8.m1.3.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex8.m1.3.2.2.1"
/>
<XMRef idref=
"S0.Ex8.m1.3.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex8.m1.3.2.2.1"
>
<XMTok name=
"varcurlyvee"
role=
"RELOP"
>⋎</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
565566567568569570571572573574575576577578579580581582583584585586587588589
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id=
"S0.Ex9"
>
<Math mode=
"display"
tex=
"a\varoast b\quad a\varobar b\quad a\varobslash b\quad a\varocircle b\quad a% \varodot b\quad a\varogreaterthan b\quad a\varolessthan b"
text="formulae@(list@(a varoast b, a) varobar b, list@(a varobslash b, a varoc...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex9.m1.3"
/>
<XMRef idref=
"S0.Ex9.m1.4"
/>
<XMRef idref=
"S0.Ex9.m1.5"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex9.m1.3"
>
<XMTok name=
"varobar"
role=
"RELOP"
>⦶</XMTok>
<XMDual>
<XMApp>
<XMTok meaning=
"list"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
642643644645646647648649650651652653654655656657658659660661662663664665666
<XMTok name=
"varolessthan"
role=
"RELOP"
>â§€</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id=
"S0.Ex10"
>
<Math mode=
"display"
tex=
"a\varominus b\quad a\varoplus b\quad a\varoslash b\quad a\varotimes b\quad a% \varovee b\quad a\varowedge b\quad a\vartimes b"
text="formulae@(list@(a varominus b, a additive-disjunction b, a) varoslash b, list@(a ...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex10.m1.4"
/>
<XMRef idref=
"S0.Ex10.m1.5"
/>
<XMRef idref=
"S0.Ex10.m1.6"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex10.m1.4"
>
<XMTok name=
"varoslash"
role=
"RELOP"
>⊘</XMTok>
<XMDual>
<XMApp>
<XMTok meaning=
"list"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMTok name=
"trianglelefteqslant"
role=
"RELOP"
xml:id=
"S0.Ex14.m1.5"
>⊴</XMTok>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMTok name=
"trianglerighteqslant"
role=
"RELOP"
xml:id=
"S0.Ex14.m1.6"
>⊵</XMTok>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id=
"S0.Ex15"
>
<Math mode=
"display"
tex=
"a\subsetplus b\quad a\subsetpluseq b\quad a\supsetplus b\quad a\supsetpluseq b"
text=
"formulae@(a subset-plus b, formulae@(a subset-equals-plus b, formulae@(a superset-plus b, a superset-equals-plus b)))"
xml:id="S0.Ex...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex15.m1.1"
/>
<XMRef idref=
"S0.Ex15.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex15.m1.1"
>
<XMDual role=
"RELOP"
>
<XMTok meaning=
"subset-plus"
name=
"subsetplus"
role=
"RELOP"
/>
<XMWrap rule=
"kludge"
>
<XMTok meaning=
"subset-of"
name=
"subset"
role=
"RELOP"
>⊂</XMTok>
<XMTok fontsize=
"50%"
meaning=
"plus"
role=
"ADDOP"
width=
"0pt"
xoffset=
"-0.8em"
yoffset=
"0.3ex"
>+</XMTok>
</XMWrap>
</XMDual>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex15.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex15.m1.2.1"
/>
<XMRef idref=
"S0.Ex15.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex15.m1.2.1"
>
<XMDual role=
"RELOP"
>
<XMTok meaning=
"subset-equals-plus"
name=
"subsetpluseq"
role=
"RELOP"
/>
<XMWrap rule=
"kludge"
>
<XMTok meaning=
"subset-of-or-equals"
name=
"subseteq"
role=
"RELOP"
>⊆</XMTok>
<XMTok fontsize=
"50%"
meaning=
"plus"
role=
"ADDOP"
width=
"0pt"
xoffset=
"-0.8em"
yoffset=
"0.5ex"
>+</XMTok>
</XMWrap>
</XMDual>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex15.m1.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex15.m1.2.2.1"
/>
<XMRef idref=
"S0.Ex15.m1.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex15.m1.2.2.1"
>
<XMDual role=
"RELOP"
>
<XMTok meaning=
"superset-plus"
name=
"supsetplus"
role=
"RELOP"
/>
<XMWrap rule=
"kludge"
>
<XMTok meaning=
"superset-of"
name=
"supset"
role=
"RELOP"
>⊃</XMTok>
<XMTok fontsize=
"50%"
meaning=
"plus"
role=
"ADDOP"
width=
"0pt"
xoffset=
"-1em"
yoffset=
"0.3ex"
>+</XMTok>
t/fonts/stmaryrd.xml view on Meta::CPAN
9819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id=
"S0.Ex16"
>
<Math mode=
"display"
tex=
"a\mapsfromchar b\quad a\mapsfrom b\quad a\Mapsfromchar b\quad a\Mapsfrom b% \quad a\longmapsfrom b\quad a\Longmapsfrom b\quad"
text="formulae@(a mapsfromchar b, formulae@(a mapsfrom b, formulae@(a Mapsfromchar b, f...
<XMath>
<XMDual>
<XMRef idref=
"S0.Ex16.m1.1"
/>
<XMWrap>
<XMDual xml:id=
"S0.Ex16.m1.1"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex16.m1.1.1"
/>
<XMRef idref=
"S0.Ex16.m1.1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex16.m1.1.1"
>
<XMTok name=
"mapsfromchar"
role=
"RELOP"
>|</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex16.m1.1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex16.m1.1.2.1"
/>
<XMRef idref=
"S0.Ex16.m1.1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex16.m1.1.2.1"
>
<XMTok name=
"mapsfrom"
role=
"ARROW"
>↤</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex16.m1.1.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex16.m1.1.2.2.1"
/>
<XMRef idref=
"S0.Ex16.m1.1.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex16.m1.1.2.2.1"
>
<XMTok name=
"Mapsfromchar"
role=
"RELOP"
>|</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex16.m1.1.2.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex16.m1.1.2.2.2.1"
/>
<XMRef idref=
"S0.Ex16.m1.1.2.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex16.m1.1.2.2.2.1"
>
<XMTok name=
"Mapsfrom"
role=
"ARROW"
>⤆</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex16.m1.1.2.2.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex16.m1.1.2.2.2.2.1"
/>
<XMRef idref=
"S0.Ex16.m1.1.2.2.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex16.m1.1.2.2.2.2.1"
>
<XMTok name=
"longmapsfrom"
role=
"ARROW"
>⟻</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
10731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113
</XMDual>
</XMWrap>
</XMDual>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id=
"S0.Ex17"
>
<Math mode=
"display"
tex=
"a\Mapstochar b\quad a\Mapsto b\quad a\Longmapsto b\quad"
text=
"formulae@(a Mapstochar b, formulae@(a Mapsto b, a Longmapsto b))"
xml:id=
"S0.Ex17.m1"
>
<XMath>
<XMDual>
<XMRef idref=
"S0.Ex17.m1.1"
/>
<XMWrap>
<XMDual xml:id=
"S0.Ex17.m1.1"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex17.m1.1.1"
/>
<XMRef idref=
"S0.Ex17.m1.1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex17.m1.1.1"
>
<XMTok name=
"Mapstochar"
role=
"RELOP"
>|</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex17.m1.1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex17.m1.1.2.1"
/>
<XMRef idref=
"S0.Ex17.m1.1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex17.m1.1.2.1"
>
<XMTok name=
"Mapsto"
role=
"ARROW"
>⤇</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172
</XMDual>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
</para>
<para xml:id=
"p5"
>
<equation xml:id=
"S0.Ex18"
>
<Math mode=
"display"
tex=
"a\nnearrow b\quad a\nnwarrow b\quad a\ssearrow b\quad a\sswarrow b"
text=
"formulae@(a nnearrow b, formulae@(a nnwarrow b, formulae@(a ssearrow b, a sswarrow b)))"
xml:id=
"S0.Ex18.m1"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex18.m1.1"
/>
<XMRef idref=
"S0.Ex18.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex18.m1.1"
>
<XMTok class=
"ltx_nounicode"
name=
"nnearrow"
role=
"ARROW"
>\nnearrow</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex18.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex18.m1.2.1"
/>
<XMRef idref=
"S0.Ex18.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex18.m1.2.1"
>
<XMTok class=
"ltx_nounicode"
name=
"nnwarrow"
role=
"ARROW"
>\nnwarrow</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex18.m1.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex18.m1.2.2.1"
/>
<XMRef idref=
"S0.Ex18.m1.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex18.m1.2.2.1"
>
<XMTok class=
"ltx_nounicode"
name=
"ssearrow"
role=
"ARROW"
>\ssearrow</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
1180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
</para>
<para xml:id=
"p6"
>
<equation xml:id=
"S0.Ex19"
>
<Math mode=
"display"
tex=
"a\leftarrowtriangle b\quad a\rightarrowtriangle b\quad a% \leftrightarrowtriangle b\quad a\leftrightarroweq b\quad a\lightning b"
text="formulae@(a leftarrowtriangle b, formulae@(a rightarrowtriangle b, formulae@(a...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex19.m1.1"
/>
<XMRef idref=
"S0.Ex19.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex19.m1.1"
>
<XMTok name=
"leftarrowtriangle"
role=
"ARROW"
>⇽</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex19.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex19.m1.2.1"
/>
<XMRef idref=
"S0.Ex19.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex19.m1.2.1"
>
<XMTok name=
"rightarrowtriangle"
role=
"ARROW"
>⇾</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex19.m1.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex19.m1.2.2.1"
/>
<XMRef idref=
"S0.Ex19.m1.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex19.m1.2.2.1"
>
<XMTok name=
"leftrightarrowtriangle"
role=
"ARROW"
>⇿</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex19.m1.2.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex19.m1.2.2.2.1"
/>
<XMRef idref=
"S0.Ex19.m1.2.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex19.m1.2.2.2.1"
>
<XMDual role=
"ARROW"
>
<XMTok name=
"leftrightarroweq"
role=
"ARROW"
/>
<XMApp role=
"RELOP"
>
<XMTok role=
"SUPERSCRIPTOP"
scriptpos=
"mid1"
/>
<XMTok meaning=
"minus"
role=
"ADDOP"
>-</XMTok>
t/fonts/stmaryrd.xml view on Meta::CPAN
126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
</para>
<para xml:id=
"p7"
>
<equation xml:id=
"S0.Ex20"
>
<Math mode=
"display"
tex=
"a\shortdownarrow b\quad a\shortleftarrow b\quad a\shortrightarrow b\quad a\shortuparrow b"
text=
"formulae@(a shortdownarrow b, formulae@(a shortleftarrow b, formulae@(a shortrightarrow b, a shortuparrow b)))"
xml:i...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex20.m1.1"
/>
<XMRef idref=
"S0.Ex20.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex20.m1.1"
>
<XMTok name=
"shortdownarrow"
role=
"ARROW"
>↓</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex20.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex20.m1.2.1"
/>
<XMRef idref=
"S0.Ex20.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex20.m1.2.1"
>
<XMTok name=
"shortleftarrow"
role=
"ARROW"
>â†</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex20.m1.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex20.m1.2.2.1"
/>
<XMRef idref=
"S0.Ex20.m1.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex20.m1.2.2.1"
>
<XMTok name=
"shortrightarrow"
role=
"ARROW"
>→</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/fonts/stmaryrd.xml view on Meta::CPAN
131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id=
"S0.Ex21"
>
<Math mode=
"display"
tex=
"a\arrownot b\quad a\longarrownot b\quad a\Arrownot b\quad a\Longarrownot b"
text=
"formulae@(a arrownot b, formulae@(a longarrownot b, formulae@(a Arrownot b, a Longarrownot b)))"
xml:id=
"S0.Ex21.m1"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex21.m1.1"
/>
<XMRef idref=
"S0.Ex21.m1.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex21.m1.1"
>
<XMTok meaning=
"divide"
name=
"arrownot"
role=
"RELOP"
width=
"0pt"
>/</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex21.m1.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex21.m1.2.1"
/>
<XMRef idref=
"S0.Ex21.m1.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex21.m1.2.1"
>
<XMTok meaning=
"divide"
name=
"longarrownot"
role=
"RELOP"
width=
"0pt"
>/</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
<XMDual xml:id=
"S0.Ex21.m1.2.2"
>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex21.m1.2.2.1"
/>
<XMRef idref=
"S0.Ex21.m1.2.2.2"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex21.m1.2.2.1"
>
<XMTok meaning=
"divide"
name=
"Arrownot"
role=
"RELOP"
width=
"0pt"
>/</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
<XMHint name=
"quad"
role=
"PUNCT"
width=
"10pt"
/>
t/graphics/picture.tex view on Meta::CPAN
234235236237238239240241242243244245246247248249250251252253254\caption[{Representation of data in the binary interchange formats
for
binary32, binary64 and binary128.}]
{Floating-point arithmetic. Representation of data in the binary
interchange formats
for
binary32, binary64 and binary128
(previously single, double and quad precision).}
\end{figure}
\begin{table}[h]
\caption{Cubature formulas
for
disk and
square.}
\setlength{\unitlength}{0.35in}%
\divide\tabcolsep2\relax
%\renewcommand{\arraystretch}{2}%
\renewcommand{\arraystretch}{1.2}%
\makeatletter
\def\dodots{\
@ifnextchar
({\dodot}{}}%)
\def\dodot(
#1,#2){\put(#1,#2){\circle*{0.15}}\dodots}
\def\doaxes{%
\multiput(0,0)(0.1,0){10}{\line(1,0){0.05}}
t/graphics/picture.xml view on Meta::CPAN
10861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108
<caption class=
"ltx_centering"
><tag
close
=
": "
>Figure 2</tag>Floating-point arithmetic. Representation of data in the binary
interchange formats
for
binary32, binary64 and binary128
(previously single, double and quad precision).</caption>
</figure>
<table inlist=
"lot"
placement=
"h"
xml:id=
"S4.T1"
>
<tags>
<tag>Table 1</tag>
<tag role=
"refnum"
>1</tag>
<tag role=
"typerefnum"
>Table 1</tag>
</tags>
<toccaption><tag
close
=
" "
>1</tag>Cubature formulas
for
disk and
square.</toccaption>
<caption><tag
close
=
": "
>Table 1</tag>Cubature formulas
for
disk and
square.</caption>
<tabular class=
"ltx_centering ltx_guessed_headers"
colsep=
"3.0pt"
rowsep=
"2.0pt"
vattach=
"middle"
>
<thead>
<
tr
>
<td align=
"center"
border=
"tt"
class=
"ltx_nopad_r"
thead=
"column row"
>Diagram</td>
<td align=
"left"
border=
"tt"
class=
"ltx_nopad_l"
thead=
"column row"
><Math mode=
"inline"
tex=
"(x_{j},y_{j})"
text=
"open-interval@(x _ j, y _ j)"
xml:id=
"S4.T1.m1"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"open-interval"
/>
t/math/ambiguous_relations.xml view on Meta::CPAN
25262728293031323334353637383940414243444546474849
<XMTok meaning=
"less-than-or-equals"
role=
"RELOP"
>
<
;=</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>x</XMTok>
<XMTok meaning=
"0"
role=
"NUMBER"
>0</XMTok>
</XMApp>
</XMath>
</Math>
</equation>
</para>
<para xml:id=
"p3"
>
<equation xml:id=
"S0.Ex3"
>
<Math mode=
"display"
tex=
"<x,y>=0"
text=
"formulae@(absent < x, y >= 0)"
xml:id=
"S0.Ex3.m1"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex3.m1.3"
/>
<XMRef idref=
"S0.Ex3.m1.4"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex3.m1.3"
>
<XMTok meaning=
"less-than"
role=
"RELOP"
>
<
;</XMTok>
<XMTok meaning=
"absent"
/>
<XMTok font=
"italic"
role=
"UNKNOWN"
xml:id=
"S0.Ex3.m1.1"
>x</XMTok>
</XMApp>
<XMTok role=
"PUNCT"
>,</XMTok>
t/math/ambiguous_relations.xml view on Meta::CPAN
68697071727374757677787980818283848586878889909192
<XMTok font=
"italic"
role=
"UNKNOWN"
xml:id=
"S0.Ex4.m1.1"
>x</XMTok>
<XMTok role=
"PUNCT"
>,</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
xml:id=
"S0.Ex4.m1.2"
>y</XMTok>
<XMTok meaning=
"greater-than"
role=
"RELOP"
>
>
;</XMTok>
</XMath>
</Math>
</equation>
</para>
<para xml:id=
"p5"
>
<equation xml:id=
"S0.Ex5"
>
<Math mode=
"display"
tex=
"2<x,y>=z"
text=
"formulae@(2 < x, y >= z)"
xml:id=
"S0.Ex5.m1"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex5.m1.3"
/>
<XMRef idref=
"S0.Ex5.m1.4"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex5.m1.3"
>
<XMTok meaning=
"less-than"
role=
"RELOP"
>
<
;</XMTok>
<XMTok meaning=
"2"
role=
"NUMBER"
>2</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
xml:id=
"S0.Ex5.m1.1"
>x</XMTok>
</XMApp>
<XMTok role=
"PUNCT"
>,</XMTok>
t/math/ambiguous_relations.xml view on Meta::CPAN
125126127128129130131132133134135136137138139140141142143144145146147148149
<XMTok meaning=
"much-less-than"
role=
"RELOP"
>
<
;
<
;</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>a</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
>b</XMTok>
</XMApp>
</XMath>
</Math>
</equation>
</para>
<para xml:id=
"p8"
>
<equation xml:id=
"S0.Ex8"
>
<Math mode=
"display"
tex=
"0<<a,b>>1"
text=
"formulae@(0 << a, b >> 1)"
xml:id=
"S0.Ex8.m1"
>
<XMath>
<XMDual>
<XMApp>
<XMTok meaning=
"formulae"
/>
<XMRef idref=
"S0.Ex8.m1.3"
/>
<XMRef idref=
"S0.Ex8.m1.4"
/>
</XMApp>
<XMWrap>
<XMApp xml:id=
"S0.Ex8.m1.3"
>
<XMTok meaning=
"much-less-than"
role=
"RELOP"
>
<
;
<
;</XMTok>
<XMTok meaning=
"0"
role=
"NUMBER"
>0</XMTok>
<XMTok font=
"italic"
role=
"UNKNOWN"
xml:id=
"S0.Ex8.m1.1"
>a</XMTok>
</XMApp>
<XMTok role=
"PUNCT"
>,</XMTok>