/usr/share/perl5/LaTeXML/Package/amsthm.sty.ltxml is in latexml 0.7.0-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 | # -*- CPERL -*-
# /=======================================================\ #
# | amsthm - Implementation for LaTeXML | #
# | | #
# |=======================================================| #
# | Part of LaTeXML : http://dlmf.nist.gov/LaTeXML/ | #
# | Copyright (c) 2006 arXMLiv group | #
# | Released under the GNU Public License | #
# \=======================================================/ #
package LaTeXML::Package::Pool;
use strict;
use LaTeXML::Package;
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# Core is defined in LaTeX.ltxml
Let(T_CS('\nonslanted'),T_CS('\upshape'));
DefMacroI('\nopunct',undef,Tokens());
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# Theorem Styles.
DefMacro('\swapnumbers', sub {
AssignValue('thm@swap' =>(LookupValue('thm@swap') eq 'N' ? 'S' : 'N')); });
# activate a certain theorem style
DefPrimitive('\theoremstyle{}', sub {
AssignValue('thm@style'=>ToString($_[1]));});
# the default theorem styles
# plain is defined in LaTeX.
DefPrimitive('\th@definition', sub {
AssignValue('\thm@headfont' => T_CS('\bfseries'));
AssignValue('\thm@bodyfont' => T_CS('\normalfont'));
AssignValue('\thm@headpunct'=> T_OTHER('.'));
return; });
DefPrimitive('\th@remark', sub {
AssignValue('\thm@headfont' => T_CS('\itshape'));
AssignValue('\thm@bodyfont' => T_CS('\normalfont'));
AssignValue('\thm@headpunct'=> T_OTHER('.'));
return; });
#\newtheoremstyle{note}% name
# {3pt}% Space above
# {3pt}% Space below
# {}% Body font
# {}% Indent amount (empty = no indent, \parindent = para indent)
# {\itshape}% Thm head font
# {:}% Punctuation after thm head
# {.5em}% Space after thm head: " " = normal interword space;
# % \newline = linebreak
# {}% Thm head spec (can be left empty, meaning `normal')
DefPrimitive('\newtheoremstyle{}{}{}{}{}{}{}{}{}', sub {
my($stomach,$name,$spaceabove,$spacebelow,$bodyfont,
$indent,$headfont,$headpunct,$spaceafter,$headspec)=@_;
DefMacroI(T_CS('\th@'.ToString($name)), undef, sub {
AssignValue('\thm@bodyfont' => $bodyfont);
AssignValue('\thm@headfont' => $headfont);
AssignValue('\thm@headpunct'=> $headpunct);
return; });
});
DefMacro('\thmname{}',Tokens());
DefMacro('\thmnumber{}',Tokens());
DefMacro('\thmnote{}',Tokens());
DefMacro('\thmhead{}{}{}',Tokens());
DefMacro('\swappedhead{}{}{}',Tokens());
DefMacroI('\thmheadnl',undef,Tokens());
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# Proofs
AssignValue('QED@stack',[]);
DefMacro('\pushQED{}', sub { PushValue('QED@stack',$_[1]); });
DefMacro('\popQED{}', sub { (PopValue('QED@stack')); });
# Should mark this as somehow ignorable for math,
# but we DO want to keep it in the formula...
DefConstructor('\qed',
"?#isMath(<ltx:XMTok role='PUNCT'>\x{220E}</ltx:XMTok>)(\x{220E})");
Let(T_CS('\mathqed'), T_CS('\qed'));
Let(T_CS('\textsquare'),T_CS('\qed'));
Let(T_CS('\qedsymbol'), T_CS('\qed'));
Let(T_CS('\openbox'), T_CS('\qed'));
DefMacro('\qedhere', sub {
my $t = PopValue('QED@stack');
PushValue('QED@stack',Tokens());
$t; });
DefMacro('\proofname','Proof');
DefEnvironment('{@proof} []',
"<ltx:proof>"
."<ltx:title>#title</ltx:title>"
."#body"
."</ltx:proof>",
afterDigestBegin=> sub {
my($stomach,$whatsit)=@_;
my $name = $whatsit->getArg(1);
my @toks=(T_BEGIN,T_CS('\itshape'),
($name ? $name->revert : (T_CS('\proofname'))),
T_OTHER('.'),
T_END);
$whatsit->setProperties(title=>Digest(Tokens(@toks)));
PushValue('QED@stack',T_CS('\qed'));
Digest(Tokens(T_CS('\the'),T_CS('\thm@bodyfont'))); },
beforeDigestEnd=>sub {
my $qed = PopValue('QED@stack');
($qed ? Digest($qed) :()); }
);
## ?? if(! LookupValue('2.09_COMPATIBILITY')){
RawTeX('\newenvironment{proof}{\begin{@proof}}{\end{@proof}');
#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
# from older versions of amsthm.sty
DefPrimitive('\theorembodyfont{}', sub { AssignValue('\thm@bodyfont' => $_[1]); });
DefPrimitive('\theoremheaderfont{}', sub { AssignValue('\thm@headfont' => $_[1]); });
DefMacro('\theorempreskipamount', '');
DefMacro('\theorempostskipamount', '');
1;
|