I can't get inline math to work
pataei opened this issue · comments
I'm writing a document that includes inference rules and the inference rules work fine but for some reason, the inline math shows up as latex code and doesn't get parsed correctly. The attached picture shows an example of the issue. I tried different packages but haven't had any luck. Any suggestions?
Here's the beginning of my madoko file:
Heading depth: 5
Math Dpi : 299
Pdf Latex: xelatex
Math Latex Full: pdflatex
Document Class: [11pt]article
Package: [top=1in, bottom=1.25in, left=1in, right=1in]geometry
Package: fancyhdr
Package: mathpartir
MathJax Ext: AMScd
Package: amscd
MathJax Ext : mhchem
Package : [version=3]mhchem
Tex Header:
\setlength{\headheight}{30pt}
\renewcommand{\footrulewidth}{0.5pt}
~Aligned : replace:"~Math&nl;\begin{aligned}&nl;&source;&nl;\end{aligned}&nl;~"
[TITLE]
~ TexRaw
\mdDefineUnicode{10214}{\ensuremath{\llbracket}}
\mdDefineUnicode{10215}{\ensuremath{\rrbracket}}
~
Here's my make file:
SPEC=Petr4-spec
all: build/${SPEC}.pdf
build/${SPEC}.pdf: ${SPEC}.mdk
madoko --pdf -vv --png --odir=build $<
build/${SPEC}.pdf: grammar.mdk p4.json
html: ${SPEC}.mdk grammar.mdk p4.json
madoko -vv --png --odir=build $<
clean:
${RM} -rf build
Make results in the following:
madoko --pdf -vv --png --odir=build Petr4-spec.mdk
process: Petr4-spec.mdk -> build/Petr4-spec.html
process: Petr4-spec.mdk -> build/Petr4-spec.tex
Petr4-spec: rendering math.
Petr4-spec: math unchanged (full)
Petr4-spec: running latex on math... (plain -> dvi -> png)
Petr4-spec: generating math images... (plain) (1) (concurrency 4)
> "dvipng" -T tight -z9 -bg Transparent -D299 -pp 1 -o "math/Petr4-spec-math-
plain-%d.png" "Petr4-spec-math-plain"
error: failure while typesetting math:
Here's math-plain.log:
This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=latex 2022.4.3) 20 MAY 2022 12:19
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
**build/Petr4-spec-math-plain.tex
(./build/Petr4-spec-math-plain.tex
LaTeX2e <2020-10-01> patch level 4
L3 programming layer <2021-02-18> (/usr/local/texlive/2021/texmf-dist/tex/latex/base/book.cls
Document Class: book 2020/04/10 v1.4m Standard LaTeX document class
(/usr/local/texlive/2021/texmf-dist/tex/latex/base/bk10.clo
File: bk10.clo 2020/04/10 v1.4m Standard LaTeX file (size option)
)
\c@part=\count179
\c@chapter=\count180
\c@section=\count181
\c@subsection=\count182
\c@subsubsection=\count183
\c@paragraph=\count184
\c@subparagraph=\count185
\c@figure=\count186
\c@table=\count187
\abovecaptionskip=\skip47
\belowcaptionskip=\skip48
\bibindent=\dimen138
) (build/madoko2.sty (/usr/local/texlive/2021/texmf-dist/tex/latex/colortbl/colortbl.sty
Package: colortbl 2020/01/04 v1.0e Color table columns (DPC)
(/usr/local/texlive/2021/texmf-dist/tex/latex/tools/array.sty
Package: array 2020/10/01 v2.5c Tabular extension package (FMi)
\col@sep=\dimen139
\ar@mcellbox=\box47
\extrarowheight=\dimen140
\NC@list=\toks15
\extratabsurround=\skip49
\backup@length=\skip50
\ar@cellbox=\box48
) (/usr/local/texlive/2021/texmf-dist/tex/latex/graphics/color.sty
Package: color 2020/02/24 v1.2b Standard LaTeX Color (DPC)
(/usr/local/texlive/2021/texmf-dist/tex/latex/graphics-cfg/color.cfg
File: color.cfg 2016/01/02 v1.6 sample color configuration
)
Package color Info: Driver file: dvips.def on input line 147.
(/usr/local/texlive/2021/texmf-dist/tex/latex/graphics-def/dvips.def
File: dvips.def 2017/06/20 v3.1d Graphics/color driver for dvips
) (/usr/local/texlive/2021/texmf-dist/tex/latex/graphics/dvipsnam.def
File: dvipsnam.def 2016/06/17 v3.0m Driver-dependent file (DPC,SPQR)
))
\everycr=\toks16
\minrowclearance=\skip51
) (/usr/local/texlive/2021/texmf-dist/tex/latex/xcolor/xcolor.sty
Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK)
(/usr/local/texlive/2021/texmf-dist/tex/latex/graphics-cfg/color.cfg
File: color.cfg 2016/01/02 v1.6 sample color configuration
)
Package xcolor Info: Driver file: dvips.def on input line 225.
LaTeX Info: Redefining \color on input line 709.
Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348.
Package xcolor Info: Model `RGB' extended on input line 1364.
Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366.
Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367.
Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368.
Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369.
Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370.
Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371.
) (build/options.sty
Package: options 2015/03/01, Daan Leijen, Provides convenient path-value (or key-value) options
(/usr/local/texlive/2021/texmf-dist/tex/latex/etoolbox/etoolbox.sty
Package: etoolbox 2020/10/05 v2.5k e-TeX tools for LaTeX (JAW)
\etb@tempcnta=\count188
)
\opt@nesting=\count189
\opt@idx=\count190
\opt@choiceord=\count191
) (/usr/local/texlive/2021/texmf-dist/tex/generic/iftex/iftex.sty
Package: iftex 2020/03/06 v1.0d TeX engine tests
) (/usr/local/texlive/2021/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 2020/09/09 v1.2b Enhanced LaTeX Graphics (DPC,SPQR)
(/usr/local/texlive/2021/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks17
) (/usr/local/texlive/2021/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2020/08/30 v1.4c Standard LaTeX Graphics (DPC,SPQR)
(/usr/local/texlive/2021/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
) (/usr/local/texlive/2021/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
)
Package graphics Info: Driver file: dvips.def on input line 105.
)
\Gin@req@height=\dimen141
\Gin@req@width=\dimen142
) (build/longfbox.sty
Package: longfbox 2015/12/01, Daan Leijen, Provides long fbox that can break over pages
(build/longbox.sty
Package: longbox 2015/12/01, Daan Leijen, Provides basic longbox that can break over pages
(/usr/local/texlive/2021/texmf-dist/tex/latex/mdwtools/footnote.sty
Package: footnote 1997/01/28 1.13 Save footnotes around boxes
\fn@notes=\box49
\fn@width=\dimen143
)
\lb@prevdepth=\skip52
\lb@freevspace=\skip53
\lb@headbox=\box50
\lb@savebox=\box51
\lb@mainbox=\box52
\lb@usevbox=\count192
\lb@width=\skip54
\lb@height=\skip55
\lb@skiptop=\skip56
\lb@skipright=\skip57
\lb@skipbottom=\skip58
\lb@skipleft=\skip59
\lb@skipbreaktop=\skip60
\lb@skipbreakbottom=\skip61
\lb@outerwidth=\skip62
\lb@extrasplit=\skip63
\lb@textalign=\count193
\lb@baseline=\count194
\lb@neededvspace=\skip64
\lb@splitheight=\skip65
\lb@insurance=\skip66
\/longbox/@part-height=\skip67
\/longbox/@part-width=\skip68
\/longbox/@part-depth=\skip69
\/longbox/@content-box-height=\skip70
\/longbox/@content-box-width=\skip71
\/longbox/@content-box-depth=\skip72
\/longbox/@breakat-previous=\skip73
\/longbox/@lower=\skip74
\/longbox/split-minimum=\skip75
\/longbox/split-badness=\skip76
\/longbox/raise=\skip77
\/longbox/height=\skip78
\/longbox/width=\skip79
\/longbox/outer-height=\skip80
\/longbox/outer-width=\skip81
\/longbox/skip-top=\skip82
\/longbox/skip-right=\skip83
\/longbox/skip-bottom=\skip84
\/longbox/skip-left=\skip85
\/longbox/skip-break-bottom=\skip86
\/longbox/skip-break-top=\skip87
) (/usr/local/texlive/2021/texmf-dist/tex/latex/pict2e/pict2e.sty
Package: pict2e 2020/09/30 v0.4b Improved picture commands (HjG,RN,JT)
(/usr/local/texlive/2021/texmf-dist/tex/latex/pict2e/pict2e.cfg
File: pict2e.cfg 2016/02/05 v0.1u pict2e configuration for teTeX/TeXLive
)
Package pict2e Info: Driver file: dvips.def on input line 112.
Package pict2e Info: Driver file for pict2e: p2e-dvips.def on input line 114.
(/usr/local/texlive/2021/texmf-dist/tex/latex/pict2e/p2e-dvips.def
File: p2e-dvips.def 2016/02/05 v0.1u Driver-dependant file (RN,HjG,JT)
)
\pIIe@GRAPH=\toks18
\@arclen=\dimen144
\@arcrad=\dimen145
\pIIe@tempdima=\dimen146
\pIIe@tempdimb=\dimen147
\pIIe@tempdimc=\dimen148
\pIIe@tempdimd=\dimen149
\pIIe@tempdime=\dimen150
\pIIe@tempdimf=\dimen151
) (build/ellipse.sty
Package: ellipse 2004/11/05 v1.0 .dtx ellipse file
)
\fbox@oct=\count195
\fbox@quad=\count196
\fbox@diaq=\count197
\fbox@sign=\count198
\fbox@anglestart=\skip88
\fbox@angleend=\skip89
\fbox@dash=\skip90
\fbox@dashskip=\skip91
\fbox@anglecur=\skip92
\fbox@dashangle=\skip93
\fbox@dashskipangle=\skip94
\fbox@delta=\skip95
\fbox@from=\skip96
\fbox@to=\skip97
\/fbox/padding-top=\skip98
\/fbox/padding-right=\skip99
\/fbox/padding-bottom=\skip100
\/fbox/padding-left=\skip101
\/fbox/padding-break-top=\skip102
\/fbox/padding-break-bottom=\skip103
\/fbox/margin-top=\skip104
\/fbox/margin-right=\skip105
\/fbox/margin-bottom=\skip106
\/fbox/margin-left=\skip107
\/fbox/margin-break-top=\skip108
\/fbox/margin-break-bottom=\skip109
\/fbox/border-top-width=\skip110
\/fbox/border-right-width=\skip111
\/fbox/border-bottom-width=\skip112
\/fbox/border-left-width=\skip113
\/fbox/border-break-top-width=\skip114
\/fbox/border-break-bottom-width=\skip115
\/fbox/@lower=\skip116
\/fbox/@padding-box-height=\skip117
\/fbox/@padding-box-depth=\skip118
\/fbox/@padding-box-width=\skip119
\/fbox/@border-box-width=\skip120
\/fbox/@border-box-height=\skip121
\/fbox/@border-box-depth=\skip122
\/fbox/@border-top-left-radius-x=\skip123
\/fbox/@border-top-right-radius-x=\skip124
\/fbox/@border-bottom-left-radius-x=\skip125
\/fbox/@border-bottom-right-radius-x=\skip126
\/fbox/@border-top-left-radius-y=\skip127
\/fbox/@border-top-right-radius-y=\skip128
\/fbox/@border-bottom-left-radius-y=\skip129
\/fbox/@border-bottom-right-radius-y=\skip130
\/fbox/@border-top-left-ix=\skip131
\/fbox/@border-top-left-iy=\skip132
\/fbox/@border-top-right-ix=\skip133
\/fbox/@border-top-right-iy=\skip134
\/fbox/@border-bottom-left-ix=\skip135
\/fbox/@border-bottom-left-iy=\skip136
\/fbox/@border-bottom-right-ix=\skip137
\/fbox/@border-bottom-right-iy=\skip138
\/fbox/@border-top-left-phi=\skip139
\/fbox/@border-top-right-phi=\skip140
\/fbox/@border-bottom-left-phi=\skip141
\/fbox/@border-bottom-right-phi=\skip142
) (/usr/local/texlive/2021/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2020/09/23 v2.17i AMS math features
\@mathmargin=\skip143
For additional information on amsmath, use the `?' option.
(/usr/local/texlive/2021/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01 AMS text
(/usr/local/texlive/2021/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0 generic functions
\@emptytoks=\toks19
\ex@=\dimen152
)) (/usr/local/texlive/2021/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
\pmbraise@=\dimen153
) (/usr/local/texlive/2021/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 2016/03/08 v2.02 operator names
)
\inf@bad=\count199
LaTeX Info: Redefining \frac on input line 234.
\uproot@=\count266
\leftroot@=\count267
LaTeX Info: Redefining \overline on input line 399.
\classnum@=\count268
\DOTSCASE@=\count269
LaTeX Info: Redefining \ldots on input line 496.
LaTeX Info: Redefining \dots on input line 499.
LaTeX Info: Redefining \cdots on input line 620.
\Mathstrutbox@=\box53
\strutbox@=\box54
\big@size=\dimen154
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
\macc@depth=\count270
\c@MaxMatrixCols=\count271
\dotsspace@=\muskip16
\c@parentequation=\count272
\dspbrk@lvl=\count273
\tag@help=\toks20
\row@=\count274
\column@=\count275
\maxfields@=\count276
\andhelp@=\toks21
\eqnshift@=\dimen155
\alignsep@=\dimen156
\tagshift@=\dimen157
\tagwidth@=\dimen158
\totwidth@=\dimen159
\lineht@=\dimen160
\@envbody=\toks22
\multlinegap=\skip144
\multlinetaggap=\skip145
\mathdisplay@stack=\toks23
LaTeX Info: Redefining \[ on input line 2923.
LaTeX Info: Redefining \] on input line 2924.
) (/usr/local/texlive/2021/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
) (/usr/local/texlive/2021/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols
) (/usr/local/texlive/2021/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty
Package: stmaryrd 1994/03/03 St Mary's Road symbol package
\symstmry=\mathgroup6
LaTeX Font Info: Overwriting symbol font `stmry' in version `bold'
(Font) U/stmry/m/n --> U/stmry/b/n on input line 89.
) (/usr/local/texlive/2021/texmf-dist/tex/latex/base/textcomp.sty
Package: textcomp 2020/02/02 v2.0n Standard LaTeX package
) (/usr/local/texlive/2021/texmf-dist/tex/latex/psnfss/pifont.sty
Package: pifont 2020/03/25 PSNFSS-v9.3 Pi font support (SPQR)
LaTeX Font Info: Trying to load font information for U+pzd on input line 63.
(/usr/local/texlive/2021/texmf-dist/tex/latex/psnfss/upzd.fd
File: upzd.fd 2001/06/04 font definitions for U/pzd.
)
LaTeX Font Info: Trying to load font information for U+psy on input line 64.
(/usr/local/texlive/2021/texmf-dist/tex/latex/psnfss/upsy.fd
File: upsy.fd 2001/06/04 font definitions for U/psy.
)) (/usr/local/texlive/2021/texmf-dist/tex/latex/hyperref/hyperref.sty
Package: hyperref 2021-02-27 v7.00k Hypertext links for LaTeX
(/usr/local/texlive/2021/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
Package: ltxcmds 2020-05-10 v1.25 LaTeX kernel commands for general use (HO)
) (/usr/local/texlive/2021/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO)
(/usr/local/texlive/2021/texmf-dist/tex/generic/infwarerr/infwarerr.sty
Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO)
)
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode is ignored in DVI mode.
) (/usr/local/texlive/2021/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO)
) (/usr/local/texlive/2021/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO)
) (/usr/local/texlive/2021/texmf-dist/tex/generic/pdfescape/pdfescape.sty
Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO)
) (/usr/local/texlive/2021/texmf-dist/tex/latex/hycolor/hycolor.sty
Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO)
) (/usr/local/texlive/2021/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO)
) (/usr/local/texlive/2021/texmf-dist/tex/latex/auxhook/auxhook.sty
Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO)
) (/usr/local/texlive/2021/texmf-dist/tex/latex/kvoptions/kvoptions.sty
Package: kvoptions 2020-10-07 v3.14 Key value format for package options (HO)
)
\@linkdim=\dimen161
\Hy@linkcounter=\count277
\Hy@pagecounter=\count278
(/usr/local/texlive/2021/texmf-dist/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2021-02-27 v7.00k Hyperref: PDFDocEncoding definition (HO)
Now handling font encoding PD1 ...
... no UTF-8 mapping file for font encoding PD1
) (/usr/local/texlive/2021/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def
File: hyperref-langpatches.def 2021-02-27 v7.00k Hyperref: patches for babel languages
) (/usr/local/texlive/2021/texmf-dist/tex/generic/intcalc/intcalc.sty
Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO)
) (/usr/local/texlive/2021/texmf-dist/tex/generic/etexcmds/etexcmds.sty
Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO)
)
\Hy@SavedSpaceFactor=\count279
(/usr/local/texlive/2021/texmf-dist/tex/latex/hyperref/puenc.def
File: puenc.def 2021-02-27 v7.00k Hyperref: PDF Unicode definition (HO)
Now handling font encoding PU ...
... no UTF-8 mapping file for font encoding PU
)
Package hyperref Info: Hyper figures OFF on input line 4192.
Package hyperref Info: Link nesting OFF on input line 4197.
Package hyperref Info: Hyper index ON on input line 4200.
Package hyperref Info: Plain pages OFF on input line 4207.
Package hyperref Info: Backreferencing OFF on input line 4212.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4445.
\c@Hy@tempcnt=\count280
(/usr/local/texlive/2021/texmf-dist/tex/latex/url/url.sty
\Urlmuskip=\muskip17
Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 4804.
\XeTeXLinkMargin=\dimen162
(/usr/local/texlive/2021/texmf-dist/tex/generic/bitset/bitset.sty
Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO)
(/usr/local/texlive/2021/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO)
))
\Fld@menulength=\count281
\Field@Width=\dimen163
\Fld@charsize=\dimen164
Package hyperref Info: Hyper figures OFF on input line 6075.
Package hyperref Info: Link nesting OFF on input line 6080.
Package hyperref Info: Hyper index ON on input line 6083.
Package hyperref Info: backreferencing OFF on input line 6090.
Package hyperref Info: Link coloring OFF on input line 6095.
Package hyperref Info: Link coloring with OCG OFF on input line 6100.
Package hyperref Info: PDF/A mode OFF on input line 6105.
LaTeX Info: Redefining \ref on input line 6145.
LaTeX Info: Redefining \pageref on input line 6149.
(/usr/local/texlive/2021/texmf-dist/tex/latex/base/atbegshi-ltx.sty
Package: atbegshi-ltx 2020/08/17 v1.0a Emulation of the original atbegshi package
with kernel methods
)
\Hy@abspage=\count282
\c@Item=\count283
\c@Hfootnote=\count284
)
Package hyperref Info: Driver (default): hdvips.
(/usr/local/texlive/2021/texmf-dist/tex/latex/hyperref/hdvips.def
File: hdvips.def 2021-02-27 v7.00k Hyperref driver for dvips
(/usr/local/texlive/2021/texmf-dist/tex/latex/hyperref/pdfmark.def
File: pdfmark.def 2021-02-27 v7.00k Hyperref definitions for pdfmark specials
\pdf@docset=\toks24
\pdf@box=\box55
\pdf@toks=\toks25
\pdf@defaulttoks=\toks26
\HyField@AnnotCount=\count285
\Fld@listcount=\count286
\c@bookmark@seq@number=\count287
(/usr/local/texlive/2021/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
Package: rerunfilecheck 2019/12/05 v1.9 Rerun checks for auxiliary files (HO)
(/usr/local/texlive/2021/texmf-dist/tex/latex/base/atveryend-ltx.sty
Package: atveryend-ltx 2020/08/19 v1.0a Emulation of the original atvery package
with kernel methods
) (/usr/local/texlive/2021/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO)
)
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 286.
)
\Hy@SectionHShift=\skip146
)) (/usr/local/texlive/2021/texmf-dist/tex/latex/bookmark/bookmark.sty
Package: bookmark 2020-11-06 v1.29 PDF bookmarks (HO)
(/usr/local/texlive/2021/texmf-dist/tex/latex/bookmark/bkm-dvips.def
File: bkm-dvips.def 2020-11-06 v1.29 bookmark driver for dvips (HO)
\BKM@id=\count288
))
Package hyperref Info: Option `colorlinks' set `true' on input line 88.
\px=\skip147
\c@md@targetcount=\count289
\mdcompactskip=\skip148
\mdcompacttopsep=\skip149
\dim@rem=\skip150
\dim@ch=\skip151
\md@height=\skip152
\dim@marginbottom=\skip153
\dim@paddingbottom=\skip154
\md@interaction=\count290
\mddefinitionsskip=\skip155
\md@captionlen=\skip156
\mdtoclevel=\count291
\c@mdtoclevelbold=\count292
\c@mdtocleveldots=\count293
\mdtocskip=\skip157
\mdpreskip=\skip158
\presp=\skip159
\md@postskip=\skip160
\ppresp=\skip161
\md@thmcaption=\box56
\md@defaultcolwidth=\skip162
\mdtabularskip=\skip163
\mdbibindentunit=\skip164
\c@md@authorcount=\count294
\c@mdx@authorcount=\count295
\c@@mdTargetCount=\count296
\@snippetBox=\box57
\@snippetWidth=\skip165
\@snippetHeight=\skip166
\@snippetDepth=\skip167
\c@snippets=\count297
) (/usr/local/texlive/2021/texmf-dist/tex/latex/geometry/geometry.sty
Package: geometry 2020/01/02 v5.9 Page Geometry
(/usr/local/texlive/2021/texmf-dist/tex/generic/iftex/ifvtex.sty
Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead.
)
\Gm@cnth=\count298
\Gm@cntv=\count299
\c@Gm@tempcnt=\count300
\Gm@bindingoffset=\dimen165
\Gm@wd@mp=\dimen166
\Gm@odd@mp=\dimen167
\Gm@even@mp=\dimen168
\Gm@layoutwidth=\dimen169
\Gm@layoutheight=\dimen170
\Gm@layouthoffset=\dimen171
\Gm@layoutvoffset=\dimen172
\Gm@dimlist=\toks27
) (/usr/local/texlive/2021/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
Package: fancyhdr 2021/01/28 v4.0.1 Extensive control of page headers and footers
\f@nch@headwidth=\skip168
\f@nch@O@elh=\skip169
\f@nch@O@erh=\skip170
\f@nch@O@olh=\skip171
\f@nch@O@orh=\skip172
\f@nch@O@elf=\skip173
\f@nch@O@erf=\skip174
\f@nch@O@olf=\skip175
\f@nch@O@orf=\skip176
) (/usr/local/texlive/2021/texmf-dist/tex/latex/mathpartir/mathpartir.sty
Package: mathpartir 2016/02/24 version 1.3.2 Math Paragraph for Typesetting Inference Rules
\mpr@andskip=\skip177
\mpr@lista=\toks28
\mpr@listb=\toks29
\mpr@hlist=\box58
\mpr@vlist=\box59
\mpr@right=\box60
) (/usr/local/texlive/2021/texmf-dist/tex/latex/amsmath/amscd.sty
Package: amscd 2017/04/14 v2.1 AMS Commutative Diagrams
\athelp@=\toks30
\minaw@=\dimen173
\bigaw@=\dimen174
\minCDarrowwidth=\dimen175
) (/usr/local/texlive/2021/texmf-dist/tex/latex/mhchem/mhchem.sty
Package: mhchem 2018/06/22 v4.08 for typesetting chemical formulae
(/usr/local/texlive/2021/texmf-dist/tex/latex/l3kernel/expl3.sty
Package: expl3 2021-02-18 L3 programming layer (loader)
(/usr/local/texlive/2021/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
File: l3backend-dvips.def 2021-03-18 L3 backend support: dvips
\l__pdf_internal_box=\box61
\g__pdf_backend_object_int=\count301
\l__pdf_backend_content_box=\box62
\l__pdf_backend_model_box=\box63
\g__pdf_backend_annotation_int=\count302
\g__pdf_backend_link_int=\count303
\g__pdf_backend_link_sf_int=\count304
)) (/usr/local/texlive/2021/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
Package: l3keys2e 2021-03-12 LaTeX2e option processing using LaTeX3 keys
) (/usr/local/texlive/2021/texmf-dist/tex/latex/tools/calc.sty
Package: calc 2017/05/25 v4.3 Infix arithmetic (KKT,FJ)
\calc@Acount=\count305
\calc@Bcount=\count306
\calc@Adimen=\dimen176
\calc@Bdimen=\dimen177
\calc@Askip=\skip178
\calc@Bskip=\skip179
LaTeX Info: Redefining \setlength on input line 80.
LaTeX Info: Redefining \addtolength on input line 81.
\calc@Ccount=\count307
\calc@Cskip=\skip180
) (/usr/local/texlive/2021/texmf-dist/tex/latex/chemgreek/chemgreek.sty (/usr/local/texlive/2021/texmf-dist/tex/latex/l3packages/xparse/xparse.sty (/usr/local/texlive/2021/texmf-dist/tex/latex/l3packages/xparse/xparse-2020-10-01.sty (/usr/local/texlive/2021/texmf-dist/tex/latex/l3packages/xparse/xparse-generic.tex)))
Package: chemgreek 2020/01/16 v1.1a interface for upright Greek letters for use in chemistry (CN)
\l__chemgreek_tmpa_int=\count308
\g__chemgreek_tmpa_int=\count309
)
\l__mhchem_ce_distanceFromLastComma_int=\count310
\__mhchem_arrow_extPgfLength_skip=\skip181
\mhchem@minispace@tmp=\skip182
\mhchem@minibackspace@tmp=\skip183
\mhchem@bondwidth=\skip184
\mhchem@bondheight=\skip185
\mhchem@smallbondwidth@tmpA=\skip186
\mhchem@smallbondwidth@tmpB=\skip187
\mhchem@smallbondwidth=\skip188
\mhchem@bondtmp@minussidebearingleft=\skip189
\mhchem@bondtmp@minussidebearingright=\skip190
\l__mhchem_option_version_int=\count311
\mhchem@option@minusmathsidebearingleft=\dimen178
\mhchem@option@minusmathsidebearingright=\dimen179
\mhchem@option@minustextsidebearingleft=\dimen180
\mhchem@option@minustextsidebearingright=\dimen181
) (build/Petr4-spec-math-plain.aux)
\openout1 = `Petr4-spec-math-plain.aux'.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 18.
LaTeX Font Info: ... okay on input line 18.
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 18.
LaTeX Font Info: ... okay on input line 18.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 18.
LaTeX Font Info: ... okay on input line 18.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 18.
LaTeX Font Info: ... okay on input line 18.
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 18.
LaTeX Font Info: ... okay on input line 18.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 18.
LaTeX Font Info: ... okay on input line 18.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 18.
LaTeX Font Info: ... okay on input line 18.
LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 18.
LaTeX Font Info: ... okay on input line 18.
LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 18.
LaTeX Font Info: ... okay on input line 18.
Package hyperref Info: Link coloring ON on input line 18.
(/usr/local/texlive/2021/texmf-dist/tex/latex/hyperref/nameref.sty
Package: nameref 2021-04-02 v2.47 Cross-referencing by name of section
(/usr/local/texlive/2021/texmf-dist/tex/latex/refcount/refcount.sty
Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO)
) (/usr/local/texlive/2021/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
)
\c@section@level=\count312
)
LaTeX Info: Redefining \ref on input line 18.
LaTeX Info: Redefining \pageref on input line 18.
LaTeX Info: Redefining \nameref on input line 18.
*geometry* driver: auto-detecting
*geometry* detected driver: dvips
*geometry* verbose mode - [ preamble ] result:
* driver: dvips
* paper: <default>
* layout: <same size as paper>
* layoutoffset:(h,v)=(0.0pt,0.0pt)
* modes: twoside
* h-part:(L,W,R)=(72.26999pt, 469.75502pt, 72.26999pt)
* v-part:(T,H,B)=(72.26999pt, 632.3625pt, 90.3375pt)
* \paperwidth=614.295pt
* \paperheight=794.96999pt
* \textwidth=469.75502pt
* \textheight=632.3625pt
* \oddsidemargin=0.0pt
* \evensidemargin=0.0pt
* \topmargin=-30.06749pt
* \headheight=30.0pt
* \headsep=18.06749pt
* \topskip=10.0pt
* \footskip=25.29494pt
* \marginparwidth=125.0pt
* \marginparsep=7.0pt
* \columnsep=10.0pt
* \skip\footins=9.0pt plus 4.0pt minus 2.0pt
* \hoffset=0.0pt
* \voffset=0.0pt
* \mag=1000
* \@twocolumnfalse
* \@twosidetrue
* \@mparswitchtrue
* \@reversemarginfalse
* (1in=72.27pt=25.4mm, 1cm=28.453pt)
Package chemgreek Info: Activating mapping `default' on line 18.
\md@dimfile=\write3
\openout3 = `Petr4-spec-math-plain.dim'.
LaTeX Font Info: Trying to load font information for U+msa on input line 159.
(/usr/local/texlive/2021/texmf-dist/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
)
LaTeX Font Info: Trying to load font information for U+msb on input line 159.
(/usr/local/texlive/2021/texmf-dist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
)
LaTeX Font Info: Trying to load font information for U+stmry on input line 159.
(/usr/local/texlive/2021/texmf-dist/tex/latex/stmaryrd/Ustmry.fd)
\BKM@file=\write4
\openout4 = `Petr4-spec-math-plain.out.ps'.
[1
] (build/Petr4-spec-math-plain.aux) )
Here is how much of TeX's memory you used:
15305 strings out of 478995
273556 string characters out of 5858211
599798 words of memory out of 5000000
32578 multiletter control sequences out of 15000+600000
407643 words of font info for 44 fonts, out of 8000000 for 9000
1141 hyphenation exceptions out of 8191
91i,7n,94p,489b,508s stack positions out of 5000i,500n,10000p,200000b,80000s
Output written on build/Petr4-spec-math-plain.dvi (1 page, 2804 bytes).
Fixed this. The issue was enabling the --png flag when running madoko. Removed the label and it all works fine now.