bug#66559: 13.2.2; Math symbols become bold within theorem environment

[Arash Esbati]

Hi Keita,

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

>>>>>> Jihuan Tian <jihuan_tian@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
Description: JPEG image