GNU bug report logs - #66559
13.2.2; Math symbols become bold within theorem environment

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 66559 in the body.
You can then email your comments to 66559 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Jihuan Tian <jihuan_tian <at> hotmail.com>
To: bug-auctex <at> gnu.org
Subject: 13.2.2; Math symbols become bold within theorem environment
Date: Sun, 15 Oct 2023 20:54:33 +0800

[Message part 1 (text/plain, inline)]

Remember to cover the basics.  Including a minimal LaTeX example
file exhibiting the problem might help.

Math symbols become bold within theorem related environments, such as
theorem, corollary, remark, etc. For example,

\documentclass{article}
\usepackage{amsmath}
\usepackage[standard, framed, amsmath, hyperref, thmmarks, thref]{ntheorem}
\begin{document}
\begin{Theorem}[Implicit function theorem]
  \label{theo:implicit-func}
  Let $A$ be an open set in $\mathbb{R}^{n+r}$ and $f: A \rightarrow 
\mathbb{R}^r$ be
  $\mathbb{C}^r$. $f$ can be written as $f(x,y)$, where $x \in 
\mathbb{R}^n$ and
  $y \in \mathbb{R}^{r}$. Assume $(a,b) \in A$, where $a \in \mathbb{R}^n$,
  $b \in \mathbb{R}^r$ and $f(a,b) = 0$, and the Jacobian
  $\vert\frac{\partial f}{\partial y}\vert_{x=a, y=b} \neq 0$. Then 
$\exists$ neighborhood $B$ of
  $a$ in $\mathbb{R}^n$ and a unique $\mathbb{C}^r$ function
  $g: B \rightarrow \mathbb{R}^r$ such that $g(a) = b$ and
  $f(x, g(x)) = 0 \; (\forall x \in B)$, i.e. $y \in \mathbb{R}^r$ can 
be differentiably
  represented by $x \in \mathbb{R}^n$ in a neighborhood of $(a,b)$.
\end{Theorem}
\end{document}

Emacs  : GNU Emacs 27.1 (build 1, x86_64-pc-linux-gnu, GTK+ Version 
3.24.24, cairo version 1.16.0)
 of 2023-02-23, modified by Debian
Package: 13.2.2

Run buffer contents:

Running `Preview-LaTeX' on `Frankel-DG-notes-main' with ``pdflatex 
-ini   -interaction=nonstopmode "&pdflatex" 
prv_Frankel-DG-notes-main.ini 
"\nonstopmode\nofiles\PassOptionsToPackage{active,tightpage,auctex}{preview}\AtBeginDocument{\ifx\ifPreview\undefined\RequirePackage[displaymath,floats,graphics,textmath,sections]{preview}[2004/11/05]\fi}" 
"\input" "\detokenize{" Frankel-DG-notes-main.tex "}"''
This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Debian) 
(INITEX)
 restricted \write18 enabled.
entering extended mode
(./prv_Frankel-DG-notes-main.ini
LaTeX2e <2020-10-01> patch level 4
L3 programming layer <2021-01-09> xparse <2020-03-03> 
(/usr/share/texlive/texmf-dist/tex/latex/mylatex/mylatex.ltx)) 
(/usr/share/texlive/texmf-dist/tex/latex/tools/.tex File ignored)
No auxiliary output files.

