我遇到了以下问题。在我的 LaTeX 中,我使用以下格式:
\newtheorem{teo}{Teorema}
\theoremstyle{plain}
\newtheorem{coro}{Corolario}
\newtheorem{defi}{Definici\'on}
\newtheorem{lema}{Lema}
\newtheorem{prop}{Proposici\'on}
\newtheorem{nota}{Nota}
\newtheorem{obs}{Observación}
因此当我编译时,例如:
\begin{defi}
Un semigrupo es un par $(S,\cdot)$ donde $S$ es un conjunto y $S\times S\to S$ operación asociativa, i.e. $(s_1s_2)s_3=s_1(s_2s_3)~\forall s_1,s_2,s_3\in S$.
\end{defi}
\begin{defi}
Un monoide $(M,\cdot)$ es un semigrupo con un elemento neutro $e\in M$.
\end{defi}
\begin{obs}
El neutro del monoide es único.
\end{obs}
\begin{defi}
Un grupo $G$ es un monoide con inversos: $\forall g\in G~\exists g^{-1}\in G$ tal que $gg^{-1}=g^{-1}g=e$.
\end{defi}
\begin{obs}
El inverso es único.
\end{obs}
\begin{defi}
Un grupo (o semigrupo o monoide) se dice abeliano o conmutativo si $$g_1g_2=g_2g_1~\forall g_1,g_2\in G$$.
\end{defi}
我想更改每个定义、定理、观察等中的字体。我会使用更标准的字体,而不是草书或斜体。提前谢谢您。
答案1
您没有说明使用哪个包来定义定理和类定理环境。我假设您使用的是,amsthm
但还有其他包(例如ntheorem
)。
应用于定理环境的样式由\theoremstyle
在\newtheorem
该环境的命令之前选择的最近的命令决定。
您使用的样式plain
使文本变为斜体。还有另一种样式definition
(足够适合您的用例)不会使文本变为斜体。因此请在 之前选择它 \newtheorem{defi}...
。
\documentclass{article}
\usepackage{amsthm}
\newtheorem{teo}{Teorema}% no theoremstyle selected, so the default (plain) is used
\theoremstyle{plain}
\newtheorem{coro}{Corolario}% uses plain style
\newtheorem{lema}{Lema}% uses plain style
\newtheorem{prop}{Proposici\'on}% uses plain style
\newtheorem{nota}{Nota}% uses plain style
\newtheorem{obs}{Observación}% uses plain style
\theoremstyle{definition}
\newtheorem{defi}{Definici\'on}% uses definition style
\begin{document}
\begin{defi}
Un semigrupo es un par $(S,\cdot)$ donde $S$ es un conjunto y $S\times S\to S$ operación asociativa, i.e. $(s_1s_2)s_3=s_1(s_2s_3)~\forall s_1,s_2,s_3\in S$.
\end{defi}
\begin{defi}
Un monoide $(M,\cdot)$ es un semigrupo con un elemento neutro $e\in M$.
\end{defi}
\begin{obs}
El neutro del monoide es único.
\end{obs}
\begin{defi}
Un grupo $G$ es un monoide con inversos: $\forall g\in G~\exists g^{-1}\in G$ tal que $gg^{-1}=g^{-1}g=e$.
\end{defi}
\begin{obs}
El inverso es único.
\end{obs}
\begin{defi}
Un grupo (o semigrupo o monoide) se dice abeliano o conmutativo si \[g_1g_2=g_2g_1~\forall g_1,g_2\in G\].
\end{defi}
\end{document}
如果您希望所有其他命令也按此方式工作,请将它们也移至该\theoremstyle{definition}
命令之后。
\theoremstyle{definition}
\newtheorem{defi}{Definici\'on}
\newtheorem{teo}{Teorema}
\newtheorem{coro}{Corolario}
\newtheorem{lema}{Lema}
\newtheorem{prop}{Proposici\'on}
\newtheorem{nota}{Nota}
\newtheorem{obs}{Observación}
你也可以定义自己的定理样式。请参阅amsthm 文档了解详情。
(这与 LaTeX 无关,但$$ ... $$
显示数学对于 LaTeX 来说已经过时了;请使用\[...\]
。参见这里。