File tree Expand file tree Collapse file tree 2 files changed +1
-6
lines changed
Expand file tree Collapse file tree 2 files changed +1
-6
lines changed Original file line number Diff line number Diff line change @@ -1278,8 +1278,6 @@ void printTexHeader(flag texHeaderFlag)
12781278 // see https://www.ctan.org/pkg/amsmath
12791279 print2 ("\\usepackage{amsthm} %% amsthm must be loaded after amsmath\n" );
12801280 // see https://www.ctan.org/pkg/amsthm
1281- print2 ("\\usepackage{accents} %% accents should be loaded after mathtools\n" );
1282- // see https://www.ctan.org/pkg/accents
12831281 print2 ("\\theoremstyle{plain}\n" );
12841282 print2 ("\\newtheorem{theorem}{Theorem}[section]\n" );
12851283 print2 ("\\newtheorem{definition}[theorem]{Definition}\n" );
@@ -1305,8 +1303,6 @@ void printTexHeader(flag texHeaderFlag)
13051303 print2 ("\\usepackage{mathtools} %% loads package amsmath\n" );
13061304 // see https://www.ctan.org/pkg/mathtools
13071305 // see https://www.ctan.org/pkg/amsmath
1308- print2 ("\\usepackage{accents} %% accents should be loaded after mathtools\n" );
1309- // see https://www.ctan.org/pkg/accents
13101306 print2 ("\\raggedbottom\n" );
13111307 print2 ("\\raggedright\n" );
13121308 print2 ("%%\\title{Your title here}\n" );
Original file line number Diff line number Diff line change @@ -12,7 +12,7 @@ MM> Outputting proof of "th1"...
1212The LaTeX source was written to "issue129.tex".
1313MM> The LaTeX output file "issue129.tex" has been closed.
1414MM> Entering the Text Tools utilities. Type HELP for help, EXIT to exit.
15- TOOLS> The input had 28 lines, the output has 27 lines. First output line:
15+ TOOLS> The input had 27 lines, the output has 26 lines. First output line:
1616\documentclass{article}
1717TOOLS> Exiting the Text Tools. Type EXIT again to exit Metamath.
1818MM> \documentclass{article}
@@ -21,7 +21,6 @@ MM> \documentclass{article}
2121\usepackage{mathrsfs} % for \mathscr
2222\usepackage{mathtools} % loads package amsmath
2323\usepackage{amsthm} % amsthm must be loaded after amsmath
24- \usepackage{accents} % accents should be loaded after mathtools
2524\theoremstyle{plain}
2625\newtheorem{theorem}{Theorem}[section]
2726\newtheorem{definition}[theorem]{Definition}
You can’t perform that action at this time.
0 commit comments