diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/example/background')
24 files changed, 0 insertions, 1666 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.aux b/Master/texmf-dist/doc/latex/stex/example/background/all.aux deleted file mode 100644 index dc50aac6bd6..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.aux +++ /dev/null @@ -1,28 +0,0 @@ -\relax -\ifx\hyper@anchor\@undefined -\global \let \oldcontentsline\contentsline -\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global \let \oldnewlabel\newlabel -\gdef \newlabel#1#2{\newlabelxx{#1}#2} -\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\let \contentsline\oldcontentsline -\let \newlabel\oldnewlabel} -\else -\global \let \hyper@last\relax -\fi - -\@writefile{toc}{\contentsline {section}{\numberline {1}Functions}{1}{section.1}} -\@sref@def{sec.functions}{page}{1} -\@sref@def{sec.functions}{label}{Section 1} -\@writefile{thm}{\contentsline {STdefinitionEnv}{{\st@definition@kw }{1}{}}{1}{STtheoremAssEnv.1}} -\@sref@def{functions.def}{page}{1} -\@sref@def{functions.def}{label}{Definition\nobreakspace {}1} -\@writefile{toc}{\contentsline {section}{\numberline {2}Real Numbers}{1}{section.2}} -\@sref@def{sec.reals}{page}{1} -\@sref@def{sec.reals}{label}{Section 2} -\@writefile{thm}{\contentsline {STdefinitionEnv}{{\st@definition@kw }{2}{}}{1}{STtheoremAssEnv.2}} -\@sref@def{reals.def}{page}{1} -\@sref@def{reals.def}{label}{Definition\nobreakspace {}2} -\@writefile{thm}{\contentsline {STdefinitionEnv}{{\st@definition@kw }{3}{}}{1}{STtheoremAssEnv.3}} -\@sref@def{absval.def}{page}{1} -\@sref@def{absval.def}{label}{Definition\nobreakspace {}3} diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.idx b/Master/texmf-dist/doc/latex/stex/example/background/all.idx deleted file mode 100644 index 0189e693a90..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.idx +++ /dev/null @@ -1,3 +0,0 @@ -\indexentry{function|hyperpage}{1} -\indexentry{real!numbers|hyperpage}{1} -\indexentry{numbers!real|hyperpage}{1} diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.ilg b/Master/texmf-dist/doc/latex/stex/example/background/all.ilg deleted file mode 100644 index 9a97b1089c1..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.ilg +++ /dev/null @@ -1,6 +0,0 @@ -This is makeindex, version 2.15 [TeX Live 2009] (kpathsea + Thai support). -Scanning input file all.idx....done (3 entries accepted, 0 rejected). -Sorting entries....done (5 comparisons). -Generating output file all.ind....done (15 lines written, 0 warnings). -Output written in all.ind. -Transcript written in all.ilg. diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.ind b/Master/texmf-dist/doc/latex/stex/example/background/all.ind deleted file mode 100644 index b19d7a0f072..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.ind +++ /dev/null @@ -1,15 +0,0 @@ -\begin{theindex} - - \item function, \hyperpage{1} - - \indexspace - - \item numbers - \subitem real, \hyperpage{1} - - \indexspace - - \item real - \subitem numbers, \hyperpage{1} - -\end{theindex} diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.log b/Master/texmf-dist/doc/latex/stex/example/background/all.log deleted file mode 100644 index 76f13f0dfac..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.log +++ /dev/null @@ -1,309 +0,0 @@ -This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009) (format=pdflatex 2009.11.16) 25 JUN 2010 12:12 -entering extended mode - file:line:error style messages enabled. - %&-line parsing enabled. -**all.tex -(./all.tex -LaTeX2e <2009/09/24> -Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh -yphenation, german-x-2009-06-19, ngerman-x-2009-06-19, ancientgreek, ibycus, ar -abic, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danish, dutc -h, esperanto, estonian, farsi, finnish, french, galician, german, ngerman, mono -greek, greek, hungarian, icelandic, indonesian, interlingua, irish, italian, ku -rmanji, latin, latvian, lithuanian, mongolian, mongolian2a, bokmal, nynorsk, po -lish, portuguese, romanian, russian, sanskrit, serbian, slovak, slovenian, span -ish, swedish, turkish, ukenglish, ukrainian, uppersorbian, welsh, loaded. -(/Users/kohlhase/stc/stex/sty/omdoc/omdoc.cls -Document Class: omdoc 2010/06/25 v1.0 OMDoc Documents -(/usr/local/texlive/2009/texmf-dist/tex/latex/base/article.cls -Document Class: article 2007/10/19 v1.4h Standard LaTeX document class -(/usr/local/texlive/2009/texmf-dist/tex/latex/base/size10.clo -File: size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option) -) -\c@part=\count79 -\c@section=\count80 -\c@subsection=\count81 -\c@subsubsection=\count82 -\c@paragraph=\count83 -\c@subparagraph=\count84 -\c@figure=\count85 -\c@table=\count86 -\abovecaptionskip=\skip41 -\belowcaptionskip=\skip42 -\bibindent=\dimen102 -) -(/Users/kohlhase/stc/stex/sty/omdoc/omdoc.sty -Package: omdoc 2010/06/25 v1.0 OMDoc document Structure -\section@level=\count87 - -(/Users/kohlhase/stc/stex/sty/sref/sref.sty -Package: sref 2010/06/25 v0.9 Semantic Cross-References - -(/Users/kohlhase/stc/stex/sty/omd/omd.sty -Package: omd 2010/06/25 v0.9 OMDoc Metadata Framework - -(/usr/local/texlive/2009/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 1999/03/16 v1.13 key=value parser (DPC) -\KV@toks@=\toks14 -))) -(/usr/local/texlive/2009/texmf-dist/tex/latex/comment/comment.sty -\CommentStream=\write3 - -Excluding comment 'comment') Excluding comment 'ignore')) -(/Users/kohlhase/stc/stex/sty/stex.sty -Package: stex 2010/02/04 v0.9b Semantic Markup - -(/Users/kohlhase/stc/stex/sty/stex-logo.sty -Package: stex-logo 2009/08/07 v1.0 sTeX Logo - -(/usr/local/texlive/2009/texmf-dist/tex/latex/tools/xspace.sty -Package: xspace 2006/05/08 v1.12 Space after command names (DPC,MH) -)) -(/Users/kohlhase/stc/stex/sty/modules/modules.sty -Package: modules 2010/06/25 v1.0 Semantic Markup - -(/usr/local/texlive/2009/texmf-dist/tex/latex/seminar/xcomment.sty -Style-Option: `xcomment' v1.2 <93/02/12> (tvz) -\tokout=\write4 -\tokin=\read1 -)) (/Users/kohlhase/stc/stex/sty/omtext/omtext.sty -Package: omtext 2010/06/25 v1.0 OMDoc Text Fragments -\@indexfile=\write5 -\openout5 = `all.idx'. - - -Writing index file all.idx -) (/Users/kohlhase/stc/stex/sty/statements/statements.sty -Package: statements 2010/06/25 v1.0 Semantic Markup for Statements - -(/usr/local/texlive/2009/texmf-dist/tex/latex/ntheorem/ntheorem.sty -Style `ntheorem', Version 1.25 <2005/07/07> -Package: ntheorem 2005/07/07 1.25 -\theorem@style=\toks15 -\theorem@@style=\toks16 -\theorembodyfont=\toks17 -\theoremnumbering=\toks18 -\theorempreskipamount=\skip43 -\theorempostskipamount=\skip44 -\theoremindent=\dimen103 -\theorem@indent=\dimen104 -\theoremheaderfont=\toks19 -\theoremseparator=\toks20 -\theoremprework=\toks21 -\theorempostwork=\toks22 -\theoremsymbol=\toks23 -\qedsymbol=\toks24 -\theoremkeyword=\toks25 -\qedsymbol=\toks26 -\thm@topsepadd=\skip45 -) -\c@STtheoremAssEnv=\count88 -) (/Users/kohlhase/stc/stex/sty/sproof/sproof.sty -Package: sproof 2010/06/25 v0.9f Semantic Markup for Proofs -) -(/Users/kohlhase/stc/stex/sty/presentation/presentation.sty -Package: presentation 2010/06/25 v1.0 presentation for semantic macros -) -(/Users/kohlhase/stc/stex/sty/dcm/dcm.sty -Package: dcm 2010/06/25 v0.3 Dublin Core Metadata -)) -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2009/10/09 v6.79a Hypertext links for LaTeX - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2009/04/10 v2.0 Provides the ifpdf switch (HO) -Package ifpdf Info: pdfTeX in pdf mode detected. -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifvtex.sty -Package: ifvtex 2008/11/04 v1.4 Switches for detecting VTeX and its modes (HO) -Package ifvtex Info: VTeX not detected. -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2009/01/23 v0.5 Provides ifxetex conditional -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/hycolor.sty -Package: hycolor 2009/10/02 v1.5 Code for color options of hyperref/bookmark (H -O) - -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty -Package: xcolor-patch 2009/10/02 xcolor patch -)) -\@linkdim=\dimen105 -\Hy@linkcounter=\count89 -\Hy@pagecounter=\count90 - -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2009/10/09 v6.79a Hyperref: PDFDocEncoding definition (HO) -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/etexcmds.sty -Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2007/09/09 v1.2 Providing info/warning/message (HO) -) -Package etexcmds Info: Could not find \expanded. -(etexcmds) That can mean that you are not using pdfTeX 1.50 or -(etexcmds) that some package has redefined \expanded. -(etexcmds) In the latter case, load this package earlier. -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2009/08/13 v3.4 Keyval support for LaTeX options (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty -Package: kvsetkeys 2009/07/30 v1.5 Key value parser with default handler suppor -t (HO) -)) -Package hyperref Info: Hyper figures OFF on input line 2975. -Package hyperref Info: Link nesting OFF on input line 2980. -Package hyperref Info: Hyper index ON on input line 2983. -Package hyperref Info: Plain pages OFF on input line 2990. -Package hyperref Info: Backreferencing OFF on input line 2995. - -Implicit mode ON; LaTeX internals redefined -Package hyperref Info: Bookmarks ON on input line 3191. -(/usr/local/texlive/2009/texmf-dist/tex/latex/ltxmisc/url.sty -\Urlmuskip=\muskip10 -Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. -) -LaTeX Info: Redefining \url on input line 3428. - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/bitset.sty -Package: bitset 2007/09/28 v1.0 Data type bit set (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/intcalc.sty -Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/bigintcalc.sty -Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty -Package: pdftexcmds 2009/09/23 v0.6 LuaTeX support for pdfTeX utility functions - (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifluatex.sty -Package: ifluatex 2009/04/17 v1.2 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2009/08/05 v1.0 Some LaTeX kernel commands for general use (HO -) -) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -))) -\Fld@menulength=\count91 -\Field@Width=\dimen106 -\Fld@charsize=\dimen107 -\Field@toks=\toks27 -Package hyperref Info: Hyper figures OFF on input line 4377. -Package hyperref Info: Link nesting OFF on input line 4382. -Package hyperref Info: Hyper index ON on input line 4385. -Package hyperref Info: backreferencing OFF on input line 4392. -Package hyperref Info: Link coloring OFF on input line 4397. -Package hyperref Info: Link coloring with OCG OFF on input line 4402. -Package hyperref Info: PDF/A mode OFF on input line 4407. - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/atbegshi.sty -Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO) -) -\Hy@abspage=\count92 -\c@Item=\count93 -\c@Hfootnote=\count94 -) -*hyperref using default driver hpdftex* -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2009/10/09 v6.79a Hyperref driver for pdfTeX -\Fld@listcount=\count95 -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2009/06/22 v3.00 - -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support -\@emptytoks=\toks28 -\symAMSa=\mathgroup4 -\symAMSb=\mathgroup5 -LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' -(Font) U/euf/m/n --> U/euf/b/n on input line 96. -)) -(./all.aux) -\openout1 = `all.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -Package hyperref Info: Link coloring OFF on input line 6. - (/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section - -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/refcount.sty -Package: refcount 2008/08/11 v3.1 Data extraction from references (HO) -) -\c@section@level=\count96 -) -LaTeX Info: Redefining \ref on input line 6. -LaTeX Info: Redefining \pageref on input line 6. - -(./all.out) (./all.out) -\@outlinefile=\write6 -\openout6 = `all.out'. - -\AtBeginShipoutBox=\box26 - (./functions.tex -LaTeX Font Info: Try loading font information for U+msa on input line 7. - -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2009/06/22 v3.00 AMS symbols A -) -LaTeX Font Info: Try loading font information for U+msb on input line 7. - -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2009/06/22 v3.00 AMS symbols B -) -Package hyperref Info: bookmark level for unknown STdefinitionEnv defaults to 0 - on input line 7. -) (./reals.tex) -\tf@thm=\write7 -\openout7 = `all.thm'. - - -[1 - -{/usr/local/texlive/2009/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] -(./all.aux) ) -Here is how much of TeX's memory you used: - 5197 strings out of 493848 - 77932 string characters out of 3149206 - 138119 words of memory out of 3000000 - 8372 multiletter control sequences out of 15000+200000 - 6252 words of font info for 25 fonts, out of 3000000 for 9000 - 714 hyphenation exceptions out of 8191 - 43i,4n,40p,281b,320s stack positions out of 5000i,500n,10000p,200000b,50000s -</usr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm -/cmbx10.pfb></usr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/ -cmbx12.pfb></usr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/c -mmi10.pfb></usr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cm -r10.pfb></usr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy -10.pfb></usr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/symbols/ -msbm10.pfb> -Output written on all.pdf (1 page, 63185 bytes). -PDF statistics: - 57 PDF objects out of 1000 (max. 8388607) - 14 named destinations out of 1000 (max. 500000) - 17 words of extra memory for PDF output out of 10000 (max. 10000000) - diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.out b/Master/texmf-dist/doc/latex/stex/example/background/all.out deleted file mode 100644 index 80902fd57c3..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.out +++ /dev/null @@ -1,2 +0,0 @@ -\BOOKMARK [1][-]{section.1}{Functions}{} -\BOOKMARK [1][-]{section.2}{Real Numbers}{} diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.pdf b/Master/texmf-dist/doc/latex/stex/example/background/all.pdf Binary files differdeleted file mode 100644 index 92075edc5ea..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml b/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml deleted file mode 100644 index 37ce2d0241e..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml +++ /dev/null @@ -1,240 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<?latexml searchpaths=".,../../sty,../../rnc,../../rnc/omdoc,../../sty/modules,../../sty/statements,../../sty/sproof,../../sty/omtext,../../sty/omdoc,../../sty/sref,../../sty/presentation,../../sty/dcm,../../sty/reqdoc,../../sty/omd,../../sty/mikoslides,../../sty/problem,../../sty/assignment,../../sty/etc,/Users/kohlhase/stc/stex/example/background,../../sty,../../rnc,../../rnc/omdoc,../../sty/modules,../../sty/statements,../../sty/sproof,../../sty/omtext,../../sty/omdoc,../../sty/sref,../../sty/presentation,../../sty/dcm,../../sty/reqdoc,../../sty/omd,../../sty/mikoslides,../../sty/problem,../../sty/assignment,../../sty/etc,/Users/kohlhase/stc/stex/example/background"?> -<?latexml class="omdoc"?> -<?latexml package="stex"?> -<?latexml package="hyperref,amssymb"?> -<?latexml RelaxNGSchema="omdoc+ltxml"?> -<omdoc xmlns="http://omdoc.org/ns" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:om="http://www.openmath.org/OpenMath" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:omdoc="http://omdoc.org/ns" stex:srcref="all.tex#textrange(from=5;1,to=5;17)" xml:id="all.omdoc"> - <omgroup layout="sectioning" xml:id="sec.functions" about="#sec.functions" stex:srcref="functions.tex#textrange(from=1;0,to=11;13)"> - <metadata xml:id="sec.functions.p1" about="#sec.functions.p1" stex:srcref="functions.tex#textrange(from=1;0,to=10;12)"> - <dc:title stex:srcref="functions.tex#textrange(from=1;0,to=11;13)" xml:id="sec.functions.p1.p1" about="#sec.functions.p1.p1"> - <p xml:id="sec.functions.p1.p1.p1" about="#sec.functions.p1.p1.p1" stex:srcref="functions.tex#textrange(from=1;0,to=11;13)">Functions</p> - </dc:title> - </metadata> - <theory xml:id="functions" about="#functions" stex:srcref="functions.tex#textrange(from=2;0,to=10;12)"> - <symbol name="cart" xml:id="cart.sym" about="#cart.sym" stex:srcref="functions.tex#textrange(from=3;0,to=3;55)"/> - <notation cd="functions" name="cart"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="cart"/> - <exprlist name="args"> - <expr name="arg"/> - </exprlist> - </om:OMA> - </prototype> - <rendering precedence="500"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <iterate name="args"> - <separator> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\times}" xml:id="functions.m2" text="CROSSREFOP@(*)"> - <XMath> - <XMApp role="CROSSREFOP"> - <XMTok cr="fun" role="CROSSREFOP"/> - <XMTok meaning="times" role="MULOP">×</XMTok> - </XMApp> - </XMath> - </Math> - </separator> - <render name="arg"/> - </iterate> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="fun" xml:id="fun.sym" about="#fun.sym" stex:srcref="functions.tex#textrange(from=4;1,to=4;72)"/> - <notation cd="functions" name="fun"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="fun"/> - <expr name="arg1"/> - <expr name="arg2"/> - <expr name="arg3"/> - </om:OMA> - </prototype> - <rendering argprec=" " precedence="200"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:1" xml:id="functions.m5" text="arg:1"> - <XMath> - <XMTok role="ID">arg:1</XMTok> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\colon}" xml:id="functions.m6" text="CROSSREFOP@(colon)"> - <XMath> - <XMApp role="CROSSREFOP"> - <XMTok cr="fun" role="CROSSREFOP"/> - <XMTok name="colon" role="METARELOP">:</XMTok> - </XMApp> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:2" xml:id="functions.m7" text="arg:2"> - <XMath> - <XMTok role="ID">arg:2</XMTok> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\rightarrow}" xml:id="functions.m8" text="CROSSREFOP@(rightarrow)"> - <XMath> - <XMApp role="CROSSREFOP"> - <XMTok cr="fun" role="CROSSREFOP"/> - <XMTok name="rightarrow" role="ARROW">→</XMTok> - </XMApp> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:3" xml:id="functions.m9" text="arg:3"> - <XMath> - <XMTok role="ID">arg:3</XMTok> - </XMath> - </Math> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="inset" xml:id="inset.sym" about="#inset.sym" stex:srcref="functions.tex#textrange(from=5;1,to=5;46)"/> - <notation cd="functions" name="inset"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="inset"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <rendering argprec=" " precedence="650"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:1" xml:id="functions.m12" text="arg:1"> - <XMath> - <XMTok role="ID">arg:1</XMTok> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\in}" xml:id="functions.m13" text="CROSSREFOP@(element-of)"> - <XMath> - <XMApp role="CROSSREFOP"> - <XMTok cr="fun" role="CROSSREFOP"/> - <XMTok meaning="element-of" name="in" role="RELOP">∈</XMTok> - </XMApp> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:2" xml:id="functions.m14" text="arg:2"> - <XMath> - <XMTok role="ID">arg:2</XMTok> - </XMath> - </Math> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="function" xml:id="function.def.sym" about="#function.def.sym" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"/> - <definition for="function" xml:id="functions.def" about="#functions.def" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> - <CMP xml:id="functions.def.p1" about="#functions.def.p1" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> - <p xml:id="functions.def.p1.p1" about="#functions.def.p1.p1" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> -A <idx xml:id="functions.def.p1.p1.p1" about="#functions.def.p1.p1.p1" stex:srcref="functions.tex#textrange(from=7;68,to=8;21)"><idt><term cd="functions" name="function" role="definiendum" xml:id="functions.def.p1.p1.p1.p1" about="#functions.def.p1.p1.p1.p1" stex:srcref="functions.tex#textrange(from=7;68,to=8;21)">function</term></idt><ide index="default"><idp><text xmlns="http://dlmf.nist.gov/LaTeXML">function</text></idp></ide></idx> <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\fun{f}{A}{B}" xml:id="functions.def.p1.p1.m1" text="fun@(f, A, B)"><XMath><XMApp><XMTok meaning="fun" name="fun" omcd="functions"/><XMTok role="UNKNOWN" font="italic">f</XMTok><XMTok role="UNKNOWN" font="italic">A</XMTok><XMTok role="UNKNOWN" font="italic">B</XMTok></XMApp></XMath></Math> is a left-total, right-unique relation in <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\cart{A,B}" xml:id="functions.def.p1.p1.m2" text="cart@(list@(A, B))"><XMath><XMApp><XMTok meaning="cart" name="cart" omcd="functions"/><XMApp><XMTok meaning="list" role="FENCED" separators=","/><XMTok role="UNKNOWN" font="italic">A</XMTok><XMTok role="UNKNOWN" font="italic">B</XMTok></XMApp></XMApp></XMath></Math> -</p> - </CMP> - </definition> - </theory> - </omgroup> - <!-- %%% Local Variables: - %%% mode: LaTeX - %%% TeX-master: "all" - %%% End:--> - <omgroup layout="sectioning" xml:id="sec.reals" about="#sec.reals" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)"> - <metadata xml:id="sec.reals.p1" about="#sec.reals.p1" stex:srcref="reals.tex#textrange(from=1;0,to=15;12)"> - <dc:title stex:srcref="reals.tex#textrange(from=1;0,to=16;13)" xml:id="sec.reals.p1.p1" about="#sec.reals.p1.p1"> - <p xml:id="sec.reals.p1.p1.p1" about="#sec.reals.p1.p1.p1" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)">Real Numbers</p> - </dc:title> - </metadata> - <theory xml:id="reals" about="#reals" stex:srcref="reals.tex#textrange(from=2;0,to=15;12)"> - <symbol name="RealNumbers" xml:id="RealNumbers.sym" about="#RealNumbers.sym" stex:srcref="reals.tex#textrange(from=3;1,to=3;33)"/> - <notation cd="reals" name="RealNumbers"> - <prototype> - <om:OMS cd="reals" name="RealNumbers"/> - </prototype> - <rendering> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" xml:id="reals.m1" text="R"> - <XMath> - <XMTok role="UNKNOWN" font="blackboard">R</XMTok> - </XMath> - </Math> - </rendering> - </notation> - <symbol name="absval" xml:id="absval.sym" about="#absval.sym" stex:srcref="reals.tex#textrange(from=4;1,to=4;43)"/> - <notation cd="reals" name="absval"> - <prototype> - <om:OMA> - <om:OMS cd="reals" cr="fun" name="absval"/> - <expr name="arg1"/> - </om:OMA> - </prototype> - <rendering argprec=" " precedence="2000"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{|}" xml:id="reals.m2" text="CROSSREFOP@(|)"> - <XMath> - <XMApp role="CROSSREFOP"> - <XMTok cr="fun" role="CROSSREFOP"/> - <XMTok role="VERTBAR">|</XMTok> - </XMApp> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:1" xml:id="reals.m3" text="arg:1"> - <XMath> - <XMTok role="ID">arg:1</XMTok> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{|}" xml:id="reals.m4" text="CROSSREFOP@(|)"> - <XMath> - <XMApp role="CROSSREFOP"> - <XMTok cr="fun" role="CROSSREFOP"/> - <XMTok role="VERTBAR">|</XMTok> - </XMApp> - </XMath> - </Math> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="rfrac" xml:id="rfrac.sym" about="#rfrac.sym" stex:srcref="reals.tex#textrange(from=5;1,to=5;33)"/> - <notation cd="reals" name="rfrac"> - <prototype> - <om:OMA> - <om:OMS cd="reals" cr="fun" name="rfrac"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <rendering> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" xml:id="reals.m5" text="arg:1 / arg:2"> - <XMath> - <XMApp> - <XMTok meaning="divide" role="MULOP" style="text"/> - <XMTok role="ID">arg:1</XMTok> - <XMTok role="ID">arg:2</XMTok> - </XMApp> - </XMath> - </Math> - </rendering> - </notation> - <symbol name="real-numbers" xml:id="real-numbers.def.sym" about="#real-numbers.def.sym" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"/> - <definition for="real-numbers" xml:id="reals.def" about="#reals.def" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> - <CMP xml:id="reals.def.p1" about="#reals.def.p1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> - <p xml:id="reals.def.p1.p1" about="#reals.def.p1.p1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> -We denote the set of <idx xml:id="reals.def.p1.p1.p1" about="#reals.def.p1.p1.p1" stex:srcref="reals.tex#textrange(from=7;27,to=8;47)"><idt><term cd="reals" name="real-numbers" role="definiendum" xml:id="reals.def.p1.p1.p1.p1" about="#reals.def.p1.p1.p1.p1" stex:srcref="reals.tex#textrange(from=7;27,to=8;47)">real numbers</term></idt><ide index="default"><idp><text xmlns="http://dlmf.nist.gov/LaTeXML">real</text></idp><idp><text xmlns="http://dlmf.nist.gov/LaTeXML">numbers</text></idp></ide></idx> we all know and love with -<Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\RealNumbers" xml:id="reals.def.p1.p1.m1" text="RealNumbers"><XMath><XMTok meaning="RealNumbers" name="RealNumbers" omcd="reals"/></XMath></Math>. -</p> - </CMP> - </definition> - <definition xml:id="absval.def" about="#absval.def" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> - <CMP xml:id="absval.def.p1" about="#absval.def.p1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> - <p xml:id="absval.def.p1.p1" about="#absval.def.p1.p1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> -The absolute value <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\absval{r}" xml:id="absval.def.p1.p1.m1" text="absval@(r)"><XMath><XMApp><XMTok meaning="absval" name="absval" omcd="reals"/><XMTok role="UNKNOWN" font="italic">r</XMTok></XMApp></XMath></Math> of a real number <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="r" xml:id="absval.def.p1.p1.m2" text="r"><XMath><XMTok role="UNKNOWN" font="italic">r</XMTok></XMath></Math>. -</p> - </CMP> - </definition> - </theory> - </omgroup> - <!-- %%% Local Variables: - %%% mode: LaTeX - %%% TeX-master: "all" - %%% End:--> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml.log deleted file mode 100644 index 416640aa334..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml.log +++ /dev/null @@ -1,49 +0,0 @@ - -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/TeX.pool.ltxml... 0.15 sec) - -(Digesting /Users/kohlhase/stc/stex/example/background/all... -(Processing all.tex... -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml... 0.12 sec) -(Loading ../../sty/omdoc/omdoc.cls.ltxml... -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/article.cls.ltxml... 0.02 sec) -(Loading ../../sty/sref/sref.sty.ltxml... -(Loading ../../sty/omd/omd.sty.ltxml... 0.10 sec) 0.14 sec) -(Loading ../../sty/omdoc/omdoc.sty.ltxml... -(Loading ../../sty/omtext/omtext.sty.ltxml... 0.06 sec) 0.11 sec) 0.37 sec) -(Loading ../../sty/stex.sty.ltxml... -(Loading ../../sty/stex-logo.sty.ltxml... 0.02 sec) -(Loading ../../sty/modules/modules.sty.ltxml... 0.04 sec) -(Loading ../../sty/statements/statements.sty.ltxml... 0.04 sec) -(Loading ../../sty/sproof/sproof.sty.ltxml... 0.03 sec) -(Loading ../../sty/presentation/presentation.sty.ltxml... 0.02 sec) -(Loading ../../sty/dcm/dcm.sty.ltxml... 0.05 sec) 0.35 sec) -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/hyperref.sty.ltxml... -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/url.sty.ltxml... 0.01 sec) 0.03 sec) -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/amssymb.sty.ltxml... -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/amsfonts.sty.ltxml... 0.01 sec) 0.05 sec) -(Processing functions.tex... 0.49 sec) -(Processing reals.tex... 0.03 sec) 1.60 sec) 1.64 sec) -(Building... -(Loading RelaxNG omdoc+ltxml... -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.openmath.org/OpenMath"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. 1.70 sec)......... 1.96 sec) -(Rewriting... 0.00 sec) -(Math Parsing...19 formulae ...[1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19] -Math parsing succeeded: - ltx:XMArg: 7/7 - ltx:XMath: 19/19 -Symbols assumed as simple identifiers (with # of occurences): - 'A{italic}' (1), 'B{italic}' (1) - 0.02 sec) -(Finalizing... 0.01 sec) -Conversion complete: 12 warnings. diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.thm b/Master/texmf-dist/doc/latex/stex/example/background/all.thm deleted file mode 100644 index 094040394df..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.thm +++ /dev/null @@ -1,3 +0,0 @@ -\contentsline {STdefinitionEnv}{{\st@definition@kw }{1}{}}{1}{STtheoremAssEnv.1} -\contentsline {STdefinitionEnv}{{\st@definition@kw }{2}{}}{1}{STtheoremAssEnv.2} -\contentsline {STdefinitionEnv}{{\st@definition@kw }{3}{}}{1}{STtheoremAssEnv.3} diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.xml b/Master/texmf-dist/doc/latex/stex/example/background/all.xml deleted file mode 100644 index cd9d3e6ae76..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.xml +++ /dev/null @@ -1,285 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<?latexml searchpaths=".,../../sty,../../rnc,../../rnc/omdoc,../../sty/modules,../../sty/statements,../../sty/sproof,../../sty/omtext,../../sty/omdoc,../../sty/sref,../../sty/presentation,../../sty/dcm,../../sty/reqdoc,../../sty/omd,../../sty/mikoslides,../../sty/problem,../../sty/assignment,../../sty/etc,/Users/kohlhase/stc/stex/example/background,../../sty,../../rnc,../../rnc/omdoc,../../sty/modules,../../sty/statements,../../sty/sproof,../../sty/omtext,../../sty/omdoc,../../sty/sref,../../sty/presentation,../../sty/dcm,../../sty/reqdoc,../../sty/omd,../../sty/mikoslides,../../sty/problem,../../sty/assignment,../../sty/etc,/Users/kohlhase/stc/stex/example/background"?> -<?latexml class="omdoc"?> -<?latexml package="stex"?> -<?latexml package="hyperref,amssymb"?> -<?latexml RelaxNGSchema="omdoc+ltxml"?> -<omdoc xmlns="http://omdoc.org/ns" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:om="http://www.openmath.org/OpenMath" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:omdoc="http://omdoc.org/ns" stex:srcref="all.tex#textrange(from=5;1,to=5;17)" xml:id="all.omdoc"> - <omgroup layout="sectioning" xml:id="sec.functions" about="#sec.functions" stex:srcref="functions.tex#textrange(from=1;0,to=11;13)"> - <metadata xml:id="sec.functions.p1" about="#sec.functions.p1" stex:srcref="functions.tex#textrange(from=1;0,to=10;12)"> - <dc:title stex:srcref="functions.tex#textrange(from=1;0,to=11;13)" xml:id="sec.functions.p1.p1" about="#sec.functions.p1.p1"> - <p xml:id="sec.functions.p1.p1.p1" about="#sec.functions.p1.p1.p1" stex:srcref="functions.tex#textrange(from=1;0,to=11;13)">Functions</p> - </dc:title> - </metadata> - <theory xml:id="functions" about="#functions" stex:srcref="functions.tex#textrange(from=2;0,to=10;12)"> - <symbol name="cart" xml:id="cart.sym" about="#cart.sym" stex:srcref="functions.tex#textrange(from=3;0,to=3;55)"/> - <notation cd="functions" name="cart"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="cart"/> - <exprlist name="args"> - <expr name="arg"/> - </exprlist> - </om:OMA> - </prototype> - <rendering precedence="500"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <iterate name="args"> - <separator> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\times}" xml:id="functions.m2" text="CROSSREFOP@(*)"> - <om:OMOBJ> - <om:OMA> - <om:OMV name=""/> - <om:OMS cd="arith1" name="times"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mo cr="fun">×</m:mo> - </m:math> - </Math> - </separator> - <render name="arg"/> - </iterate> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="fun" xml:id="fun.sym" about="#fun.sym" stex:srcref="functions.tex#textrange(from=4;1,to=4;72)"/> - <notation cd="functions" name="fun"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="fun"/> - <expr name="arg1"/> - <expr name="arg2"/> - <expr name="arg3"/> - </om:OMA> - </prototype> - <rendering argprec=" " precedence="200"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:1" xml:id="functions.m5" text="arg:1"> - <om:OMOBJ> - <om:OMV name="arg:1"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi>arg:1</m:mi> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\colon}" xml:id="functions.m6" text="CROSSREFOP@(colon)"> - <om:OMOBJ> - <om:OMA> - <om:OMV name=""/> - <om:OMV name=":"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mo cr="fun">:</m:mo> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:2" xml:id="functions.m7" text="arg:2"> - <om:OMOBJ> - <om:OMV name="arg:2"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi>arg:2</m:mi> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\rightarrow}" xml:id="functions.m8" text="CROSSREFOP@(rightarrow)"> - <om:OMOBJ> - <om:OMA> - <om:OMV name=""/> - <om:OMV name="rightarrow"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mo cr="fun">→</m:mo> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:3" xml:id="functions.m9" text="arg:3"> - <om:OMOBJ> - <om:OMV name="arg:3"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi>arg:3</m:mi> - </m:math> - </Math> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="inset" xml:id="inset.sym" about="#inset.sym" stex:srcref="functions.tex#textrange(from=5;1,to=5;46)"/> - <notation cd="functions" name="inset"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="inset"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <rendering argprec=" " precedence="650"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:1" xml:id="functions.m12" text="arg:1"> - <om:OMOBJ> - <om:OMV name="arg:1"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi>arg:1</m:mi> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\in}" xml:id="functions.m13" text="CROSSREFOP@(element-of)"> - <om:OMOBJ> - <om:OMA> - <om:OMV name=""/> - <om:OMS cd="latexml" name="element-of"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mo cr="fun">∈</m:mo> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:2" xml:id="functions.m14" text="arg:2"> - <om:OMOBJ> - <om:OMV name="arg:2"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi>arg:2</m:mi> - </m:math> - </Math> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="function" xml:id="function.def.sym" about="#function.def.sym" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"/> - <definition for="function" xml:id="functions.def" about="#functions.def" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> - <CMP xml:id="functions.def.p1" about="#functions.def.p1" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> - <p xml:id="functions.def.p1.p1" about="#functions.def.p1.p1" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> -A <idx xml:id="functions.def.p1.p1.p1" about="#functions.def.p1.p1.p1" stex:srcref="functions.tex#textrange(from=7;68,to=8;21)"><idt><term cd="functions" name="function" role="definiendum" xml:id="functions.def.p1.p1.p1.p1" about="#functions.def.p1.p1.p1.p1" stex:srcref="functions.tex#textrange(from=7;68,to=8;21)">function</term></idt><ide index="default"><idp><text xmlns="http://dlmf.nist.gov/LaTeXML">function</text></idp></ide></idx> <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\fun{f}{A}{B}" xml:id="functions.def.p1.p1.m1" text="fun@(f, A, B)"><om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMOBJ><m:math display="inline"><m:mrow><m:mi mathcolor="red">fun</m:mi><m:mo></m:mo><m:mrow><m:mi>f</m:mi><m:mo>, </m:mo><m:mi>A</m:mi><m:mo>, </m:mo><m:mi>B</m:mi></m:mrow></m:mrow></m:math></Math> is a left-total, right-unique relation in <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\cart{A,B}" xml:id="functions.def.p1.p1.m2" text="cart@(list@(A, B))"><om:OMOBJ><om:OMA><om:OMS cd="functions" name="cart"/><om:OMA><om:OMS cd="latexml" name="list"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMA></om:OMOBJ><m:math display="inline"><m:mrow><m:mi mathcolor="red">cart</m:mi><m:mo></m:mo><m:mrow><m:mi>A</m:mi><m:mo>,</m:mo><m:mi>B</m:mi></m:mrow></m:mrow></m:math></Math> -</p> - </CMP> - </definition> - </theory> - </omgroup> - <!-- %%% Local Variables: - %%% mode: LaTeX - %%% TeX-master: "all" - %%% End:--> - <omgroup layout="sectioning" xml:id="sec.reals" about="#sec.reals" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)"> - <metadata xml:id="sec.reals.p1" about="#sec.reals.p1" stex:srcref="reals.tex#textrange(from=1;0,to=15;12)"> - <dc:title stex:srcref="reals.tex#textrange(from=1;0,to=16;13)" xml:id="sec.reals.p1.p1" about="#sec.reals.p1.p1"> - <p xml:id="sec.reals.p1.p1.p1" about="#sec.reals.p1.p1.p1" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)">Real Numbers</p> - </dc:title> - </metadata> - <theory xml:id="reals" about="#reals" stex:srcref="reals.tex#textrange(from=2;0,to=15;12)"> - <symbol name="RealNumbers" xml:id="RealNumbers.sym" about="#RealNumbers.sym" stex:srcref="reals.tex#textrange(from=3;1,to=3;33)"/> - <notation cd="reals" name="RealNumbers"> - <prototype> - <om:OMS cd="reals" name="RealNumbers"/> - </prototype> - <rendering> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" xml:id="reals.m1" text="R"> - <om:OMOBJ> - <om:OMV name="R"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi mathvariant="double-struck">R</m:mi> - </m:math> - </Math> - </rendering> - </notation> - <symbol name="absval" xml:id="absval.sym" about="#absval.sym" stex:srcref="reals.tex#textrange(from=4;1,to=4;43)"/> - <notation cd="reals" name="absval"> - <prototype> - <om:OMA> - <om:OMS cd="reals" cr="fun" name="absval"/> - <expr name="arg1"/> - </om:OMA> - </prototype> - <rendering argprec=" " precedence="2000"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{|}" xml:id="reals.m2" text="CROSSREFOP@(|)"> - <om:OMOBJ> - <om:OMA> - <om:OMV name=""/> - <om:OMV name="|"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mo cr="fun">|</m:mo> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:1" xml:id="reals.m3" text="arg:1"> - <om:OMOBJ> - <om:OMV name="arg:1"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi>arg:1</m:mi> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{|}" xml:id="reals.m4" text="CROSSREFOP@(|)"> - <om:OMOBJ> - <om:OMA> - <om:OMV name=""/> - <om:OMV name="|"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mo cr="fun">|</m:mo> - </m:math> - </Math> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="rfrac" xml:id="rfrac.sym" about="#rfrac.sym" stex:srcref="reals.tex#textrange(from=5;1,to=5;33)"/> - <notation cd="reals" name="rfrac"> - <prototype> - <om:OMA> - <om:OMS cd="reals" cr="fun" name="rfrac"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <rendering> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" xml:id="reals.m5" text="arg:1 / arg:2"> - <om:OMOBJ> - <om:OMA> - <om:OMS cd="latexml" name="divide"/> - <om:OMV name="arg:1"/> - <om:OMV name="arg:2"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mfrac> - <m:mi>arg:1</m:mi> - <m:mi>arg:2</m:mi> - </m:mfrac> - </m:math> - </Math> - </rendering> - </notation> - <symbol name="real-numbers" xml:id="real-numbers.def.sym" about="#real-numbers.def.sym" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"/> - <definition for="real-numbers" xml:id="reals.def" about="#reals.def" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> - <CMP xml:id="reals.def.p1" about="#reals.def.p1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> - <p xml:id="reals.def.p1.p1" about="#reals.def.p1.p1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> -We denote the set of <idx xml:id="reals.def.p1.p1.p1" about="#reals.def.p1.p1.p1" stex:srcref="reals.tex#textrange(from=7;27,to=8;47)"><idt><term cd="reals" name="real-numbers" role="definiendum" xml:id="reals.def.p1.p1.p1.p1" about="#reals.def.p1.p1.p1.p1" stex:srcref="reals.tex#textrange(from=7;27,to=8;47)">real numbers</term></idt><ide index="default"><idp><text xmlns="http://dlmf.nist.gov/LaTeXML">real</text></idp><idp><text xmlns="http://dlmf.nist.gov/LaTeXML">numbers</text></idp></ide></idx> we all know and love with -<Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\RealNumbers" xml:id="reals.def.p1.p1.m1" text="RealNumbers"><om:OMOBJ><om:OMS cd="reals" name="RealNumbers"/></om:OMOBJ><m:math display="inline"><m:mi mathcolor="red">RealNumbers</m:mi></m:math></Math>. -</p> - </CMP> - </definition> - <definition xml:id="absval.def" about="#absval.def" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> - <CMP xml:id="absval.def.p1" about="#absval.def.p1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> - <p xml:id="absval.def.p1.p1" about="#absval.def.p1.p1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> -The absolute value <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\absval{r}" xml:id="absval.def.p1.p1.m1" text="absval@(r)"><om:OMOBJ><om:OMA><om:OMS cd="reals" name="absval"/><om:OMV name="r"/></om:OMA></om:OMOBJ><m:math display="inline"><m:mrow><m:mi mathcolor="red">absval</m:mi><m:mo></m:mo><m:mi>r</m:mi></m:mrow></m:math></Math> of a real number <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="r" xml:id="absval.def.p1.p1.m2" text="r"><om:OMOBJ><om:OMV name="r"/></om:OMOBJ><m:math display="inline"><m:mi>r</m:mi></m:math></Math>. -</p> - </CMP> - </definition> - </theory> - </omgroup> - <!-- %%% Local Variables: - %%% mode: LaTeX - %%% TeX-master: "all" - %%% End:--> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/all.xml.log deleted file mode 100644 index e69de29bb2d..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.xml.log +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/example/background/auto/all.el b/Master/texmf-dist/doc/latex/stex/example/background/auto/all.el deleted file mode 100644 index 00c090b4ab9..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/auto/all.el +++ /dev/null @@ -1,12 +0,0 @@ -(TeX-add-style-hook "all" - (lambda () - (TeX-run-style-hooks - "amssymb" - "hyperref" - "stex" - "latex2e" - "omdoc10" - "omdoc" - "functions" - "reals"))) - diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc.log b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc.log deleted file mode 100644 index e69de29bb2d..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc.log +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml b/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml deleted file mode 100644 index 3c3dc0a3bbe..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml +++ /dev/null @@ -1,138 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<?latexml searchpaths=".,../../sty,../../rnc,../../rnc/omdoc,../../sty/modules,../../sty/statements,../../sty/sproof,../../sty/omtext,../../sty/omdoc,../../sty/sref,../../sty/presentation,../../sty/dcm,../../sty/reqdoc,../../sty/omd,../../sty/mikoslides,../../sty/problem,../../sty/assignment,../../sty/etc,/Users/kohlhase/stc/stex/example/background"?> -<?latexml RelaxNGSchema="omdoc+ltxml"?> -<omdoc xmlns="http://omdoc.org/ns" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:om="http://www.openmath.org/OpenMath" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:omdoc="http://omdoc.org/ns" stex:srcref="Anonymous String#textrange(from=1;1,to=1;17)" xml:id="functions.omdoc"> - <omgroup layout="sectioning" xml:id="sec.functions" about="#sec.functions" stex:srcref="functions.tex#textrange(from=1;0,to=11;13)"> - <metadata xml:id="sec.functions.p1" about="#sec.functions.p1" stex:srcref="functions.tex#textrange(from=1;0,to=10;12)"> - <dc:title stex:srcref="functions.tex#textrange(from=1;0,to=11;13)" xml:id="sec.functions.p1.p1" about="#sec.functions.p1.p1"> - <p xml:id="sec.functions.p1.p1.p1" about="#sec.functions.p1.p1.p1" stex:srcref="functions.tex#textrange(from=1;0,to=11;13)">Functions</p> - </dc:title> - </metadata> - <theory xml:id="functions" about="#functions" stex:srcref="functions.tex#textrange(from=2;0,to=10;12)"> - <symbol name="cart" xml:id="cart.sym" about="#cart.sym" stex:srcref="functions.tex#textrange(from=3;0,to=3;55)"/> - <notation cd="functions" name="cart"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="cart"/> - <exprlist name="args"> - <expr name="arg"/> - </exprlist> - </om:OMA> - </prototype> - <rendering precedence="500"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <iterate name="args"> - <separator> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\times}" xml:id="functions.m2" text="CROSSREFOP@(*)"> - <XMath> - <XMApp role="CROSSREFOP"> - <XMTok cr="fun" role="CROSSREFOP"/> - <XMTok meaning="times" role="MULOP">×</XMTok> - </XMApp> - </XMath> - </Math> - </separator> - <render name="arg"/> - </iterate> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="fun" xml:id="fun.sym" about="#fun.sym" stex:srcref="functions.tex#textrange(from=4;1,to=4;72)"/> - <notation cd="functions" name="fun"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="fun"/> - <expr name="arg1"/> - <expr name="arg2"/> - <expr name="arg3"/> - </om:OMA> - </prototype> - <rendering argprec=" " precedence="200"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:1" xml:id="functions.m5" text="arg:1"> - <XMath> - <XMTok role="ID">arg:1</XMTok> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\colon}" xml:id="functions.m6" text="CROSSREFOP@(colon)"> - <XMath> - <XMApp role="CROSSREFOP"> - <XMTok cr="fun" role="CROSSREFOP"/> - <XMTok name="colon" role="METARELOP">:</XMTok> - </XMApp> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:2" xml:id="functions.m7" text="arg:2"> - <XMath> - <XMTok role="ID">arg:2</XMTok> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\rightarrow}" xml:id="functions.m8" text="CROSSREFOP@(rightarrow)"> - <XMath> - <XMApp role="CROSSREFOP"> - <XMTok cr="fun" role="CROSSREFOP"/> - <XMTok name="rightarrow" role="ARROW">→</XMTok> - </XMApp> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:3" xml:id="functions.m9" text="arg:3"> - <XMath> - <XMTok role="ID">arg:3</XMTok> - </XMath> - </Math> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="inset" xml:id="inset.sym" about="#inset.sym" stex:srcref="functions.tex#textrange(from=5;1,to=5;46)"/> - <notation cd="functions" name="inset"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="inset"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <rendering argprec=" " precedence="650"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:1" xml:id="functions.m12" text="arg:1"> - <XMath> - <XMTok role="ID">arg:1</XMTok> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\in}" xml:id="functions.m13" text="CROSSREFOP@(element-of)"> - <XMath> - <XMApp role="CROSSREFOP"> - <XMTok cr="fun" role="CROSSREFOP"/> - <XMTok meaning="element-of" name="in" role="RELOP">∈</XMTok> - </XMApp> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:2" xml:id="functions.m14" text="arg:2"> - <XMath> - <XMTok role="ID">arg:2</XMTok> - </XMath> - </Math> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="function" xml:id="function.def.sym" about="#function.def.sym" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"/> - <definition for="function" xml:id="functions.def" about="#functions.def" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> - <CMP xml:id="functions.def.p1" about="#functions.def.p1" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> - <p xml:id="functions.def.p1.p1" about="#functions.def.p1.p1" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> -A <idx xml:id="functions.def.p1.p1.p1" about="#functions.def.p1.p1.p1" stex:srcref="functions.tex#textrange(from=7;68,to=8;21)"><idt><term cd="functions" name="function" role="definiendum" xml:id="functions.def.p1.p1.p1.p1" about="#functions.def.p1.p1.p1.p1" stex:srcref="functions.tex#textrange(from=7;68,to=8;21)">function</term></idt><ide index="default"><idp><text xmlns="http://dlmf.nist.gov/LaTeXML">function</text></idp></ide></idx> <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\fun{f}{A}{B}" xml:id="functions.def.p1.p1.m1" text="fun@(f, A, B)"><XMath><XMApp><XMTok meaning="fun" name="fun" omcd="functions"/><XMTok role="UNKNOWN" font="italic">f</XMTok><XMTok role="UNKNOWN" font="italic">A</XMTok><XMTok role="UNKNOWN" font="italic">B</XMTok></XMApp></XMath></Math> is a left-total, right-unique relation in <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\cart{A,B}" xml:id="functions.def.p1.p1.m2" text="cart@(list@(A, B))"><XMath><XMApp><XMTok meaning="cart" name="cart" omcd="functions"/><XMApp><XMTok meaning="list" role="FENCED" separators=","/><XMTok role="UNKNOWN" font="italic">A</XMTok><XMTok role="UNKNOWN" font="italic">B</XMTok></XMApp></XMApp></XMath></Math> -</p> - </CMP> - </definition> - </theory> - </omgroup> - <!-- %%% Local Variables: - %%% mode: LaTeX - %%% TeX-master: "all" - %%% End:--> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml.log deleted file mode 100644 index dd838c7b779..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml.log +++ /dev/null @@ -1,27 +0,0 @@ - -(Digesting /Users/kohlhase/stc/stex/example/background/functions... -(Processing functions.tex... 0.06 sec) 0.06 sec) -(Building... -(Loading RelaxNG omdoc+ltxml... -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.openmath.org/OpenMath"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. 1.40 sec)...... 1.51 sec) -(Rewriting... 0.00 sec) -(Math Parsing...11 formulae ...[1][2][3][4][5][6][7][8][9][10][11] -Math parsing succeeded: - ltx:XMArg: 4/4 - ltx:XMath: 11/11 -Symbols assumed as simple identifiers (with # of occurences): - 'A{italic}' (1), 'B{italic}' (1) - 0.02 sec) -(Finalizing... 0.01 sec) -Conversion complete: 12 warnings. diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.xml b/Master/texmf-dist/doc/latex/stex/example/background/functions.xml deleted file mode 100644 index 631a76a0318..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/functions.xml +++ /dev/null @@ -1,165 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<?latexml searchpaths=".,../../sty,../../rnc,../../rnc/omdoc,../../sty/modules,../../sty/statements,../../sty/sproof,../../sty/omtext,../../sty/omdoc,../../sty/sref,../../sty/presentation,../../sty/dcm,../../sty/reqdoc,../../sty/omd,../../sty/mikoslides,../../sty/problem,../../sty/assignment,../../sty/etc,/Users/kohlhase/stc/stex/example/background"?> -<?latexml RelaxNGSchema="omdoc+ltxml"?> -<omdoc xmlns="http://omdoc.org/ns" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:om="http://www.openmath.org/OpenMath" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:omdoc="http://omdoc.org/ns" stex:srcref="Anonymous String#textrange(from=1;1,to=1;17)" xml:id="functions.omdoc"> - <omgroup layout="sectioning" xml:id="sec.functions" about="#sec.functions" stex:srcref="functions.tex#textrange(from=1;0,to=11;13)"> - <metadata xml:id="sec.functions.p1" about="#sec.functions.p1" stex:srcref="functions.tex#textrange(from=1;0,to=10;12)"> - <dc:title stex:srcref="functions.tex#textrange(from=1;0,to=11;13)" xml:id="sec.functions.p1.p1" about="#sec.functions.p1.p1"> - <p xml:id="sec.functions.p1.p1.p1" about="#sec.functions.p1.p1.p1" stex:srcref="functions.tex#textrange(from=1;0,to=11;13)">Functions</p> - </dc:title> - </metadata> - <theory xml:id="functions" about="#functions" stex:srcref="functions.tex#textrange(from=2;0,to=10;12)"> - <symbol name="cart" xml:id="cart.sym" about="#cart.sym" stex:srcref="functions.tex#textrange(from=3;0,to=3;55)"/> - <notation cd="functions" name="cart"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="cart"/> - <exprlist name="args"> - <expr name="arg"/> - </exprlist> - </om:OMA> - </prototype> - <rendering precedence="500"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <iterate name="args"> - <separator> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\times}" xml:id="functions.m2" text="CROSSREFOP@(*)"> - <om:OMOBJ> - <om:OMA> - <om:OMV name=""/> - <om:OMS cd="arith1" name="times"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mo cr="fun">×</m:mo> - </m:math> - </Math> - </separator> - <render name="arg"/> - </iterate> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="fun" xml:id="fun.sym" about="#fun.sym" stex:srcref="functions.tex#textrange(from=4;1,to=4;72)"/> - <notation cd="functions" name="fun"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="fun"/> - <expr name="arg1"/> - <expr name="arg2"/> - <expr name="arg3"/> - </om:OMA> - </prototype> - <rendering argprec=" " precedence="200"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:1" xml:id="functions.m5" text="arg:1"> - <om:OMOBJ> - <om:OMV name="arg:1"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi>arg:1</m:mi> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\colon}" xml:id="functions.m6" text="CROSSREFOP@(colon)"> - <om:OMOBJ> - <om:OMA> - <om:OMV name=""/> - <om:OMV name=":"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mo cr="fun">:</m:mo> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:2" xml:id="functions.m7" text="arg:2"> - <om:OMOBJ> - <om:OMV name="arg:2"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi>arg:2</m:mi> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\rightarrow}" xml:id="functions.m8" text="CROSSREFOP@(rightarrow)"> - <om:OMOBJ> - <om:OMA> - <om:OMV name=""/> - <om:OMV name="rightarrow"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mo cr="fun">→</m:mo> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:3" xml:id="functions.m9" text="arg:3"> - <om:OMOBJ> - <om:OMV name="arg:3"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi>arg:3</m:mi> - </m:math> - </Math> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="inset" xml:id="inset.sym" about="#inset.sym" stex:srcref="functions.tex#textrange(from=5;1,to=5;46)"/> - <notation cd="functions" name="inset"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="inset"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <rendering argprec=" " precedence="650"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:1" xml:id="functions.m12" text="arg:1"> - <om:OMOBJ> - <om:OMV name="arg:1"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi>arg:1</m:mi> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{\in}" xml:id="functions.m13" text="CROSSREFOP@(element-of)"> - <om:OMOBJ> - <om:OMA> - <om:OMV name=""/> - <om:OMS cd="latexml" name="element-of"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mo cr="fun">∈</m:mo> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:2" xml:id="functions.m14" text="arg:2"> - <om:OMOBJ> - <om:OMV name="arg:2"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi>arg:2</m:mi> - </m:math> - </Math> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="function" xml:id="function.def.sym" about="#function.def.sym" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"/> - <definition for="function" xml:id="functions.def" about="#functions.def" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> - <CMP xml:id="functions.def.p1" about="#functions.def.p1" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> - <p xml:id="functions.def.p1.p1" about="#functions.def.p1.p1" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> -A <idx xml:id="functions.def.p1.p1.p1" about="#functions.def.p1.p1.p1" stex:srcref="functions.tex#textrange(from=7;68,to=8;21)"><idt><term cd="functions" name="function" role="definiendum" xml:id="functions.def.p1.p1.p1.p1" about="#functions.def.p1.p1.p1.p1" stex:srcref="functions.tex#textrange(from=7;68,to=8;21)">function</term></idt><ide index="default"><idp><text xmlns="http://dlmf.nist.gov/LaTeXML">function</text></idp></ide></idx> <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\fun{f}{A}{B}" xml:id="functions.def.p1.p1.m1" text="fun@(f, A, B)"><om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMOBJ><m:math display="inline"><m:mrow><m:mi mathcolor="red">fun</m:mi><m:mo></m:mo><m:mrow><m:mi>f</m:mi><m:mo>, </m:mo><m:mi>A</m:mi><m:mo>, </m:mo><m:mi>B</m:mi></m:mrow></m:mrow></m:math></Math> is a left-total, right-unique relation in <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\cart{A,B}" xml:id="functions.def.p1.p1.m2" text="cart@(list@(A, B))"><om:OMOBJ><om:OMA><om:OMS cd="functions" name="cart"/><om:OMA><om:OMS cd="latexml" name="list"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMA></om:OMOBJ><m:math display="inline"><m:mrow><m:mi mathcolor="red">cart</m:mi><m:mo></m:mo><m:mrow><m:mi>A</m:mi><m:mo>,</m:mo><m:mi>B</m:mi></m:mrow></m:mrow></m:math></Math> -</p> - </CMP> - </definition> - </theory> - </omgroup> - <!-- %%% Local Variables: - %%% mode: LaTeX - %%% TeX-master: "all" - %%% End:--> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/functions.xml.log deleted file mode 100644 index e69de29bb2d..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/functions.xml.log +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/example/background/paper.tex.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/paper.tex.xml.log deleted file mode 100644 index 8e6af5e626f..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/paper.tex.xml.log +++ /dev/null @@ -1,146 +0,0 @@ - -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/TeX.pool.ltxml... 0.17 sec) - -(Digesting /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/example/paper/paper... -(Processing paper.tex... -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml... 0.14 sec) -(Loading ../../sty/omdoc/omdoc.cls.ltxml... -Warning:perl:warn Subroutine xmlBase redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33 -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/article.cls.ltxml... 0.06 sec) -(Loading ../../sty/sref/sref.sty.ltxml... -(Loading ../../sty/omd/omd.sty.ltxml... 0.00 sec) 0.03 sec) -(Loading ../../sty/omdoc/omdoc.sty.ltxml... -Warning:perl:warn Subroutine omdocColorMacro redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90 -(Loading ../../sty/omtext/omtext.sty.ltxml... -Warning:perl:warn Subroutine useCMPItemizations redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30 -Warning:perl:warn Subroutine DefCMPEnvironment redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58 -Warning:perl:warn Subroutine DefCMPConstructor redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65 -Warning:perl:warn Subroutine numberIt redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218 -Warning:perl:warn Subroutine locateIt redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233 0.04 sec) 0.09 sec) 0.25 sec) -(Loading ../../sty/stex.sty.ltxml... -(Loading ../../sty/stex-logo.sty.ltxml... 0.01 sec) -(Loading ../../sty/modules/modules.sty.ltxml... -Warning:perl:warn Subroutine use_module redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48 -Warning:perl:warn Subroutine omext redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63 -Warning:perl:warn Subroutine importmoduleI redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74 -Warning:perl:warn Subroutine symdef_presentation_pmml redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375 -Warning:perl:warn Subroutine getSymmdefProperties redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389 -Warning:perl:warn Subroutine get_cd redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412 -Warning:perl:warn Subroutine symdef_presentation_TeX redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463 0.02 sec) -(Loading ../../sty/statements/statements.sty.ltxml... -Warning:perl:warn Subroutine lowcase redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7 -Warning:perl:warn Subroutine dashed redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8 -Warning:perl:warn Subroutine makeNCName redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9 -Warning:perl:warn Subroutine simple_wrapper redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17 -Warning:perl:warn Subroutine hash_wrapper redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25 -Warning:perl:warn Subroutine declareFunctions redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33 -Warning:perl:warn Subroutine definitionBody redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75 0.05 sec) -(Loading ../../sty/sproof/sproof.sty.ltxml... -Warning:perl:warn Subroutine extractBodyText redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65 0.03 sec) -(Loading ../../sty/presentation/presentation.sty.ltxml... -Warning:perl:warn Subroutine argument_precedence redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57 -Warning:perl:warn Subroutine applyPrecedencePreferences redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71 -Warning:perl:warn Subroutine cvar_id redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303 0.02 sec) -(Loading ../../sty/dcm/dcm.sty.ltxml... -Warning:perl:warn Subroutine getKeyValue_noDelim redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7 -Warning:perl:warn Subroutine ExportMetadata redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13 -Warning:perl:warn Subroutine FishOutMetadata redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52 0.03 sec) 0.34 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/amssymb.sty.ltxml... -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/amsfonts.sty.ltxml... 0.01 sec) 0.07 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/alltt.sty.ltxml... 0.04 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/hyperref.sty.ltxml... -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/url.sty.ltxml... 0.01 sec) 0.03 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/listings.sty.ltxml... -(Style ../../../../../../../../../usr/local/texlive/2009/texmf-dist/tex/latex/listings/listings.cfg...[#25] 0.05 sec) -Info: expected:lstlang0.sty Couldn't find config file lstlang0.sty -In Gullet[@0x102619a50] /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/listings.sty.ltxml line 1178 -/opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/listings.sty.ltxml line 1178 -(Style ../../../../../../../../../usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang1.sty...[#25][#50][#75][#100][#125][#150][#175][#200][#225][#250][#275][#300][#325][#350][#375][#400][#425][#450][#475][#500][#525][#550][#575][#600][#625][#650][#675][#700][#725][#750][#775][#800][#825][#850][#875][#900][#925][#950][#975][#1000][#1025][#1050][#1075][#1100][#1125][#1150][#1175][#1200][#1225][#1250][#1275][#1300][#1325][#1350][#1375][#1400][#1425][#1450][#1475][#1500][#1525] 1.34 sec) -(Style ../../../../../../../../../usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang2.sty...[#25][#50][#75][#100][#125][#150][#175][#200][#225][#250][#275][#300][#325][#350][#375][#400][#425][#450][#475][#500][#525][#550][#575][#600][#625][#650][#675][#700][#725][#750][#775][#800][#825][#850][#875][#900][#925][#950][#975][#1000][#1025][#1050][#1075][#1100][#1125][#1150][#1175][#1200][#1225][#1250][#1275][#1300][#1325][#1350][#1375][#1400][#1425][#1450][#1475][#1500][#1525] 1.29 sec) -(Style ../../../../../../../../../usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang3.sty...[#25][#50][#75][#100][#125][#150][#175][#200][#225][#250][#275][#300][#325][#350][#375][#400][#425][#450][#475][#500][#525][#550][#575][#600][#625][#650][#675][#700][#725][#750][#775][#800][#825][#850][#875][#900][#925][#950][#975][#1000][#1025][#1050][#1075][#1100][#1125][#1150][#1175][#1200][#1225][#1250][#1275][#1300][#1325][#1350][#1375][#1400][#1425][#1450][#1475][#1500][#1525][#1550] 1.25 sec) 5.31 sec)[#25][#50][#75][#100] -(Processing continuous.tex... -(Processing ../background/functions.sms... 0.01 sec) -(Processing ../background/reals.sms... 0.01 sec) 0.10 sec) -(Processing differentiable.tex... 0.04 sec) 7.08 sec) 7.10 sec) -(Building... -(Loading RelaxNG omdoc+ltxml... -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.openmath.org/OpenMath"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName ns=""/><nsName ns="http://www.w3.org/XML/1998/namespace"/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating <anyName><except><nsName/></except></anyName> as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. 2.51 sec)................. 3.12 sec) -(Rewriting... 0.00 sec) -(Math Parsing...14 formulae ...[1][2][3][4][5][6][7][8][9][10][11][12][13][14] -Math parsing succeeded: - ltx:XMArg: 19/19 - ltx:XMath: 14/14 -Symbols assumed as simple identifiers (with # of occurences): - 'C{caligraphic}' (2), 'delta' (4), 'epsilon' (4), 'f{italic}' (4), 'x{italic}' (5), 'y{italic}' (5) -Possibly used as functions? - 'C{caligraphic}' (2/2 usages), 'f{italic}' (4/4 usages) - 0.29 sec) -(Finalizing... 0.02 sec) -Conversion complete: 40 warnings. diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc.log b/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc.log deleted file mode 100644 index e69de29bb2d..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc.log +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml b/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml deleted file mode 100644 index 30fd3d46171..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml +++ /dev/null @@ -1,104 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<?latexml searchpaths=".,../../sty,../../rnc,../../rnc/omdoc,../../sty/modules,../../sty/statements,../../sty/sproof,../../sty/omtext,../../sty/omdoc,../../sty/sref,../../sty/presentation,../../sty/dcm,../../sty/reqdoc,../../sty/omd,../../sty/mikoslides,../../sty/problem,../../sty/assignment,../../sty/etc,/Users/kohlhase/stc/stex/example/background"?> -<?latexml RelaxNGSchema="omdoc+ltxml"?> -<omdoc xmlns="http://omdoc.org/ns" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:om="http://www.openmath.org/OpenMath" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:omdoc="http://omdoc.org/ns" stex:srcref="Anonymous String#textrange(from=1;1,to=1;17)" xml:id="reals.omdoc"> - <omgroup layout="sectioning" xml:id="sec.reals" about="#sec.reals" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)"> - <metadata xml:id="sec.reals.p1" about="#sec.reals.p1" stex:srcref="reals.tex#textrange(from=1;0,to=15;12)"> - <dc:title stex:srcref="reals.tex#textrange(from=1;0,to=16;13)" xml:id="sec.reals.p1.p1" about="#sec.reals.p1.p1"> - <p xml:id="sec.reals.p1.p1.p1" about="#sec.reals.p1.p1.p1" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)">Real Numbers</p> - </dc:title> - </metadata> - <theory xml:id="reals" about="#reals" stex:srcref="reals.tex#textrange(from=2;0,to=15;12)"> - <symbol name="RealNumbers" xml:id="RealNumbers.sym" about="#RealNumbers.sym" stex:srcref="reals.tex#textrange(from=3;1,to=3;33)"/> - <notation cd="reals" name="RealNumbers"> - <prototype> - <om:OMS cd="reals" name="RealNumbers"/> - </prototype> - <rendering> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" xml:id="reals.m1" text="R"> - <XMath> - <XMTok role="UNKNOWN" font="blackboard">R</XMTok> - </XMath> - </Math> - </rendering> - </notation> - <symbol name="absval" xml:id="absval.sym" about="#absval.sym" stex:srcref="reals.tex#textrange(from=4;1,to=4;43)"/> - <notation cd="reals" name="absval"> - <prototype> - <om:OMA> - <om:OMS cd="reals" cr="fun" name="absval"/> - <expr name="arg1"/> - </om:OMA> - </prototype> - <rendering argprec=" " precedence="2000"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{|}" xml:id="reals.m2" text="CROSSREFOP@(|)"> - <XMath> - <XMApp role="CROSSREFOP"> - <XMTok cr="fun" role="CROSSREFOP"/> - <XMTok role="VERTBAR">|</XMTok> - </XMApp> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:1" xml:id="reals.m3" text="arg:1"> - <XMath> - <XMTok role="ID">arg:1</XMTok> - </XMath> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{|}" xml:id="reals.m4" text="CROSSREFOP@(|)"> - <XMath> - <XMApp role="CROSSREFOP"> - <XMTok cr="fun" role="CROSSREFOP"/> - <XMTok role="VERTBAR">|</XMTok> - </XMApp> - </XMath> - </Math> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="rfrac" xml:id="rfrac.sym" about="#rfrac.sym" stex:srcref="reals.tex#textrange(from=5;1,to=5;33)"/> - <notation cd="reals" name="rfrac"> - <prototype> - <om:OMA> - <om:OMS cd="reals" cr="fun" name="rfrac"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <rendering> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" xml:id="reals.m5" text="arg:1 / arg:2"> - <XMath> - <XMApp> - <XMTok meaning="divide" role="MULOP" style="text"/> - <XMTok role="ID">arg:1</XMTok> - <XMTok role="ID">arg:2</XMTok> - </XMApp> - </XMath> - </Math> - </rendering> - </notation> - <symbol name="real-numbers" xml:id="real-numbers.def.sym" about="#real-numbers.def.sym" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"/> - <definition for="real-numbers" xml:id="reals.def" about="#reals.def" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> - <CMP xml:id="reals.def.p1" about="#reals.def.p1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> - <p xml:id="reals.def.p1.p1" about="#reals.def.p1.p1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> -We denote the set of <idx xml:id="reals.def.p1.p1.p1" about="#reals.def.p1.p1.p1" stex:srcref="reals.tex#textrange(from=7;27,to=8;47)"><idt><term cd="reals" name="real-numbers" role="definiendum" xml:id="reals.def.p1.p1.p1.p1" about="#reals.def.p1.p1.p1.p1" stex:srcref="reals.tex#textrange(from=7;27,to=8;47)">real numbers</term></idt><ide index="default"><idp><text xmlns="http://dlmf.nist.gov/LaTeXML">real</text></idp><idp><text xmlns="http://dlmf.nist.gov/LaTeXML">numbers</text></idp></ide></idx> we all know and love with -<Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\RealNumbers" xml:id="reals.def.p1.p1.m1" text="RealNumbers"><XMath><XMTok meaning="RealNumbers" name="RealNumbers" omcd="reals"/></XMath></Math>. -</p> - </CMP> - </definition> - <definition xml:id="absval.def" about="#absval.def" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> - <CMP xml:id="absval.def.p1" about="#absval.def.p1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> - <p xml:id="absval.def.p1.p1" about="#absval.def.p1.p1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> -The absolute value <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\absval{r}" xml:id="absval.def.p1.p1.m1" text="absval@(r)"><XMath><XMApp><XMTok meaning="absval" name="absval" omcd="reals"/><XMTok role="UNKNOWN" font="italic">r</XMTok></XMApp></XMath></Math> of a real number <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="r" xml:id="absval.def.p1.p1.m2" text="r"><XMath><XMTok role="UNKNOWN" font="italic">r</XMTok></XMath></Math>. -</p> - </CMP> - </definition> - </theory> - </omgroup> - <!-- %%% Local Variables: - %%% mode: LaTeX - %%% TeX-master: "all" - %%% End:--> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml.log deleted file mode 100644 index aae799e00aa..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml.log +++ /dev/null @@ -1,12 +0,0 @@ - -(Digesting /Users/kohlhase/stc/stex/example/background/reals... -(Processing reals.tex... 0.03 sec) 0.04 sec) -(Building....... 0.03 sec) -(Rewriting... 0.00 sec) -(Math Parsing...8 formulae ...[1][2][3][4][5][6][7][8] -Math parsing succeeded: - ltx:XMArg: 3/3 - ltx:XMath: 8/8 - 0.00 sec) -(Finalizing... 0.00 sec) -Conversion complete: No obvious problems. diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.xml b/Master/texmf-dist/doc/latex/stex/example/background/reals.xml deleted file mode 100644 index 3e5069c314e..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/reals.xml +++ /dev/null @@ -1,122 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<?latexml searchpaths=".,../../sty,../../rnc,../../rnc/omdoc,../../sty/modules,../../sty/statements,../../sty/sproof,../../sty/omtext,../../sty/omdoc,../../sty/sref,../../sty/presentation,../../sty/dcm,../../sty/reqdoc,../../sty/omd,../../sty/mikoslides,../../sty/problem,../../sty/assignment,../../sty/etc,/Users/kohlhase/stc/stex/example/background"?> -<?latexml RelaxNGSchema="omdoc+ltxml"?> -<omdoc xmlns="http://omdoc.org/ns" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:om="http://www.openmath.org/OpenMath" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:omdoc="http://omdoc.org/ns" stex:srcref="Anonymous String#textrange(from=1;1,to=1;17)" xml:id="reals.omdoc"> - <omgroup layout="sectioning" xml:id="sec.reals" about="#sec.reals" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)"> - <metadata xml:id="sec.reals.p1" about="#sec.reals.p1" stex:srcref="reals.tex#textrange(from=1;0,to=15;12)"> - <dc:title stex:srcref="reals.tex#textrange(from=1;0,to=16;13)" xml:id="sec.reals.p1.p1" about="#sec.reals.p1.p1"> - <p xml:id="sec.reals.p1.p1.p1" about="#sec.reals.p1.p1.p1" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)">Real Numbers</p> - </dc:title> - </metadata> - <theory xml:id="reals" about="#reals" stex:srcref="reals.tex#textrange(from=2;0,to=15;12)"> - <symbol name="RealNumbers" xml:id="RealNumbers.sym" about="#RealNumbers.sym" stex:srcref="reals.tex#textrange(from=3;1,to=3;33)"/> - <notation cd="reals" name="RealNumbers"> - <prototype> - <om:OMS cd="reals" name="RealNumbers"/> - </prototype> - <rendering> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" xml:id="reals.m1" text="R"> - <om:OMOBJ> - <om:OMV name="R"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi mathvariant="double-struck">R</m:mi> - </m:math> - </Math> - </rendering> - </notation> - <symbol name="absval" xml:id="absval.sym" about="#absval.sym" stex:srcref="reals.tex#textrange(from=4;1,to=4;43)"/> - <notation cd="reals" name="absval"> - <prototype> - <om:OMA> - <om:OMS cd="reals" cr="fun" name="absval"/> - <expr name="arg1"/> - </om:OMA> - </prototype> - <rendering argprec=" " precedence="2000"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{|}" xml:id="reals.m2" text="CROSSREFOP@(|)"> - <om:OMOBJ> - <om:OMA> - <om:OMV name=""/> - <om:OMV name="|"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mo cr="fun">|</m:mo> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="arg:1" xml:id="reals.m3" text="arg:1"> - <om:OMOBJ> - <om:OMV name="arg:1"/> - </om:OMOBJ> - <m:math display="inline"> - <m:mi>arg:1</m:mi> - </m:math> - </Math> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\crossrefOp[fun]{|}" xml:id="reals.m4" text="CROSSREFOP@(|)"> - <om:OMOBJ> - <om:OMA> - <om:OMV name=""/> - <om:OMV name="|"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mo cr="fun">|</m:mo> - </m:math> - </Math> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="rfrac" xml:id="rfrac.sym" about="#rfrac.sym" stex:srcref="reals.tex#textrange(from=5;1,to=5;33)"/> - <notation cd="reals" name="rfrac"> - <prototype> - <om:OMA> - <om:OMS cd="reals" cr="fun" name="rfrac"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <rendering> - <Math xmlns="http://dlmf.nist.gov/LaTeXML" xml:id="reals.m5" text="arg:1 / arg:2"> - <om:OMOBJ> - <om:OMA> - <om:OMS cd="latexml" name="divide"/> - <om:OMV name="arg:1"/> - <om:OMV name="arg:2"/> - </om:OMA> - </om:OMOBJ> - <m:math display="inline"> - <m:mfrac> - <m:mi>arg:1</m:mi> - <m:mi>arg:2</m:mi> - </m:mfrac> - </m:math> - </Math> - </rendering> - </notation> - <symbol name="real-numbers" xml:id="real-numbers.def.sym" about="#real-numbers.def.sym" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"/> - <definition for="real-numbers" xml:id="reals.def" about="#reals.def" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> - <CMP xml:id="reals.def.p1" about="#reals.def.p1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> - <p xml:id="reals.def.p1.p1" about="#reals.def.p1.p1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> -We denote the set of <idx xml:id="reals.def.p1.p1.p1" about="#reals.def.p1.p1.p1" stex:srcref="reals.tex#textrange(from=7;27,to=8;47)"><idt><term cd="reals" name="real-numbers" role="definiendum" xml:id="reals.def.p1.p1.p1.p1" about="#reals.def.p1.p1.p1.p1" stex:srcref="reals.tex#textrange(from=7;27,to=8;47)">real numbers</term></idt><ide index="default"><idp><text xmlns="http://dlmf.nist.gov/LaTeXML">real</text></idp><idp><text xmlns="http://dlmf.nist.gov/LaTeXML">numbers</text></idp></ide></idx> we all know and love with -<Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\RealNumbers" xml:id="reals.def.p1.p1.m1" text="RealNumbers"><om:OMOBJ><om:OMS cd="reals" name="RealNumbers"/></om:OMOBJ><m:math display="inline"><m:mi mathcolor="red">RealNumbers</m:mi></m:math></Math>. -</p> - </CMP> - </definition> - <definition xml:id="absval.def" about="#absval.def" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> - <CMP xml:id="absval.def.p1" about="#absval.def.p1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> - <p xml:id="absval.def.p1.p1" about="#absval.def.p1.p1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> -The absolute value <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="\absval{r}" xml:id="absval.def.p1.p1.m1" text="absval@(r)"><om:OMOBJ><om:OMA><om:OMS cd="reals" name="absval"/><om:OMV name="r"/></om:OMA></om:OMOBJ><m:math display="inline"><m:mrow><m:mi mathcolor="red">absval</m:mi><m:mo></m:mo><m:mi>r</m:mi></m:mrow></m:math></Math> of a real number <Math xmlns="http://dlmf.nist.gov/LaTeXML" mode="inline" tex="r" xml:id="absval.def.p1.p1.m2" text="r"><om:OMOBJ><om:OMV name="r"/></om:OMOBJ><m:math display="inline"><m:mi>r</m:mi></m:math></Math>. -</p> - </CMP> - </definition> - </theory> - </omgroup> - <!-- %%% Local Variables: - %%% mode: LaTeX - %%% TeX-master: "all" - %%% End:--> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/reals.xml.log deleted file mode 100644 index e69de29bb2d..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/reals.xml.log +++ /dev/null |