Почему символ QED отображается после конца предложения и не может быть выровнен по правому краю (как на рисунке ниже)?

Question

\documentclass[twoside,11pt]{book}
\usepackage[left=2.5cm,right=2cm,top=2cm,bottom=2cm,papersize={15.5cm,23.5cm}]{geometry}
\renewcommand{\thechapter}{\Roman{chapter}}
\renewcommand{\thesection}{\arabic{chapter}.\arabic{section}.}
\renewcommand{\thesubsection}{\arabic{chapter}.\arabic{section}.\arabic{subsection}.}
\usepackage{amsthm}
\newtheorem{definition}{Definition}[section]
\newtheorem{theorem}{Theorem}[section]
\renewcommand{\thetheorem}{\thesection\arabic{theorem}}
\renewenvironment{proof}{{\noindent\bfseries Proof.}}{\qedsymbol}
\renewcommand{\qedsymbol}{\rule{1ex}{1ex}}

\begin{document}
    \chapter{ABC}
    blablabla
    \section{ONE}
    \begin{theorem}
        dddd
    \end{theorem}
\begin{proof}
    It is clear.
\end{proof}
\end{document}

Мне нужен текстДоказательствожирный. Поэтому я пишу:

\renewenvironment{proof}{{\noindent\bfseries Proof.}}{\qedsymbol}

Теперь я хочу, чтобы символ QED был черным квадратом, поэтому я пишу

\renewcommand{\qedsymbol}{\rule{1ex}{1ex}}

Почему символ QED отображается после конца предложения и не может отображаться с выравниванием по правому краю (как на картинке ниже)? Как это сделать?

Я хочу:

Answer 1

Я предлагаю использоватьhttps://tex.stackexchange.com/a/251251/4427а также с переопределением \qedsymbol.

\documentclass{article}

\usepackage{amsthm}
\usepackage{xpatch}

\providecommand{\proofnamefont}{\itshape}% the default
\xpatchcmd{\proof}{\itshape}{\normalfont\proofnamefont}{}{}
\renewcommand{\proofnamefont}{\bfseries}% your preference

\renewcommand{\qedsymbol}{\rule{1ex}{1ex}}

\begin{document}

\begin{proof}
Obvious, isn't it?
\end{proof}

\end{document}

Answer 2

Из вашего MWE, я понял, что вам нужно имя Proofв Boldлице и qedsymbolдолжно быть в сплошном черном квадрате, для этого нет необходимости переопределять proofокружение, вы можете изменить \proofnameи \qedsymbolпо своему усмотрению, и измененный результат MWEбудет:

\documentclass[twoside,11pt]{book}
\usepackage[left=2.5cm,right=2cm,top=2cm,bottom=2cm,papersize={15.5cm,23.5cm}]{geometry}
\renewcommand{\thechapter}{\Roman{chapter}}
\renewcommand{\thesection}{\arabic{chapter}.\arabic{section}.}
\renewcommand{\thesubsection}{\arabic{chapter}.\arabic{section}.\arabic{subsection}.}
\usepackage{amsthm}
\newtheorem{definition}{Definition}[section]
\newtheorem{theorem}{Theorem}[section]
\renewcommand{\thetheorem}{\thesection\arabic{theorem}}
%\renewenvironment{proof}{{\noindent\bfseries Proof.}}{\qedsymbol}
\renewcommand{\proofname}{\upshape\textbf{Proof}}
\renewcommand{\qedsymbol}{\rule{1ex}{1ex}}

\begin{document}
    \chapter{ABC}
    blablabla
    \section{ONE}
    \begin{theorem}
        dddd
    \end{theorem}
\begin{proof}
    It is clear.
\end{proof}
\end{document}

И вот что получается:

Answer 3

Вы можете переопределить \proofnameи \qedsymbolследующим образом. Не обязательно создавать черный квадрат командой rule, поскольку \blacksquareв amssymbпакете есть команда, которая может создать черный квадрат того же размера, что и (белый) квадрат.

\documentclass[twoside,11pt]{book}
\usepackage[left=2.5cm,right=2cm,top=2cm,bottom=2cm,papersize={15.5cm,23.5cm}]{geometry}
\renewcommand{\thechapter}{\Roman{chapter}}
\renewcommand{\thesection}{\arabic{chapter}.\arabic{section}.}
\renewcommand{\thesubsection}{\arabic{chapter}.\arabic{section}.\arabic{subsection}.}
\usepackage{amsthm}
\newtheorem{definition}{Definition}[section]
\newtheorem{theorem}{Theorem}[section]
\renewcommand{\thetheorem}{\thesection\arabic{theorem}}

\renewcommand{\proofname}{\upshape\bfseries Proof}
\usepackage{amssymb}
\renewcommand{\qedsymbol}{\ensuremath\blacksquare}

\begin{document}
    \chapter{ABC}
    blablabla
    \section{ONE}
    \begin{theorem}
        dddd
    \end{theorem}
\begin{proof}
    It is clear.
\end{proof}
\end{document}

И вот что получается.

---

Кстати, номера глав не должны быть римскими, так как префиксы в номерах разделов арабские. Также не обязательно добавлять точки после номеров разделов, так как после номеров глав точек нет.