Значки начала и окончания теоремы

[camphene]

В некоторых книгах для наглядности используются разнообразные знаки как маркеры окончания и, иногда, начала аксиом, теорем, определений и доказательств.

Пожалуйста, подскажите, есть ли какие-то правила/традиции — какие именно знаки предпочтительно использовать, и, соответственно, как это оформлять в LaTeX?

[caxap]

(Например, так)

Теорема. Формулировка.
Доказательство. Тут оно. $\square$

[camphene]

Спасибо!
А для маркеров конца аксиом и определений есть общепринятые символы?

[ewert]

Ничего общепринятого тут нет: кому-то нравятся квадратики, кому-то кружочки, кому-то сплошные, кому-то нет. Мне лично нравятся треугольнички:

\newsavebox{\tobegproofbox} \sbox{\tobegproofbox}{\unitlength=0.01ex \begin{picture}(600,200) \linethickness{0.2ex}\qbezier(0,200)(200,200)(400,200) \linethickness{0.17ex}\qbezier[200](400,195)(200,86)(0,-23) \linethickness{0.2ex}\qbezier(0,-20)(0,90)(0,200)\end{picture}} \newsavebox{\toendproofbox} \sbox{\toendproofbox}{\unitlength=0.01ex \begin{picture}(500,200) \linethickness{0.2ex}\qbezier(100,-20)(300,-20)(500,-20) \linethickness{0.2ex}\qbezier(500,-20)(500,90)(500,200) \linethickness{0.17ex}\qbezier[200](500,203)(300,94)(100,-15)\end{picture}} \def\begproof{\par\medskip\noindent\usebox{\tobegproofbox}} \def\endproof{\usebox{\toendproofbox}\medskip\par} \text{Теорема} \begproof\ \ \text{Текст доказательства}\ \ \endproof \text{Дальнейший текст}

Используется синтаксис LaTeX

\newsavebox{\tobegproofbox}   % Создаём псевдорисунок "док-во"
\sbox{\tobegproofbox}{\unitlength=0.01ex%
\begin{picture}(600,200)% Ширина - плюс 2 буквы
\linethickness{0.2ex}\qbezier(0,200)(200,200)(400,200)%
\linethickness{0.17ex}\qbezier[200](400,195)(200,86)(0,-23)%
\linethickness{0.2ex}\qbezier(0,-20)(0,90)(0,200)\end{picture}}

\newsavebox{\toendproofbox}   % Создаём псевдорисунок "конец док-ва"
\sbox{\toendproofbox}{\unitlength=0.01ex%
\begin{picture}(500,200)% Ширина - плюс 1 буква
\linethickness{0.2ex}\qbezier(100,-20)(300,-20)(500,-20)%
\linethickness{0.2ex}\qbezier(500,-20)(500,90)(500,200)%
\linethickness{0.17ex}\qbezier[200](500,203)(300,94)(100,-15)\end{picture}}

% Создаём макрокоманду, выводящую значок "Начало доказательства":
\def\begproof{\par\medskip\noindent\usebox{\tobegproofbox}}

% Создаём макрокоманду, выводящую значок "Конец доказательства":
\def\endproof{\usebox{\toendproofbox}\medskip\par}

Теорема
\begproof\ \ Текст доказательства\ \ \endproof
Дальнейший текст
 

[camphene]

Спасибо!

[Someone]

В преамбуле:

Используется синтаксис LaTeX

\newtheoremstyle{myrmk}{3pt}{3pt}{\rmfamily}{\parindent}{\itshape}{.}{.5em}{}
\newtheoremstyle{mydfn}{3pt}{3pt}{\rmfamily}{\parindent}{\bfseries}{.}{.5em}{}
\newtheoremstyle{mypln}{3pt}{3pt}{\itshape}{\parindent}{\bfseries}{.}{.5em}{}

\newenvironment{prf}[1][\proofname]{\par\indent\pushQED{\qed}\itshape#1. \normalfont\ignorespaces}{\popQED}

\swapnumbers
\theoremstyle{myrmk}
\newtheorem{itm}{}[section]
\newtheorem{rmk}[itm]{Remark}
\theoremstyle{mydfn}
\newtheorem{dfn}[itm]{Definition}
\newtheorem{exm}[itm]{Example}
\theoremstyle{mypln}
\newtheorem{ass}[itm]{Assertion}
\newtheorem{thm}[itm]{Theorem}
\newtheorem{prp}[itm]{Proposition}
\newtheorem{cor}[itm]{Corollary}
\newtheorem{lem}[itm]{Lemma}

Использование:

Используется синтаксис LaTeX

\begin{cor}\label{S2C10}
If a function $g\in B(f)$, a point $y_0\in Y$ and a number $\varepsilon>0$ are given then there exists a neighborhood $Uy_0\subseteq Y$ such that $n_yg<n_{y_0}g+\varepsilon$ for all $y\in Uy_0$.
\end{cor}

\begin{prf}
The open set $U_{g,t}$ for $t=n_{y_0}g+\varepsilon$ is a desirable neighborhood.
\end{prf}

[camphene]

Благодарю!

[Someone]

Ещё пара примеров использования (может пригодиться).

Используется синтаксис LaTeX

\begin{prp}\label{S2P8}
Let $g\in B(f)$, $y_0\in Y$. Then $$n_{y_0}g=\inf\{\sup\{n_yg:y\in Uy_0\}:Uy_0\subseteq Y\ \text{is a neighborhood of the point}\ y_0\}\text.$$
\end{prp}

\begin{prf}[Proof\enskip\normalfont{follows from the definition \ref{S2I5} of the semi-norms $n_y$, $y\in Y$}]
\end{prf}

Используется синтаксис LaTeX

\begin{ass}[a consequence of Lemma 6 of the paper \cite{Ul4}]\label{S1A9}
If a mapping\\$f\colon X\to Y$ has the property $\mathfrak{T^Ea}$ then there exist a mapping $^{\mathfrak A}\pi\colon Y_{\mathfrak A}\onto Y$ and a homeomorphic embedding $f_{\mathfrak A}\colon X\to Y_{\mathfrak A}$ such that $f=^{\mathfrak A}\pi f_{\mathfrak A}$, where $Y_{\mathfrak A}=\mathfrak P(Y,\{Z_{\alpha}\},\{G_{\alpha}\},\{O_{\alpha}\},\{g_{\alpha}\},\alpha\in\mathfrak A)$, $Z_{\alpha}\in\mathfrak E$ and $G_{\alpha}\in\mathfrak a$ for all $\alpha\in\mathfrak A$ \emph{(see \ref{S3C1}--\ref{S3C2})}.
\end{ass}

С.М.Львовский. Набор и вёрстка в системе \LaTeX. Глава VII, пункты 5.2 - 5.3.

[camphene]

Спасибо!

К сожалению, не удалось нагуглить, какому пакету принадлежит команда \onto, но даже без неё текст очень эффектный.

[Someone]

Никакому.

Используется синтаксис LaTeX

\newcommand{\onto}{\xrightarrow{\text{\textup{onto}}}}

[camphene]

Спасибо!