(./Frankel-DG-notes-main.tex 
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2020/04/10 v1.4m Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)) 
(/usr/local/share/texmf/tex/latex/technical-document/tech-doc-preamble.tex 
(/usr/local/share/texmf/tex/latex/technical-document/generic.tex 
(/usr/share/texlive/texmf-dist/tex/latex/footmisc/footmisc.sty) 
(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) 
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty 
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) 
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty 
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) 
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) 
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) 
(/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty
****************************************
* Local config file subfigure.cfg used *
****************************************
(/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)) 
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty 
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) 
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) 
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty 
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) 
(/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) 
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) 
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) 
(/usr/share/texlive/texmf-dist/...

[...]

    ...g (dest): name{subsection.1.5} has been referenced but does not 
exist, replaced by a fixed one

pdfTeX warning (dest): name{subsection.1.4} has been referenced but does 
not exist, replaced by a fixed one

pdfTeX warning (dest): name{subsection.1.3} has been referenced but does 
not exist, replaced by a fixed one

pdfTeX warning (dest): name{subsection.1.2} has been referenced but does 
not exist, replaced by a fixed one

pdfTeX warning (dest): name{sec:submanifold-of-R} has been referenced 
but does not exist, replaced by a fixed one

pdfTeX warning (dest): name{section.1} has been referenced but does not 
exist, replaced by a fixed one

{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/pxfonts/pxbex.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/pxfonts/pxbsy.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/pxfonts/pxbsyb.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/pxfonts/pxbsyc.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/pxfonts/pxex.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/pxfonts/pxsy.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/pxfonts/pxsyb.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/pxfonts/pxsyc.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/pxfonts/rpxb.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/pxfonts/rpxbmi.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/pxfonts/rpxmi.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/pxfonts/rpxr.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/palatino/uplb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/palatino/upl
bi8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/palatino/uplr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/palatino/uplri8a.pfb>
Output written on Frankel-DG-notes-main.pdf (611 pages, 454581 bytes).
SyncTeX written on Frankel-DG-notes-main.synctex.gz.
Transcript written on Frankel-DG-notes-main.log.

TeX Output exited as expected with code 1 at Sun Oct 15 20:05:41
Running `Preview-PDF2DSC' with ``pdf2dsc Frankel-DG-notes-main.pdf 
Frankel-DG-notes-main.prv/tmptxSS06/preview.dsc''

Preview-PDF2DSC finished at Sun Oct 15 20:05:41
Running `Preview-Ghostscript' with ``/usr/bin/rungs 
-sOutputFile\=Frankel-DG-notes-main.prv/tmptxSS06/pr1-\%d.png -q 
-dDELAYSAFER -dNOPAUSE -DNOPLATFONTS -dPrinted -dTextAlphaBits\=4 
-dGraphicsAlphaBits\=4 -sDEVICE\=png16m -r245.065x244.929 -dDELAYBIND''

Preview-Ghostscript finished at Sun Oct 15 20:05:48

current state:
==============
(setq
 AUCTeX-version "13.2.2"
 LaTeX-command-style '(("" "%(PDF)%(latex) %(file-line-error) 
%(extraopts) %(output-dir) %S%(PDFout)"))
 image-types '(svg png gif tiff jpeg xpm xbm pbm)
 preview-image-type 'png
 preview-image-creators '((dvipng (open preview-gs-open 
preview-dvipng-process-setup)
               (place preview-gs-place) (close preview-dvipng-close))
              (png (open preview-gs-open) (place preview-gs-place) 
(close preview-gs-close))
              (jpeg (open preview-gs-open) (place preview-gs-place) 
(close preview-gs-close))
              (pnm (open preview-gs-open) (place preview-gs-place) 
(close preview-gs-close))
              (tiff (open preview-gs-open) (place preview-gs-place) 
(close preview-gs-close)))
 preview-dvipng-image-type 'png
 preview-dvipng-command "dvipng -picky -noghostscript %d -o 
%m/prev%%03d.png"
 preview-pdf2dsc-command "pdf2dsc %(O?pdf) %m/preview.dsc"
 preview-gs-command "/usr/bin/rungs"
 preview-gs-options '("-q" "-dDELAYSAFER" "-dNOPAUSE" "-DNOPLATFONTS" 
"-dPrinted" "-dTextAlphaBits=4"
              "-dGraphicsAlphaBits=4")
 preview-gs-image-type-alist '((png png "-sDEVICE=png16m") (dvipng png 
