Skip to content
Snippets Groups Projects
Commit 85461880 authored by Max New's avatar Max New
Browse files

init jfp

parent e314d8c7
Branches
Tags
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
jfp-paper/amsfonts.sty 0 → 100644
+ 190
− 0
View file @ 85461880
%%
%% This is file `amsfonts.sty',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% amsfonts.dtx
%%
%%% ====================================================================
%%% @LaTeX-file{
%%% filename = "amsfonts.dtx",
%%% version = "2.2f",
%%% date = "2001/10/25",
%%% time = "11:51:34 EDT",
%%% checksum = "12894 459 2125 19071",
%%% author = "American Mathematical Society",
%%% copyright = "Copyright 2001 American Mathematical Society,
%%% all rights reserved. Copying of this file is
%%% authorized only if either:
%%% (1) you make absolutely no changes to your copy,
%%% including name; OR
%%% (2) if you do make changes, you first rename it
%%% to some other name.",
%%% address = "American Mathematical Society,
%%% Technical Support,
%%% Publications Technical Group,
%%% P. O. Box 6248,
%%% Providence, RI 02940,
%%% USA",
%%% telephone = "401-455-4080 or (in the USA and Canada)
%%% 800-321-4AMS (321-4267)",
%%% FAX = "401-331-3842",
%%% email = "tech-support@ams.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "latex, amslatex, ams-latex, amsfonts, msam,
%%% msbm, eufm, blackboard bold",
%%% supported = "yes",
%%% abstract = "This file is part of the AMSFonts distribution.
%%% It provides easy access in \LaTeXe{} to certain
%%% math fonts for extra math symbols, fraktur
%%% letters, and blackboard bold letters. See the
%%% AMSFonts user's guide for more information.",
%%% docstring = "The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% }
%%% ====================================================================
\NeedsTeXFormat{LaTeX2e}% LaTeX 2.09 can't be used (nor non-LaTeX)
[1994/12/01]% LaTeX date must be December 1994 or later
\ProvidesPackage{amsfonts}[2001/10/25 v2.2f]
\DeclareOption{psamsfonts}{%
\ifnum\cmex@opt=7 \def\cmex@opt{10}%
\else \def\cmex@opt{0}\fi
\DeclareFontFamily{U}{msa}{}%
\DeclareFontShape{U}{msa}{m}{n}{<-6>msam5<6-8>msam7<8->msam10}{}%
\DeclareFontFamily{U}{msb}{}%
\DeclareFontShape{U}{msb}{m}{n}{<-6>msbm5<6-8>msbm7<8->msbm10}{}%
\DeclareFontFamily{U}{euf}{}%
\DeclareFontShape{U}{euf}{m}{n}{<-6>eufm5<6-8>eufm7<8->eufm10}{}%
\DeclareFontShape{U}{euf}{b}{n}{<-6>eufb5<6-8>eufb7<8->eufb10}{}%
}
\@ifundefined{cmex@opt}{\def\cmex@opt{1}}{}
\ProcessOptions\relax
\ifnum\cmex@opt=1 \relax
\DeclareFontShape{OMX}{cmex}{m}{n}{<-8>cmex7<8>cmex8<9>cmex9%
<10><10.95><12><14.4><17.28><20.74><24.88>cmex10}{}%
\expandafter\let\csname OMX/cmex/m/n/10\endcsname\relax
\else
\ifnum\cmex@opt=10 % need to override cmex7 fontdef from amsmath
\begingroup
\expandafter\let\csname OMX+cmex\endcsname\relax
\fontencoding{OMX}\fontfamily{cmex}%
\try@load@fontshape
\endgroup
\expandafter\let\csname OMX/cmex/m/n/10\endcsname\relax
\def\cmex@opt{0}%
\fi
\fi
\providecommand*{\@mathmeasure}[3]{%
\setbox#1\hbox{\frozen@everymath\@emptytoks\m@th$#2#3$}}
\@ifundefined{@emptytoks}{\csname newtoks\endcsname\@emptytoks}{}
\DeclareSymbolFont{AMSa}{U}{msa}{m}{n}
\DeclareSymbolFont{AMSb}{U}{msb}{m}{n}
\@ifundefined{yen}{%
\edef\yen{\noexpand\mathhexbox{\hexnumber@\symAMSa}55}
}{}
\@ifundefined{checkmark}{%
\edef\checkmark{\noexpand\mathhexbox{\hexnumber@\symAMSa}58}
}{}
\@ifundefined{circledR}{%
\edef\circledR{\noexpand\mathhexbox{\hexnumber@\symAMSa}72}
}{}
\@ifundefined{maltese}{%
\edef\maltese{\noexpand\mathhexbox{\hexnumber@\symAMSa}7A}
}{}
\begingroup \catcode`\"=12
\DeclareMathDelimiter{\ulcorner}{\mathopen} {AMSa}{"70}{AMSa}{"70}
\DeclareMathDelimiter{\urcorner}{\mathclose}{AMSa}{"71}{AMSa}{"71}
\DeclareMathDelimiter{\llcorner}{\mathopen} {AMSa}{"78}{AMSa}{"78}
\DeclareMathDelimiter{\lrcorner}{\mathclose}{AMSa}{"79}{AMSa}{"79}
\xdef\widehat#1{\noexpand\@mathmeasure\z@\textstyle{#1}%
\noexpand\ifdim\noexpand\wd\z@>\tw@ em%
\mathaccent"0\hexnumber@\symAMSb 5B{#1}%
\noexpand\else\mathaccent"0362{#1}\noexpand\fi}
\xdef\widetilde#1{\noexpand\@mathmeasure\z@\textstyle{#1}%
\noexpand\ifdim\noexpand\wd\z@>\tw@ em%
\mathaccent"0\hexnumber@\symAMSb 5D{#1}%
\noexpand\else\mathaccent"0365{#1}\noexpand\fi}
\DeclareMathSymbol{\dabar@}{\mathord}{AMSa}{"39}
\xdef\dashrightarrow{\mathrel{\dabar@\dabar@
\mathchar"0\hexnumber@\symAMSa 4B}}%
\xdef\dashleftarrow{\mathrel{\mathchar"0\hexnumber@\symAMSa 4C\dabar@
\dabar@}}%
\global\let\dasharrow\dashrightarrow
\global\let\rightleftharpoons\undefined
\DeclareMathSymbol{\rightleftharpoons}{\mathrel}{AMSa}{"0A}
\global\let\angle\undefined
\DeclareMathSymbol{\angle} {\mathord}{AMSa}{"5C}
\global\let\hbar\undefined
\DeclareMathSymbol{\hbar} {\mathord}{AMSb}{"7E}
\global\let\sqsubset\undefined
\DeclareMathSymbol{\sqsubset} {\mathrel}{AMSa}{"40}
\global\let\sqsupset\undefined
\DeclareMathSymbol{\sqsupset} {\mathrel}{AMSa}{"41}
\global\let\mho\undefined
\DeclareMathSymbol{\mho} {\mathord}{AMSb}{"66}
\endgroup
\DeclareMathAlphabet{\mathfrak}{U}{euf}{m}{n}
\SetMathAlphabet{\mathfrak}{bold}{U}{euf}{b}{n}
\DeclareSymbolFontAlphabet{\mathbb}{AMSb}
\DeclareFontEncodingDefaults{\relax}{\def\accentclass@{7}}
\DeclareRobustCommand{\frak}[1]{%
{\@subst@obsolete{amsfonts}\frak\mathfrak{#1}}}
\DeclareRobustCommand{\Bbb}[1]{%
{\@subst@obsolete{amsfonts}\Bbb\mathbb{#1}}}
\DeclareRobustCommand{\bold}[1]{%
{\@subst@obsolete{amsfonts}\bold\mathbf{#1}}}
\begingroup \catcode`\"=12 \relax
\gdef\newsymbol#1#2#3#4#5{%
\@obsolete{amsfonts}\newsymbol\DeclareMathSymbol
\@ifdefinable#1{%
\edef\next@
{\ifcase #2 \or
\hexnumber@\symAMSa\or
\hexnumber@\symAMSb\fi}%
\ifx\next@\@empty
\PackageError{amsfonts}{\Invalid@@\newsymbol}\@ehd%
\else
\global\mathchardef#1"#3\next@#4#5
\fi}}
\endgroup
\long\def\@gobblethree#1#2#3{}
\if@compatibility
\let\@obsolete\@gobblethree
\else
\def\@obsolete#1#2#3{\PackageWarning{#1}{%
Obsolete command \protect#2; \protect#3 should be used instead}}%
\fi
\def\@subst@obsolete#1#2#3{\@obsolete{#1}#2#3\gdef#2{#3}#2}
\begingroup \catcode`\"=12
\DeclareMathSymbol{\square} {\mathord}{AMSa}{"03}
\DeclareMathSymbol{\lozenge} {\mathord}{AMSa}{"06}
\DeclareMathSymbol{\vartriangleright} {\mathrel}{AMSa}{"42}
\DeclareMathSymbol{\vartriangleleft} {\mathrel}{AMSa}{"43}
\DeclareMathSymbol{\trianglerighteq} {\mathrel}{AMSa}{"44}
\DeclareMathSymbol{\trianglelefteq} {\mathrel}{AMSa}{"45}
\DeclareMathSymbol{\rightsquigarrow} {\mathrel}{AMSa}{"20}
\@ifpackageloaded{latexsym}{\@tempswafalse}{\@tempswatrue}
\if@tempswa
\global\let\Box\square
\global\let\Diamond\lozenge
\global\let\leadsto\rightsquigarrow
\global\let\lhd\@@undefined
\global\let\unlhd\@@undefined
\global\let\rhd\@@undefined
\global\let\unrhd\@@undefined
\DeclareMathSymbol{\lhd} {\mathbin}{AMSa}{"43}
\DeclareMathSymbol{\unlhd} {\mathbin}{AMSa}{"45}
\DeclareMathSymbol{\rhd} {\mathbin}{AMSa}{"42}
\DeclareMathSymbol{\unrhd} {\mathbin}{AMSa}{"44}
\xdef\Join{\mathrel{\mathchar"0\hexnumber@\symAMSb 6F\mkern-13.8mu%
\mathchar"0\hexnumber@\symAMSb 6E}}
\fi
\endgroup
\endinput
%%
%% End of file `amsfonts.sty'.
\ No newline at end of file
jfp-paper/bm.sty 0 → 100644
+ 423
− 0
View file @ 85461880
%%
%% This is file `bm.sty',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% bm.dtx (with options: `package')
%%
%% This is a generated file.
%%
%% Copyright 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003
%% The LaTeX3 Project and any individual authors listed elsewhere
%% in this file.
%%
%% This file was generated from file(s) of the Standard LaTeX `Tools Bundle'.
%% --------------------------------------------------------------------------
%%
%% It may be distributed and/or modified under the
%% conditions of the LaTeX Project Public License, either version 1.3
%% of this license or (at your option) any later version.
%% The latest version of this license is in
%% http://www.latex-project.org/lppl.txt
%% and version 1.3 or later is part of all distributions of LaTeX
%% version 2003/12/01 or later.
%%
%% This file may only be distributed together with a copy of the LaTeX
%% `Tools Bundle'. You may however distribute the LaTeX `Tools Bundle'
%% without such generated files.
%%
%% The list of all files belonging to the LaTeX `Tools Bundle' is
%% given in the file `manifest.txt'.
%%
%% Copyright 1996 1997 1998 1999 2002 2003 2004 David Carlisle Frank Mittelbach
%%
%% Development of this package was commissioned by Y&Y Inc.
%% http://www.yandy.com
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{bm}
[2004/02/26 v1.1c Bold Symbol Support (DPC/FMi)]
\def\bm#1#2{%
\let\bm@pmb\install@mathalphabet
\let\bm@pmb@\getanddefine@fonts
\let\bm@pmb@@\or
\edef\bm@general{\f@encoding/\f@family/\f@series/\f@shape/\f@size}%
\@tempcnta#2%
\count@-\count18%
\advance\count@-\@tempcnta
\advance\count@15\relax
\ifnum\count@<\z@
\advance\@tempcnta\count@
\fi
\let\or\relax
\expandafter\let\csname bm@#1table\endcsname\@gobble
\def\bm@define##1{%
\expandafter\xdef\csname bm@#1table\endcsname{%
\csname bm@#1table\endcsname\or##1}}%
\def\getanddefine@fonts##1##2{%
\def\@tempa{##2}%
\def\@tempb####1##1####2####3\@nil{\def\@tempb{####2}}%
\expandafter\expandafter\expandafter
\@tempb\csname mv@#1\endcsname\@nil
\ifx\@tempa\@tempb
\bm@define\m@ne
\else
\edef\@tempa{sym#1\expandafter\@gobblefour\string##1}%
\ifnum\@tempcnta<%
\expandafter\ifx\csname\@tempa\endcsname\relax
\@ne
\else
\m@ne
\fi
\bm@define\z@
\else
\expandafter\ifx\csname\@tempa\endcsname\relax
\begingroup
\escapechar\m@ne
\edef\@tempb{\endgroup
\noexpand\split@name
\expandafter\string\@tempb}%
\@tempb/\@nil
\expandafter\ifx
\csname symbold\expandafter\@gobblefour\string##1\endcsname
\relax
\expandafter\new@mathgroup\csname\@tempa\endcsname
\expandafter\new@symbolfont\csname\@tempa\endcsname
\f@encoding\f@family\f@series\f@shape
\advance\@tempcnta\m@ne
\else
\def\bm@expand####1##1####2####3\@nil{\def\bm@expand{####2}}%
\expandafter\expandafter\expandafter
\bm@expand\csname mv@bold\endcsname\@nil
\ifx\bm@expand\@tempb
\expandafter\let\csname\@tempa\expandafter\endcsname
\csname symbold\expandafter
\@gobblefour\string##1\endcsname
\else
\expandafter\new@mathgroup\csname\@tempa\endcsname
\expandafter\new@symbolfont\csname\@tempa\endcsname
\f@encoding\f@family\f@series\f@shape
\advance\@tempcnta\m@ne
\fi
\fi
\else
\PackageInfo{bm}%
{Symbol font \@tempa\space already defined.\MessageBreak
Not overwriting it}%
\fi
\count@\csname\@tempa\endcsname
\advance\count@-##1%
\bm@define{\the\count@\relax}%
\fi
\fi}%
\let\install@mathalphabet\@gobbletwo
\mv@normal
\expandafter\xdef\csname bm@#1table\endcsname{%
\noexpand\ifcase\@tempcnta
\csname bm@#1table\endcsname
\noexpand\else
\z@
\noexpand\fi}%
\expandafter\split@name\bm@general\@nil
\let\install@mathalphabet\bm@pmb
\let\getanddefine@fonts\bm@pmb@
\let\or\bm@pmb@@}
\ifx\bmmax\@undefined
\chardef\bmmax=4
\fi
\ifx\mv@bold\@undefined
\def\bm@boldtable{\m@ne}
\AtEndOfPackage{%
\def\bm@gr@up#1#2{%
\bm@pmb{#2}}}
\else
\bm{bold}\bmmax
\@ifundefined{symboldoperators}
{}
{\DeclareSymbolFontAlphabet\mathbf{boldoperators}}
\fi
\ifx\hmmax\@undefined
\chardef\hmmax=3
\fi
\ifx\mv@heavy\@undefined
\else
\bm{heavy}\hmmax
\fi
\begingroup
\catcode`\'=\active
\@firstofone{\endgroup
\def\bm@general#1#2#3#4#5{%
\begingroup
\let\bm\@firstofone
\let\hm\@firstofone
\global\let\bm@command\@empty
\let\@let@token\@empty
\let\protect\@empty
\let\@typeset@protect\@empty
\def\bm@mathchoice{\bm@m@thchoice#1}%
\def\bm@group{\bm@gr@up#1}%
\let\bm@table#2%
\let\left\holdinginserts
\let\right\left
\let\mskip\mkern
\let\hskip\kern
\let\bm@prime\copy
\def'{\bm@prime\prime\relax}%
\def\@ifnextchar##1##2##3##4{%
\if##1##4%
\expandafter\@firstoftwo
\else
\expandafter\@secondoftwo
\fi
{##2##4}{##3{##4}}}%
\def\GenericWarning##1##2{%
\unvcopy{\GenericWarning{##1}{##2}}}%
\def\GenericError##1##2##3##4{%
\unvcopy{\GenericError{##1}{##2}{##3}{##4}}}%
\let\DN@\copy
\let\FN@\copy
\let\next@\copy
\global\let\bm@first\@empty
\ifx\uproot@\undefined\else
\def\root##1\of##2{{\root##1\of{##2}}}%
\fi
\def\mathaccentV##1{\mathaccent"\accentclass@}%
\let\@ifnext\@ifnextchar
\let\measure@lhs\copy
\let \rel@break\copy
\let \bin@break\copy
\let \after@open\copy
\let \after@close\copy
\let\ifmmode\iftrue
\let\install@mathalphabet\def
\let\getanddefine@fonts\@gobbletwo
#3%
\def\select@group##1##2##3##4{{%
\protect##1{##4}}}%
\def\use@mathgroup##1##2##3{{%
\protect\use@mathgroup##1{##2}{##3}}}%
\bm@expand#5\bm@end
\endgroup
#4}
}
\DeclareRobustCommand\bm{%
\bm@general\boldmath\bm@boldtable\mv@bold\bm@command}
\protected@edef\bm#1{\bm{#1}}
\def\DeclareBoldMathCommand{\@testopt\bm@declare{bold}}
\def\bm@declare[#1]#2{%
\expandafter\bm@general
\csname #1math\expandafter\endcsname
\csname bm@#1table\expandafter\endcsname
\csname mv@#1\endcsname
{\bm@define#2}}
\def\bmdefine{\DeclareBoldMathCommand[bold]}
\ifx\mv@heavy\@undefined
\let\hm\bm
\let\heavymath\boldmath
\let\bm@heavytable\bm@boldtable
\else
\DeclareRobustCommand\hm{%
\bm@general\heavymath\bm@heavytable\mv@heavy\bm@command}
\protected@edef\hm#1{\hm{#1}}
\def\hmdefine{\DeclareBoldMathCommand[heavy]}
\fi
\outer\def\bm@end{\@@end}
\def\bm@expand{\afterassignment\bm@exp@nd\count@`\a}
\def\bm@exp@nd{\afterassignment\bm@test\count@`\a}
\def\bm@test{%
\let\bm@previous\@let@token
\futurelet\@let@token\bm@test@}
\def\bm@test@{%
\ifx\@let@token\bgroup
\expandafter\bm@group
\else
\expandafter\bm@test@token
\fi}
\def\bm@gr@up#1#2{%
\bm@add{{\bm@gr@@p#1{{#2}}}}}
\def\bm@gr@@p#1#2{%
\ifmmode
\bm@mchoice#1{#2}{#2}{#2}{#2}%
\else
\bfseries#1#2%
\fi}
\def\bm@test@token#1{%
\let\bm@next\@empty
\ifx#1\@@end
\else\ifx#1\mathchoice
\let\bm@next\bm@mathchoice
\else\ifx#1\mathchar
\afterassignment\bm@mathchar\count@
\else\ifx#1\mathaccent
\afterassignment\bm@mathaccent\count@
\else\ifx#1\delimiter
\afterassignment\bm@delimiter\count@
\else\ifx#1\radical
\afterassignment\bm@radical\count@
\else\ifx#1\mkern
\bm@register#1{\muskip\z@}%
\else\ifx#1\kern
\bm@register#1\skip@
\else\ifx#1\penalty
\bm@register#1\count@
\else\ifx#1\unvcopy
\let\bm@next\bm@add
\else\ifcat\noexpand#1\relax
\xdef\meaning@{\meaning#1}%
\expandafter\bm@mchar@test\meaning@""\@nil#1%
\else\ifcat.\ifcat a#1.\else#1\fi
\count@\mathcode`#1\relax
\ifnum\count@=\mathcode`\'%
\begingroup\uccode`\~`#1\uppercase{\endgroup
\def\bm@next{\bm@expand~}}%
\else
\ifx\bm@previous\left
\count@\delcode`#1\relax
\bm@delimiter
\else
\bm@mathchar
\fi
\fi
\else
\bm@add{#1}%
\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi
\bm@next}
\def\bm@define#1{%
\begingroup
\ifx\bm@command\@gtempa
\def\mathchar{\global\mathchardef#1}%
\bm@command
\else
\toks@\expandafter{\bm@command}%
\xdef#1{\bm@first\noexpand\bm@protect\noexpand#1{\the\toks@}}%
\fi
\endgroup}
\def\bm@protect#1{%
\ifx\protect\@typeset@protect
\expandafter\@firstofone
\else
\protect#1\expandafter\@gobble
\fi}
\def\bm@mchoice#1#2#3#4#5{%
\mathchoice{\hbox{#1$\displaystyle\m@th#2$}}%
{\hbox{#1$\textstyle\m@th#3$}}%
{\hbox{#1$\scriptstyle\m@th#4$}}%
{\hbox{#1$\scriptscriptstyle\m@th#5$}}}
\def\bm@m@thchoice#1#2#3#4#5{%
\bm@add{\bm@mchoice#1{#2}{#3}{#4}{#5}}}
\def\bm@register#1#2{%
\def\@tempa{#1\the#2}%
\afterassignment\bm@r@gister#2}
\def\bm@r@gister{%
\bm@xadd{\@tempa\space}}
\def\bm@mathchar{%
\@tempcntb\count@
\let\@tempa\bm@group
\bm@changefam{}%
\ifnum\count@>\@tempcntb
\ifx\bm@command\@empty
\xdef\@gtempa{\mathchar\the\count@\space}%
\fi
\bm@xadd{\mathchar\the\count@\space}%
\else
\begingroup
\divide\count@"1000
\let\bm@expand\relax
\bm@xadd\bm@class
\endgroup
\edef\@tempb{%
\noexpand\@tempa{\mathchar\the\count@\space}}%
\@tempb
\fi}
\def\bm@pmb#1{%
\bm@add{\bm@pmb@{#1}}}
\def\bm@pmb@#1{{%
\setbox\tw@\hbox{$\m@th\mkern.4mu$}%
\mathchoice
\bm@pmb@@\displaystyle\@empty{#1}%
\bm@pmb@@\textstyle\@empty{#1}%
\bm@pmb@@\scriptstyle\defaultscriptratio{#1}%
\bm@pmb@@\scriptscriptstyle\defaultscriptscriptratio{#1}}}
\def\bm@pmb@@#1#2#3{{%
\setbox\z@\hbox{$\m@th#1#3$}%
\dimen@#2\wd\tw@
\rlap{\copy\z@}%
\kern\dimen@
\raise1.5\dimen@\rlap{\copy\z@}%
\kern\dimen@
\box\z@}}%
\def\bm@class{%
\ifcase\count@
\or
\mathop\or
\mathbin\or
\mathrel\or
\mathopen\or
\mathclose\or
\mathpunct\or
\fi}
\def\bm@add#1{%
\begingroup
\toks@\expandafter{\bm@command#1}%
\xdef\bm@command{\the\toks@}%
\endgroup
\bm@expand}
\def\bm@xadd#1{%
\begingroup
\toks@\expandafter{\bm@command}%
\xdef\bm@command{\the\toks@#1}%
\endgroup
\bm@expand}
\def\bm@mathaccent{%
\bm@changefam{}%
\begingroup
\def\bm@group##1{\endgroup\bm@xadd{\bgroup}##1\egroup}%
\def\bm@test@token{\endgroup\bm@test@token}%
\let\relax\@empty
\bm@xadd{\mathaccent\the\count@\space}}
\def\bm@delimiter{%
\ifnum\count@>\z@
\bm@changefam{}%
\bm@changefam{000}%
\fi
\bm@xadd{\delimiter\the\count@\space}}%
\def\bm@radical{%
\bm@changefam{}%
\bm@changefam{000}%
\bm@xadd{\radical\the\count@\space}}%
\edef\bm@mchar@{\meaning\mathchar}
\def\bm@mchar@test#1"#2"#3\@nil#4{%
\xdef\meaning@{#1}%
\ifx\meaning@\bm@mchar@
\count@"#2\relax
\bm@mathchar
\else
\ifx\bm@previous\@empty
\ifx\relax#4%
\gdef\bm@first{#4}%
\fi
\fi
\bm@add{#4}%
\fi}
\def\bm@changefam#1{%
\@tempcnta\count@
\divide\@tempcnta"1000#1 %
\multiply\@tempcnta"1000#1 %
\advance\@tempcnta-\count@
\divide\@tempcnta-"100#1 %
\@tempcnta\bm@table
\ifnum\@tempcnta=\m@ne
\let\@tempa\bm@pmb
\else
\multiply\@tempcnta"100#1 %
\advance\count@\@tempcnta
\fi}
\def\bm@prime{^\bgroup
\let\bm@prime'%
\def\prim@s##1\relax{##1\futurelet\@let@token\pr@m@s}%
\prim@s}
\let\boldsymbol\bm
\let\heavysymbol\hm
\endinput
%%
%% End of file `bm.sty'.
\ No newline at end of file
jfp-paper/jfp-gtt.tex 0 → 100644
+ 44
− 0
View file @ 85461880
\documentclass{jfp1}
\title{Gradual Type Theory}
\author[M.S. New]
{Max S. New\\
Northeastern University\\
%% \email{maxnew@ccs.neu.edu}
}
\author[D.R. Licata]
{Daniel R. Licata \\
Wesleyan University\\
%% \email{drlicata@wesleyan.edu}
}
\author[A. Ahmed]
{Amal Ahmed \\
Northeastern University\\
%% \email{amal@ccs.neu.edu}
}
\jdate{September 2001, update April 2007}
\pubyear{2001}
\pagerange{\pageref{firstpage}--\pageref{lastpage}}
\doi{S0956796801004857}
\newtheorem{lemma}{Lemma}[section]
\begin{document}
\label{firstpage}
\maketitle
\begin{abstract}
foo bar
\end{abstract}
\section{Introduction}
hi
\label{lastpage}
\end{document}
jfp-paper/jfp.bst 0 → 100644
+ 1316
− 0
View file @ 85461880
This diff is collapsed.
jfp-paper/jfp1.cls 0 → 100644
+ 1894
− 0
View file @ 85461880
This diff is collapsed.
jfp-paper/latexrun 0 → 100755
+ 1936
− 0
View file @ 85461880
This diff is collapsed.
jfp-paper/mathptmx.sty 0 → 100644
+ 42
− 0
View file @ 85461880
\def\filedate{1998/06/30}
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{mathptmx}[\filedate\space
Times + math package from fontinst]
\def\rmdefault{ptm}
\DeclareSymbolFont{operators} {OT1}{ztmcm}{m}{n}
\DeclareSymbolFont{letters} {OML}{ztmcm}{m}{it}
\DeclareSymbolFont{symbols} {OMS}{ztmcm}{m}{n}
\DeclareSymbolFont{largesymbols}{OMX}{ztmcm}{m}{n}
\DeclareSymbolFont{bold} {OT1}{ptm}{bx}{n}
\DeclareSymbolFont{italic} {OT1}{ptm}{m}{it}
\@ifundefined{mathbf}{}{\DeclareMathAlphabet{\mathbf}{OT1}{ptm}{bx}{n}}
\@ifundefined{mathit}{}{\DeclareMathAlphabet{\mathit}{OT1}{ptm}{m}{it}}
\DeclareMathSymbol{\omicron}{0}{operators}{`\o}
\thinmuskip=2mu
\medmuskip=2.5mu plus 1mu minus 1mu
\thickmuskip=4mu plus 1.5mu minus 1mu
\let\@tempa\version@elt
\def\version@elt#1{%
\ifx\mv@bold#1\else\noexpand\version@elt\noexpand#1\fi}
\edef\version@list{\version@list}
\let\version@elt\@tempa
\let\mv@bold\@undefined
\def\boldmath{%
\PackageWarning{there is no bold Symbol font}%
\global\let\boldmath=\relax
}
\DeclareMathSizes{5}{5}{5}{5}
\DeclareMathSizes{6}{6}{5}{5}
\DeclareMathSizes{7}{7}{5}{5}
\DeclareMathSizes{8}{8}{6}{5}
\DeclareMathSizes{9}{9}{7}{5}
\DeclareMathSizes{10}{10}{7.4}{6}
\DeclareMathSizes{10.95}{10.95}{8}{6}
\DeclareMathSizes{12}{12}{9}{7}
\DeclareMathSizes{14.4}{14.4}{10.95}{8}
\DeclareMathSizes{17.28}{17.28}{12}{10}
\DeclareMathSizes{20.74}{20.74}{14.4}{12}
\DeclareMathSizes{24.88}{24.88}{17.28}{14.4}
\endinput
%%
%% End of file `mathptmx.sty'.
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment