LaTeXML
view release on metacpan or search on metacpan
lib/LaTeXML/Common/Config.pm view on Meta::CPAN
--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
Returns 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
#
# 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
# 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
# --- 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
$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
"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
$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
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
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
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
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
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
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
=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
# 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
#**********************************************************************
# 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
# 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
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# 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
DefMacroI('\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
DeclareOption('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
$::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
# 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
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
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
DefUnicodeMath('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
=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
<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>
<!-- Copy MathML as is, but use mml as namespace prefix,
since that's assumed by many non-XML aware JATS applications. -->
lib/LaTeXML/resources/XSLT/LaTeXML-tei.xsl view on Meta::CPAN
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:element name="m:{local-name()}" namespace="http://www.w3.org/1998/Math/MathML">
<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
$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
<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
</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
</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
<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
<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
</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% \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
<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
<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
</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
</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
<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
</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
<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
<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
<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
<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
<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
<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
</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
</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
</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
<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
</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:math xmlns:m="http://www.w3.org/1998/Math/MathML" alttext="a+b," display="block">
<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:math xmlns:m="http://www.w3.org/1998/Math/MathML" alttext="c+d," display="block">
<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:math xmlns:m="http://www.w3.org/1998/Math/MathML" alttext="x" display="inline">
<m:mi>x</m:mi>
</m:math>
</formula>
</cell>
<cell>
<formula notation="mathml" rend="inline" xml:id="S1.T1.m2">
<m:math xmlns:m="http://www.w3.org/1998/Math/MathML" alttext="x^{2}" display="inline">
<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:math xmlns:m="http://www.w3.org/1998/Math/MathML" alttext="y^{2}" display="inline">
<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:math xmlns:m="http://www.w3.org/1998/Math/MathML" alttext="y" display="inline">
<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
<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:math xmlns:m="http://www.w3.org/1998/Math/MathML" alttext="a=b" display="block">
<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:math xmlns:m="http://www.w3.org/1998/Math/MathML" alttext="a=b" display="block">
<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
<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
<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
</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
</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
<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
<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:math xmlns:m="http://www.w3.org/1998/Math/MathML" alttext="a=\text{something}" display="block">
<m:mrow>
<m:mi>a</m:mi>
<m:mo>=</m:mo>
<m:mtext>something</m:mtext>
</m:mrow>
</m:math>
</formula>
</p>
<note xml:id="Thmcorollary1">
<title>
<hi rend="italic">.</hi>
</title>
<p xml:id="Thmcorollary1.p1">Whatever!</p>
</note>
<note xml:id="Thmcorollaryx1">
<title>
<hi rend="italic">.</hi>
</title>
<p xml:id="Thmcorollaryx1.p1">And whatever.</p>
</note>
<p xml:id="S3.EGx4">
<formula notation="mathml" xml:id="S2.Ex2">
<m:math xmlns:m="http://www.w3.org/1998/Math/MathML" alttext="\displaystyle a_{11}=b_{11}" display="inline">
<m:mrow>
<m:msub>
<m:mi>a</m:mi>
<m:mn>11</m:mn>
</m:msub>
<m:mo>=</m:mo>
<m:msub>
<m:mi>b</m:mi>
<m:mn>11</m:mn>
t/daemon/formats/tei.xml view on Meta::CPAN
<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
<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
</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
<?xml version="1.0" encoding="UTF-8"?>
<?latexml class="article"?>
<?latexml package="stmaryrd"?>
<?latexml RelaxNGSchema="LaTeXML"?>
<document xmlns="http://dlmf.nist.gov/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
</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
</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
<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
</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
</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
</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
</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
<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
</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
<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
<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
</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
</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
</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
</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
</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
</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
\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
<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
<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
<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
<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>
( run in 0.594 second using v1.01-cache-2.11-cpan-454fe037f31 )