"-sDEVICE=png16m")
                   (jpeg jpeg "-sDEVICE=jpeg") (pnm pbm "-sDEVICE=pnmraw")
                   (tiff tiff "-sDEVICE=tiff12nc"))
 preview-fast-conversion t
 preview-prefer-TeX-bb nil
 preview-dvips-command "dvips -Pwww -i -E %d -o %m/preview.000"
 preview-fast-dvips-command "dvips -Pwww %d -o %m/preview.ps"
 preview-scale-function 1.5
 preview-LaTeX-command '("%`%l 
\"\\nonstopmode\\nofiles\\PassOptionsToPackage{"
             ("," . preview-required-option-list)
 "}{preview}\\AtBeginDocument{\\ifx\\ifPreview\\undefined" 
preview-default-preamble
             "\\fi}\"%' \"\\detokenize{\" %(t-filename-only) \"}\"")
 preview-required-option-list '("active" "tightpage" "auctex" 
(preview-preserve-counters "counters"))
 preview-preserve-counters nil
 preview-default-option-list '("displaymath" "floats" "graphics" 
"textmath" "sections")
 preview-default-preamble '("\\RequirePackage[" ("," . 
preview-default-option-list) "]{preview}[2004/11/05]")
 preview-LaTeX-command-replacements nil
 preview-dump-replacements '(preview-LaTeX-command-replacements
                 ("\\`\\([^ ]+\\)\\(?: +\\(?:\\(--?kanji[= ][^ 
]+\\)\\|\\(--?output-directory[= ][^ ]+\\)\\|-\\(?:[^ 
\\\"]\\|\\\\.\\|\"[^\"]*\"\\)*\\)\\)*\\(.*\\)\\'" "\\1 -ini \\2 \\3 
-interaction=nonstopmode \"&\\1\" " preview-format-name ".ini \\4")
                 )
 preview-undump-replacements '(("\\`\\([^ ]+\\)\\(?: 
+\\(?:\\(--?kanji[= ][^ ]+\\)\\|\\(--?output-directory[= ][^ 
]+\\)\\|-\\(?:[^ \\\"]\\|\\\\.\\|\"[^\"]*\"\\)*\\)\\)*.* \"\\\\input\" 
\"\\\\detokenize{\" \\(.*\\) \"}\"\\'" "\\1 \\2 \\3 
-interaction=nonstopmode -file-line-error " preview-format-name " 
\"/AUCTEXINPUT{\" \\4 \"}\"")
                   )
 preview-auto-cache-preamble 'ask
 preview-TeX-style-dir "/home/jihuan/.emacs.d/elpa/auctex-13.2.2/latex"
 )

Output from running `/usr/bin/rungs -h':
GPL Ghostscript 9.53.3 (2020-10-01)
Copyright (C) 2020 Artifex Software, Inc.  All rights reserved.
Usage: gs [switches] [file1.ps file2.ps ...]
Most frequently used switches: (you can use # in place of =)
 -dNOPAUSE           no pause after page   | -q       `quiet', fewer 
messages
 -g<width>x<height>  page size in pixels   | -r<res>  pixels/inch 
resolution
 -sDEVICE=<devname>  select device         | -dBATCH  exit after last file
 -sOutputFile=<file> select output file: - for stdout, |command for pipe,
                                         embed %d or %ld for page #
Input formats: PostScript PostScriptLevel1 PostScriptLevel2 
PostScriptLevel3 PDF
Default output device: x11alpha
Available devices:
   alc1900 alc2000 alc4000 alc4100 alc8500 alc8600 alc9100 ap3250 appledmp
   atx23 atx24 atx38 bbox bit bitcmyk bitrgb bitrgbtags bj10e bj10v bj10vh
   bj200 bjc600 bjc800 bjc880j bjccmyk bjccolor bjcgray bjcmono bmp16 
bmp16m
   bmp256 bmp32b bmpgray bmpmono bmpsep1 bmpsep8 ccr cdeskjet cdj1600 
