Begin first paragraph,
A Figure
one
two
one
two
Begin first paragraph,
A Figure
one
two
one
two
Begin first paragraph,
A Figure
one
two
one
two
Begin first paragraph,
A Figure
one
two
one
two
Begin first paragraph,
A Figure
one
two
one
two
Begin first paragraph,
A Figure
one
two
one
two
And so on.
Begin first paragraph,
A Figure
one
two
one
two
Begin first paragraph,
A Figure
one
two
one
two
Begin first paragraph,
A Figure
one
two
one
two
Begin first paragraph,
A Figure
one
two
one
two
One
One
Two
Three
Two
One
Two
Three
Three
One
Two
Three
Hi!
.
Begin first paragraph,
continuing paragraph.
Single line paragraph.
Another single line paragraph.
Begin first paragraph,
A
B
continuing paragraph.
Single line paragraph.
A
B
Another single line paragraph.
Multiple Para within item
A
B
C
Relations:
Relations:
Relations:
Expectation:
Bra:
Bra:
Bra:
Ket:
Braket
Also
abs
norm
expr
nested
non-nested
abs and rel:
worse
Inline math .
beep hello, BEEP. beep.
1.
2.
3.
4.
5.
6.
,
An Array
Done.
|
|
|
|
| alpha | GREEK SMALL LETTER ALPHA | 03B1 |
| beta | GREEK SMALL LETTER BETA | 03B2 |
| chi | GREEK SMALL LETTER CHI | 03C7 |
| Delta | GREEK CAPITAL LETTER DELTA | 0394 |
| delta | GREEK SMALL LETTER DELTA | 03B4 |
| epsi | GREEK SMALL LETTER EPSILON | 03B5 |
| epsis | GREEK LUNATE EPSILON SYMBOL | 03F5 |
|
|
|
|
| alpha | GREEK SMALL LETTER ALPHA | 03B1 |
| beta | GREEK SMALL LETTER BETA | 03B2 |
| chi | GREEK SMALL LETTER CHI | 03C7 |
| Delta | GREEK CAPITAL LETTER DELTA | 0394 |
| delta | GREEK SMALL LETTER DELTA | 03B4 |
| epsi | GREEK SMALL LETTER EPSILON | 03B5 |
| epsis | GREEK LUNATE EPSILON SYMBOL | 03F5 |
Math:
using integers, scaling with floats, LaTeXcounters, TeX counters. All should be the same.
Simple KV no options:
Simple KV with options:
Complex KV no options:
Complex KV with options:
Filenames
Filenames
KV Environment no options:
KV Environment with options:
KV Environment with structure no options:
KV Environment with structure with options:
KV automatic conversion to structure
Test Letters A and A (True) : True .
Test Letters A and B (False) : False.
TestA and B (True) : True .
TestA and C (False) : False.
Nested (True False) True False. Nested (False True) False True .
Test let fi (True False); True False.
Test let else (True False); True False.
ifx does NOT expand conditional tokens (fooFalse): fooFalse.
before Foo inside after
Testing raw tex macros: Expect inline math: xxxx
Expect display math: xx
xx
Expect 2 empty maths: xxa+bxx
Testing latex macros Expect (onearg: one) (onearg: one) Expect (twoarg: one two) (twoarg: one ; two) Expect (twoargopt: one ; two) (twoargopt: one ; two) Expect (twoargopt: missing ; two)(twoargopt: missing ; two)
Testing whitespace: Expect (twoarg: a ; b) (twoarg: a ; b) Expect (textwoarg: a ; b) (textwoarg: a ; b) Expect (twoargopt: a ; b) (twoargopt: a ; b)
Expecting (beep) : (beep)
Expecting (foo) : (foo)
Expect [[x]] : [[x]]Expect (y(x)y) : (y(x)y) Expect [[x]] : [[x]]
Expect NOW a LATER b MUCHLATER c: NOW a LATER b MUCHLATER c
A Quote!
MYA Quote!
1A Quote!
ONEA Quote!
Expecting (beep) : (beep)
Expecting (foo) : (foo)
Expecting (Bar): (Bar)
Expecting (BAR): BAR
Expecting (Bar): (Bar)
Expecting (BAR): BAR
Expecting (BAR): BAR
Box 0 is horizontal
Box 1 is horizontal
Box 2 is vertical
Using…
Box 3 is horizontal
Box 4 is empty
Counter Foo [0] = 0.
Increment Foo[1] = 1.
Set Foo to 2 = 2.
Add 10 to Foo [12] = 12.
Double Foo [24] = 24.
Define bar to be reset within foo. Now (Foo,Bar)[24,0] is (24,0)
Refstep bar: Now (Foo,Bar)[24,1] is (24,1)
Refstep foo: Now (Foo,Bar)[25,0] is (25,0)
arabic[6] = 6
roman [vi] = vi
Roman [VI] = VI
alph [f] = f
Alph [F] = F
fnsymbol [] = ∥
How far will TeX go? Fubar is mmmmmmmmmcmxcix
7 = 7.
7 = 7.
HFuzz is 0.1pt. Now HFuzz is 2pt.
HFuzz is 2pt. Now HFuzz is 2pt.
Dimen 1.23pt = 1.23pt.
Dimen 1.23pt = 1.23pt.
Dimen 1.23pt = 1.23pt.
count 2: 3*65536 = 196608.
Now dimen: 3pt = 3pt
One em = 10pt
One ex = 4.3pt
Dimen: one ex = 4.3pt
Dimen: 1pt = 1pt
Dimen: 1pt = 1pt
8 points = 8pt
15 points = 15pt
1pt plus 3pt = 1pt plus 3pt
1pt plus 3fil = 1pt plus 3fil
1pt plus 3fill = 1pt plus 3fill
Skip: 2pt plus 3fill = 2pt plus 3fill
0.1 plus 3fill = 0.1pt plus 3fill
Unknown count: 0 = 0
Unknown dimen: 0pt = 0pt
Unknown skip: 0pt = 0pt
the count 0 : 0
the two (countdef 2) : 196608
Tokens: abFOOcd = abFOOcd
Catcode: 11 = 11
Catcode: 12 = 12
3 = 3
1em = 10pt 3em = 30pt
1=1
[23=23]
[29=29]
[29=29]
[10000=10000] [$a$ = $a$]
The first thirty prime numbers are 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, and 113.
Normal macro:
Funky macro:
Then our main theorem:
Ahlfors' Lemma gives the principal criterion for obtaining lower bounds on the Kobayashi metric.
Then our main theorem:
As two-legged pigs generally fall over, the case of a polygon of order is uninteresting.
This is a test of the custom theorem style `note'. It is supposed to have variant fonts and other differences.
This is a test of a citing theorem to cite a theorem from some other source.
Here is a test of the proof environment. ∎
And another test. ∎
And another. ∎
And another, ending with a display:
This is a repeat of the first section but with numbers in theorem heads swapped to the left.
Ahlfors' Lemma gives the principal criterion for obtaining lower bounds on the Kobayashi metric.
Then our main theorem:
roman
Spacing
Funny Characters
With math?
Before Comment. After Comment.
Before Included. Inside Included. After Included.
Before Excluded. After Excluded.
Before BoldSpecial.
[
Before Included.
Basic url:
And even:
Path url:
Verbatimness
Email:
Myself:
Fancy url:
Text
Verbatim
LDots…, versus dots …
A range: 1–10 gets en-dash. In interjection — like this — gets em-dash.
A “quote” like this.
Normal
yyy
More Normal
Some inline
x
Expect Original : Original
Expect a + Original:
Expect Original : Original
Expect InBox + Original:
Expect Original : Original
Expect a + InlineMath:
Expect Original : Original
Expect a + DisplayMath :
Expect Original : Original
Expect a + InText + InlineMath:
Expect Original : Original
Expect Section 1:Section 1.
Expect Unknown: Unknown.
Expect Unknown: Unknown.
Expect Subsection 2.1: Subsection 2.1
Expect Unknown: Unknown.
Expect Labelled subsection: Labelled subsection
Expect Unknown: Unknown.
Expect Section 3:Section 3.
Expect Section 3: Section 3.
Expect Unknown: Unknown.
Inline math .
Inline math .
| |
# | | |
# | \read to
# | \setbox<8bit>
# | \font
# |
# =
# |
# |
# |
# |
# |
# = at | scaled |
# = <8bit>
DefMacro('\read Number SkipKeyword:to Token',sub {
my($gullet,$fh,$token)=@_;
DefMacroI($token,undef,Tokens()); });
##our %font_family=(r=>'serif',''=>'serif',ss=>'sansserif',tt=>'typewriter',
## vtt=>'typewriter',fib=>'fibonacci',fr=>'funnyroman',
## dh=>'dunhill',m=>'math',sy=>'symbol');
# Given a font, we'd like to map it to the "logical" names derived from LaTeX,
# (w/ loss of fine grained control).
# I'd like to use Karl Berry's font naming scheme
# (See http://www.tug.org/fontname/html/)
# but it seems to be a one-way mapping, and moreover, doesn't even fit CM fonts!
# We'll assume a sloppier version:
# family + series + variant + size
our %font_family=(cmr=>{family=>'serif'}, cmss=>{family=>'sansserif'},
cmtt=>{family=>'typewriter'},cmvtt=>{family=>'typewriter'},
cmti=>{family=>'typewriter', shape=>'italic'},
cmfib=>{family=>'serif'}, cmfr=>{family=>'serif'},
cmdh=>{family=>'serif'}, cm=>{family=>'serif'},
ptm=>{family=>'serif'}, ppl=>{family=>'serif'},
pnc=>{family=>'serif'}, pbk=>{family=>'serif'},
phv=>{family=>'sansserif'}, pag=>{family=>'serif'},
pcr=>{family=>'typewriter'}, pzc=>{family=>'script'},
put=>{family=>'serif'}, bch=>{family=>'serif'},
psy=>{family=>'symbol'}, pzd=>{family=>'dingbats'},
ccr=>{family=>'serif'}, ccy=>{family=>'symbol'},
cmbr=>{family=>'sansserif'}, cmtl=>{family=>'typewriter'},
cmbrs=>{family=>'symbol'}, ul9=>{family=>'typewriter'},
txr=>{family=>'serif'}, txss=>{family=>'sansserif'},
txtt=>{family=>'typewriter'},txms=>{family=>'symbol'},
txsya=>{family=>'symbol'}, txsyb=>{family=>'symbol'},
pxr=>{family=>'serif'}, pxms=>{family=>'symbol'},
pxsya=>{family=>'symbol'}, pxsyb=>{family=>'symbol'},
futs=>{family=>'serif'},
uaq=>{family=>'serif'}, ugq=>{family=>'sansserif'},
eur=>{family=>'serif'}, eus=>{family=>'script'},
euf=>{family=>'fraktur'}, euex=>{family=>'symbol'},
# The following are actually math fonts.
ms=>{family=>'symbol'},
ccm=>{family=>'serif', shape=>'italic'},
cmex=>{family=>'symbol'}, # Not really symbol, but...
cmsy=>{family=>'symbol'},
ccitt=>{family=>'typewriter', shape=>'italic'},
cmbrm=>{family=>'sansserif', shape=>'italic'},
futm=>{family=>'serif', shape=>'italic'},
futmi=>{family=>'serif', shape=>'italic'},
txmi=>{family=>'serif', shape=>'italic'},
pxmi=>{family=>'serif', shape=>'italic'},
bbm=>{family=>'blackboard'},
bbmss=>{family=>'blackboard'},
);
our %font_series=(''=>'medium',m=>'medium', mc=>'medium',
b=>'bold',bc=>'bold', bx=>'bold', sb=>'bold', sbc=>'bold', bm=>'bold');
our %font_shape =(''=>'upright',n=>'upright', i=>'italic',it=>'italic',
sl=>'slanted', sc=>'smallcaps', csc=>'smallcaps');
our $FONTREGEXP
= '('.join('|',sort { -($a cmp $b) } keys %font_family).')'
. '('.join('|',sort { -($a cmp $b) } keys %font_series).')'
. '('.join('|',sort { -($a cmp $b) } keys %font_shape).')'
. '(\d*)';
# Decode a font size in points into a "logical" size.
our @font_size_map=(0.60=>'tiny', 0.75=>'script', 0.85=>'footnote',0.95=>'small',
1.10=>'normal', 1.30=>'large', 1.55=>'Large', 1.85=>'LARGE',
2.25=>'huge', 1000.0=>'Huge');
sub abstract_font_size {
my($size)=@_;
if(defined $size){
my $scaled = $size/10.0; # ASSUMED nominal font 10pt!!! Set from doc!!!
my @map = @font_size_map;
while(@map){
return shift(@map) if($scaled <= shift(@map));
shift(@map); }
'Huge'; }
else {
'normal'; }}
sub lookupFontFamily { $font_family{ToString($_[0])}; }
sub lookupFontSeries { $font_series{ToString($_[0])}; }
sub lookupFontShape { $font_shape{ToString($_[0])}; }
# Need to handle "at" too!!!
DefPrimitive('\font Token SkipMatch:= SkipSpaces TeXFileName', sub {
my($stomach,$cs,$name)=@_;
my $gullet = $stomach->getGullet;
$name = ToString($name);
my %props=();
my $size = 1;
if($name =~ /^$FONTREGEXP$/o){
my($fm,$sr,$sh)=($1,$2,$3);
$size = $4;
%props = %{$font_family{$fm}||{}};
$props{series}= $font_series{$sr} unless $props{series};
$props{shape} = $font_shape{$sh} unless $props{shape}; }
else {
Info(":unexpected:$name Unrecognized font \"$name\"; ".ToString($cs)." will have no effect"); }
if($gullet->readKeyword('at')){
$size = $gullet->readDimension->ptValue; }
if($gullet->readKeyword('scaled')){
$size *= ($gullet->readNumber->valueOf/1000); }
$props{size} = abstract_font_size($size);
$gullet->skipSpaces;
## print STDERR "Font $name == ".join(', ',map("$_=>$props{$_}",sort keys %props))."\n";
DefConstructorI($cs,undef,'',font=>{%props});
});
DefRegister('\count Number' => Number(0));
DefRegister('\dimen Number' => Dimension(0));
DefRegister('\skip Number' => Glue(0));
DefRegister('\muskip Number'=> MuGlue(0));
DefRegister('\toks Number' => Tokens());
# = | | \count<8bit>
# = | | \dimen<8bit>
# = | | \skip<8bit>
# = | | \muskip<8bit>
# = \advance
# | \advance
# | \advance
# | \advance
# | \multiply
# | \divide
DefPrimitive('\advance Variable SkipKeyword:by',sub {
my($stomach,$var)=@_;
return () unless $var;
my($defn,@args)=@$var;
$defn->setValue($defn->valueOf(@args)->add($stomach->getGullet->readValue($defn->isRegister)),@args); });
DefPrimitive('\multiply Variable SkipKeyword:by Number',sub {
my($stomach,$var,$scale)=@_;
return () unless $var;
my($defn,@args)=@$var;
$defn->setValue($defn->valueOf(@args)->multiply($scale->valueOf),@args); });
DefPrimitive('\divide Variable SkipKeyword:by Number',sub {
my($stomach,$var,$scale)=@_;
return () unless $var;
my($defn,@args)=@$var;
my $denom = $scale->valueOf;
if($denom == 0){
Error(":misdefined:$scale Illegal \\divide by 0; assuming 1");
$denom = 1; }
$defn->setValue($defn->valueOf(@args)->multiply(1/$denom),@args); });
# = \futurelet
# | \let
DefPrimitive('\let Token SkipMatch:= SkipSpaces Token', sub {
my($stomach,$token1,$token2)=@_;
Let($token1, $token2);
return; });
DefMacro('\futurelet Token Token Token',sub{
my($stomach,$cs,$token1,$token2)=@_;
Let($cs, $token2);
($token1,$token2); });
# = \chardef<8bit>
# | \mathchardef <15bit>
# | <8bit>
# = \countdef | \dimendef | \skipdef | \muskipdef | toksdef
# Almost like a register, but different...
DefPrimitive('\chardef Token SkipMatch:= Number', sub {
my($stomach,$newcs,$value)=@_;
$STATE->installDefinition(LaTeXML::CharDef->new($newcs,$value));
return; });
# \mathchardef ?
DefPrimitive('\countdef Token SkipMatch:= Number',sub {
my($stomach,$cs,$num)=@_;
my $count = '\count'.$num->valueOf;
DefRegisterI($cs,undef, Number(0),
getter=>sub { LookupValue($count); },
setter=>sub { AssignValue($count=>$_[0]); }); });
DefPrimitive('\dimendef Token SkipMatch:= Number',sub {
my($stomach,$cs,$num)=@_;
my $dimen = '\dimen'.$num->valueOf;
DefRegisterI($cs,undef,Dimension(0),
getter=>sub { LookupValue($dimen); },
setter=>sub { AssignValue($dimen=>$_[0]); }); });
DefPrimitive('\skipdef Token SkipMatch:= Number',sub {
my($stomach,$cs,$num)=@_;
my $glue = '\skip'.$num->valueOf;
DefRegisterI($cs,undef, Glue(0),
getter=>sub { LookupValue($glue); },
setter=>sub { AssignValue($glue=>$_[0]); }); });
DefPrimitive('\muskipdef Token SkipMatch:= Number',sub {
my($stomach,$cs,$num)=@_;
my $muglue = '\muskip'.$num->valueOf;
DefRegisterI($cs,undef, MuGlue(0),
getter=>sub { LookupValue($muglue); },
setter=>sub { AssignValue($muglue=>$_[0]); }); });
DefPrimitive('\toksdef Token SkipMatch:= Number',sub {
my($stomach,$cs,$num)=@_;
my $toks = '\toks'.$num->valueOf;
DefRegisterI($cs,undef, Tokens(),
getter=>sub { LookupValue($toks); },
setter=>sub { AssignValue($toks=>$_[0]); }); });
# NOTE: Get all these handled as registers
# = | | \lastpenalty
# | | \count<8bit> | <8bit>
# | | | \parshape | \inputlineno
# | \hyphenchar | \skewchar | \badness
DefRegister('\lastpenalty',Number(0), readonly=>1);
# \parshape !?!??
#DefRegister('\inputlineno',Number(0),
# readonly=>1,
# getter=>{ Number($stomach->getGullet->getMouth????? ->lineno); });
# \skewchar ???
DefRegister('\badness',Number(0), readonly=>1);
# = \catcode | \mathcode | \lccode | \uccode | \sfcode | \delcode
DefRegister('\catcode Number',Number(0),
getter=>sub { my $cc = LookupCatcode(chr($_[0]->valueOf));
$cc = CC_OTHER unless defined $cc;
Number($cc); },
setter=>sub { AssignCatcode(chr($_[1]->valueOf) => $_[0]->valueOf); });
# Stub definitions ???
DefRegister('\mathcode Number',Number(0));
DefRegister('\sfcode Number',Number(0));
DefRegister('\lccode Number',Number(0));
DefRegister('\uccode Number',Number(0));
DefRegister('\delcode Number',Number(0));
DefRegister('\hyphenchar{}',Number(ord('-')));
DefRegister('\skewchar{}',Number(0)); # no idea what the default is here
DefMacro('\hyphenation{}', Tokens()); # Well, what ?
# = | \font |
# | <4bit>
# = \textfont | \scriptfont | \scriptscriptfont
# Doubtful that we can do anything useful with these.
DefMacro('\textfont Number SkipMatch:= Token', sub { return; });
DefMacro('\scriptfont Number SkipMatch:= Token', sub { return; });
DefMacro('\scriptscriptfont Number SkipMatch:= Token', sub { return; });
# = | | \lastkern
# | | \dimen<8bit> | <8bit> | \fontdimen
DefRegister('\lastkern'=>Dimension(0), readonly=>1);
# = \ht | \wd | \dp
# Need some clever getter & setters!
DefRegister('\ht Number',Dimension(0));
DefRegister('\wd Number',Dimension(0));
DefRegister('\dp Number',Dimension(0));
# Could be handled by setting dimensions whenever the box itself is set?
# = | \lastskip | | \skip<8bit>
DefRegister('\lastskip'=>Glue(0), readonly=>1);
# = | \lastskip | | \muskip<8bit>
# =
# = \parshape
# is 2n
# = |