cdj500
   cdj550 cdj670 cdj850 cdj880 cdj890 cdj970 cdjcolor cdjmono cdnj500 cfax
   chp2200 cif cljet5 cljet5c cljet5pr coslw2p coslwxl cups declj250 
deskjet
   devicen dfaxhigh dfaxlow display dj505j djet500 djet500c dl2100 dnj650c
   epl2050 epl2050p epl2120 epl2500 epl2750 epl5800 epl5900 epl6100 epl6200
   eplcolor eplmono eps2write eps9high eps9mid epson epsonc escp escpage
   faxg3 faxg32d faxg4 fmlbp fmpr fpng fs600 gdi hl1240 hl1250 hl7x0
   hpdj1120c hpdj310 hpdj320 hpdj340 hpdj400 hpdj500 hpdj500c hpdj510
   hpdj520 hpdj540 hpdj550c hpdj560c hpdj600 hpdj660c hpdj670c hpdj680c
   hpdj690c hpdj850c hpdj855c hpdj870c hpdj890c hpdjplus hpdjportable 
ibmpro
   ijs imagen inferno ink_cov inkcov itk24i itk38 iwhi iwlo iwlq jetp3852
   jj100 jpeg jpegcmyk jpeggray la50 la70 la75 la75plus laserjet lbp310
   lbp320 lbp8 lex2050 lex3200 lex5700 lex7000 lips2p lips3 lips4 lips4v
   lj250 lj3100sw lj4dith lj4dithp lj5gray lj5mono ljet2p ljet3 ljet3d 
ljet4
   ljet4d ljet4pjl ljetplus ln03 lp1800 lp1900 lp2000 lp2200 lp2400 lp2500
   lp2563 lp3000c lp7500 lp7700 lp7900 lp8000 lp8000c lp8100 lp8200c 
lp8300c
   lp8300f lp8400f lp8500c lp8600 lp8600f lp8700 lp8800c lp8900 lp9000b
   lp9000c lp9100 lp9200b lp9200c lp9300 lp9400 lp9500c lp9600 lp9600s
   lp9800c lps4500 lps6500 lq850 lxm3200 lxm5700m m8510 md1xMono md2k
   md50Eco md50Mono md5k mgr4 mgr8 mgrgray2 mgrgray4 mgrgray8 mgrmono 
miff24
   mj500c mj6000c mj700v2c mj8000c ml600 necp6 npdl nullpage oce9050 oki182
   oki4w okiibm oprp opvp paintjet pam pamcmyk32 pamcmyk4 pbm pbmraw pcl3
   pclm pcx16 pcx24b pcx256 pcxcmyk pcxgray pcxmono pdfimage24 pdfimage32
   pdfimage8 pdfwrite pdfwrite pdfwrite pgm pgmraw pgnm pgnmraw photoex
   picty180 pj pjetxl pjxl pjxl300 pkm pkmraw pksm pksmraw plan plan9bm
   planc plang plank planm plib plibc plibg plibk plibm png16 png16m png256
   png48 pngalpha pnggray pngmono pngmonod pnm pnmraw ppm ppmraw pr1000
   pr1000_4 pr150 pr201 ps2write psdcmyk psdcmyk16 psdcmykog psdrgb 
psdrgb16
   pwgraster pxlcolor pxlmono r4081 rinkj rpdl samsunggdi sj48 spotcmyk
   st800 stcolor t4693d2 t4693d4 t4693d8 tek4696 tiff12nc tiff24nc tiff32nc
   tiff48nc tiff64nc tiffcrle tiffg3 tiffg32d tiffg4 tiffgray tifflzw
   tiffpack tiffscaled tiffscaled24 tiffscaled32 tiffscaled4 tiffscaled8
   tiffsep tiffsep1 txtwrite uniprint x11 x11alpha x11cmyk x11cmyk2 
x11cmyk4
   x11cmyk8 x11gray2 x11gray4 x11mono xcf xes xpswrite
Search path:
   /usr/share/ghostscript/9.53.3/Resource/Init :
   /usr/share/ghostscript/9.53.3/lib :
   /usr/share/ghostscript/9.53.3/Resource/Font :
   /usr/share/ghostscript/fonts : /var/lib/ghostscript/fonts :
   /usr/share/cups/fonts : /usr/share/ghostscript/fonts :
   /usr/local/lib/ghostscript/fonts : /usr/share/fonts
Ghostscript is also using fontconfig to search for font files
For more information, see /usr/share/doc/ghostscript/Use.htm.
On debian system you may need to install ghostscript-doc package.
Please report bugs to bugs.ghostscript.com.


-- 
Best regards!

Yours sincerely,
Jihuan Tian

[OpenPGP_signature.asc (application/pgp-signature, attachment)]

Message #8 received at 66559 <at> debbugs.gnu.org (full text, mbox):

From: Ikumi Keita <ikumi <at> ikumi.que.jp>
To: Jihuan Tian <jihuan_tian <at> hotmail.com>
Cc: 66559 <at> debbugs.gnu.org
Subject: Re: bug#66559: 13.2.2;
 Math symbols become bold within theorem environment
Date: Mon, 16 Oct 2023 15:02:04 +0900

[Message part 1 (text/plain, inline)]

Hi Jihuan,

>>>>> Jihuan Tian <jihuan_tian <at> hotmail.com> writes:
> Math symbols become bold within theorem related environments, such as
> theorem, corollary, remark, etc. For example,

That doesn't reproduce for me. I attach two screenshots; one for raw
appearance, another for preview-latex appearance:

[screenshot_raw.png (image/png, attachment)]

[screenshot_preview.png (image/png, attachment)]

[Message part 4 (text/plain, inline)]

Maybe the preview-latex appearance looks like bold fonts used there, but
I suppose that's only impression. The fonts look thick due to the
following setting:

> current state:
> ==============
> (setq
[...]
>  preview-scale-function 1.5

preview-latex enlarges the image by a factor of 1.5, thus the result
gets thicker than default. If you revert this customization, they won't
look bold, I think.

Regards,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine

Message #11 received at 66559 <at> debbugs.gnu.org (full text, mbox):

From: Arash Esbati <arash <at> gnu.org>
To: Ikumi Keita <ikumi <at> ikumi.que.jp>
Cc: 66559 <at> debbugs.gnu.org, Jihuan Tian <jihuan_tian <at> hotmail.com>
Subject: Re: bug#66559: 13.2.2; Math symbols become bold within theorem
 environment
Date: Mon, 16 Oct 2023 18:00:32 +0200

[Message part 1 (text/plain, inline)]

Hi Keita,

Ikumi Keita <ikumi <at> ikumi.que.jp> writes:

>>>>>> Jihuan Tian <jihuan_tian <at> hotmail.com> writes:
>> Math symbols become bold within theorem related environments, such as
>> theorem, corollary, remark, etc. For example,
>
> That doesn't reproduce for me. I attach two screenshots; one for raw
> appearance, another for preview-latex appearance:

I can reproduce this.  I tried this .tex file:

--8<---------------cut here---------------start------------->8---
\documentclass{article}
\usepackage{amsmath}
\usepackage[standard, framed, amsmath, hyperref, thmmarks, thref]{ntheorem}
\begin{document}
\begin{Theorem}[Implicit function theorem]
  \label{theo:implicit-func}
  Let $A$ be an open set in $\mathbb{R}^{n+r}$ and
  $f: A \rightarrow \mathbb{R}^r$ be $\mathbb{C}^r$. $f$ can be
  written as $f(x,y)$, where $x \in \mathbb{R}^n$ and
  $y \in \mathbb{R}^{r}$. Assume $(a,b) \in A$, where
  $a \in \mathbb{R}^n$, $b \in \mathbb{R}^r$ and $f(a,b) = 0$, and the
  Jacobian
  $\vert\frac{\partial f}{\partial y}\vert_{x=a, y=b} \neq 0$. Then
  $\exists$ neighborhood $B$ of $a$ in $\mathbb{R}^n$ and a unique
  $\mathbb{C}^r$ function $g: B \rightarrow \mathbb{R}^r$ such that
  $g(a) = b$ and $f(x, g(x)) = 0 \; (\forall x \in B)$, i.e.
  $y \in \mathbb{R}^r$ can be differentiably represented by
  $x \in \mathbb{R}^n$ in a neighborhood of $(a,b)$.
\end{Theorem}

  Let $A$ be an open set in $\mathbb{R}^{n+r}$ and
  $f: A \rightarrow \mathbb{R}^r$ be $\mathbb{C}^r$. $f$ can be
  written as $f(x,y)$, where $x \in \mathbb{R}^n$ and
  $y \in \mathbb{R}^{r}$. Assume $(a,b) \in A$, where
  $a \in \mathbb{R}^n$, $b \in \mathbb{R}^r$ and $f(a,b) = 0$, and the
  Jacobian
  $\vert\frac{\partial f}{\partial y}\vert_{x=a, y=b} \neq 0$. Then
  $\exists$ neighborhood $B$ of $a$ in $\mathbb{R}^n$ and a unique
  $\mathbb{C}^r$ function $g: B \rightarrow \mathbb{R}^r$ such that
  $g(a) = b$ and $f(x, g(x)) = 0 \; (\forall x \in B)$, i.e.
  $y \in \mathbb{R}^r$ can be differentiably represented by
  $x \in \mathbb{R}^n$ in a neighborhood of $(a,b)$.
\end{document}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
--8<---------------cut here---------------end--------------->8---

with 'emacs -Q'.  The result is attached.  This is with latest AUCTeX
and Emacs from master (98748aa6e6) on macOS.

>> (setq
> [...]
>>  preview-scale-function 1.5

I admit I didn't touch the variable above.

Best, Arash

[snapshot.jpg (image/jpeg, attachment)]

Message #14 received at 66559 <at> debbugs.gnu.org (full text, mbox):

From: Ikumi Keita <ikumi <at> ikumi.que.jp>
To: Arash Esbati <arash <at> gnu.org>, Jihuan Tian <jihuan_tian <at> hotmail.com>
Cc: 66559 <at> debbugs.gnu.org
Subject: Re: bug#66559: 13.2.2;
 Math symbols become bold within theorem environment
Date: Tue, 17 Oct 2023 15:59:05 +0900

[Message part 1 (text/plain, inline)]

Hi Arash and Jihuan,

>>>>> Arash Esbati <arash <at> gnu.org> writes:
>> That doesn't reproduce for me. I attach two screenshots; one for raw
>> appearance, another for preview-latex appearance:

> I can reproduce this.  I tried this .tex file:

Ah, indeed. Now I can see the difference in the preview-latex. All
(most?) math expressions in Theorem environnment are in bold. I'm very
sorry, Jihuan.

[screenshot.png (image/png, attachment)]

[Message part 3 (text/plain, inline)]

I guess that they inherit the boldness of the portion of the theorem
title (in this case, "Implicit function theorem"). However, it's beyond
my ability to work around this.

David, can you tell something about this?

Regards,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine

Message #17 received at 66559 <at> debbugs.gnu.org (full text, mbox):

From: Arash Esbati <arash <at> gnu.org>
To: Ikumi Keita <ikumi <at> ikumi.que.jp>
Cc: 66559 <at> debbugs.gnu.org, Jihuan Tian <jihuan_tian <at> hotmail.com>
Subject: Re: bug#66559: 13.2.2; Math symbols become bold within theorem
 environment
Date: Sun, 10 Mar 2024 11:21:28 +0100

[Message part 1 (text/plain, inline)]

Ikumi Keita <ikumi <at> ikumi.que.jp> writes:

> Ah, indeed. Now I can see the difference in the preview-latex. All
> (most?) math expressions in Theorem environnment are in bold. I'm very
> sorry, Jihuan.
>
> I guess that they inherit the boldness of the portion of the theorem
> title (in this case, "Implicit function theorem"). However, it's beyond
> my ability to work around this.

I had a second look at this.  I think this isn't a bug; one has to tell
preview how to deal with the Theorem environment by setting something
like this in the preamble:

\usepackage[displaymath,floats,graphics,footnotes,textmath]{preview}
\PreviewEnvironment*[{[]}]{Theorem}

The result looks like this and Ok for me with "emacs -Q":

[preview.png (image/png, inline)]

[Message part 3 (text/plain, inline)]

Can you reproduce this?  This is the file I used:

--8<---------------cut here---------------start------------->8---
\documentclass{article}
\usepackage{amsmath}
\usepackage[standard, framed, amsmath, hyperref, thmmarks, thref]{ntheorem}
\usepackage[displaymath,floats,graphics,footnotes,textmath]{preview}
\PreviewEnvironment*[{[]}]{Theorem}

\begin{document}
\begin{Theorem}[Implicit function theorem]
  \label{theo:implicit-func}
  Let $A$ be an open set in $\mathbb{R}^{n+r}$ and
  $f: A \rightarrow \mathbb{R}^r$ be $\mathbb{C}^r$. $f$ can be
  written as $f(x,y)$, where $x \in \mathbb{R}^n$ and
  $y \in \mathbb{R}^{r}$. Assume $(a,b) \in A$, where
  $a \in \mathbb{R}^n$, $b \in \mathbb{R}^r$ and $f(a,b) = 0$, and the
  Jacobian
  $\vert\frac{\partial f}{\partial y}\vert_{x=a, y=b} \neq 0$. Then
  $\exists$ neighborhood $B$ of $a$ in $\mathbb{R}^n$ and a unique
  $\mathbb{C}^r$ function $g: B \rightarrow \mathbb{R}^r$ such that
  $g(a) = b$ and $f(x, g(x)) = 0 \; (\forall x \in B)$, i.e.
  $y \in \mathbb{R}^r$ can be differentiably represented by
  $x \in \mathbb{R}^n$ in a neighborhood of $(a,b)$.
\end{Theorem}

  Let $A$ be an open set in $\mathbb{R}^{n+r}$ and
  $f: A \rightarrow \mathbb{R}^r$ be $\mathbb{C}^r$. $f$ can be
  written as $f(x,y)$, where $x \in \mathbb{R}^n$ and
  $y \in \mathbb{R}^{r}$. Assume $(a,b) \in A$, where
  $a \in \mathbb{R}^n$, $b \in \mathbb{R}^r$ and $f(a,b) = 0$, and the
  Jacobian
  $\vert\frac{\partial f}{\partial y}\vert_{x=a, y=b} \neq 0$. Then
  $\exists$ neighborhood $B$ of $a$ in $\mathbb{R}^n$ and a unique
  $\mathbb{C}^r$ function $g: B \rightarrow \mathbb{R}^r$ such that
  $g(a) = b$ and $f(x, g(x)) = 0 \; (\forall x \in B)$, i.e.
  $y \in \mathbb{R}^r$ can be differentiably represented by
  $x \in \mathbb{R}^n$ in a neighborhood of $(a,b)$.
\end{document}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
--8<---------------cut here---------------end--------------->8---

Best, Arash

Message #22 received at 66559-done <at> debbugs.gnu.org (full text, mbox):

From: Arash Esbati <arash <at> gnu.org>
To: Jihuan Tian <jihuan_tian <at> hotmail.com>
Cc: 66559-done <at> debbugs.gnu.org
Subject: Re: bug#66559: 13.2.2; Math symbols become bold within theorem
 environment
Date: Sun, 17 Mar 2024 08:47:57 +0100

Jihuan Tian <jihuan_tian <at> hotmail.com> writes:

> This solution works for me. Many thanks!

Thanks for your response.  I'm closing this report.

Best, Arash

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.