Giter Club home page Giter Club logo

Comments (5)

muzimuzhi avatar muzimuzhi commented on August 12, 2024

aligned\qedhere 没有 \hfill 的效果

\begin{proof}
  test
  \[
    \begin{aligned}
      a &= b \\
      &= c \qedhere
    \end{aligned}
  \]
\end{proof}

\qedhere 放在 \end{aligned} 后面,而不是 aligned 环境里面,输出结果是好的。

aligned 这类环境需要在数学模式下使用(它们本身不进入数学模式),而 align 这类直接进入数学模式,它们不同。我猜测是这个差异导致 \cs_new_eq:NN \aligned@qed \align@qed 不能生效。

ntheorem 有自己的 \qed\qedsymbol 命令。

问得有点杂,在不知道通用完美方案时,我不知从哪里回答起。可以尝试 amsthmntheorem 的分开问。

from forum.

xkwxdyy avatar xkwxdyy commented on August 12, 2024

\qedhere 放在 \end{aligned} 后面,而不是 aligned 环境里面,输出结果是好的。

结束符并没有放在行尾,可能是这个例子的数据太少了,可以看这个:

\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage{amsthm}

\begin{document}

\begin{proof} test
  \begin{equation*}
  \begin{aligned}
  \mathbb{E}&\Big[\Big\vert \dfrac{1}{N}\sum\limits^N_{j=1}\varphi(\theta^j,\nu^j)-\displaystyle\int_{\mathbb{T}\times\mathbb{R}}\varphi dF\Big\vert^2\Big]\\[2mm]
  &\leq 2\mathbb{E}\big[\vert\varphi(\theta^j,\nu^j)-\varphi(\bar{\theta}^j,\bar{\nu}^j)\vert^2\big]+2\mathbb{E}\Big[\Big\vert\dfrac{1}{N}\sum\limits^N_{j=1}\varphi(\bar{\theta}^j,\bar{\nu}^j)-\displaystyle\int_{\mathbb{T}\times\mathbb{R}}\varphi dF\Big\vert^2\Big]\qedhere\\[2mm]
  &\leq C\mathbb{E}\big[\vert\theta^j-\bar{\theta}^j\vert^2\big]+2\mathbb{E}\Big[\Big\vert\dfrac{1}{N}\sum\limits^N_{j=1}\varphi(\bar{\theta}^j,\bar{\nu}^j)-\displaystyle\int_{\mathbb{T}\times\mathbb{R}}\varphi dF\Big\vert^2\Big] 
  \end{aligned} \qedhere
  \end{equation*}
\end{proof}

\end{document}
image

from forum.

muzimuzhi avatar muzimuzhi commented on August 12, 2024

#312 (comment) 例子里的proof 环境里有两个 \qedhere。第一处在 aligned 环境内容第二行末尾,第二处在 \end{aligned} 之后。

删去第一处后,qed symbol 正常出现在行尾。遗留问题是 qed symbol 和 aligned 前后的内容(这里是空)在同一行(不是和 aligned 的中间一行对齐,这个 aligned 是纵向居中对齐的,可以在它前后加上内容测试),而不是和 aligned 的最后一行、也是 proof 输出视觉上的最后一行对齐。

\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage{amsthm}

\usepackage[pass, showframe]{geometry}

\begin{document}

\begin{proof}
  control group
\end{proof}

\begin{proof} test
  \begin{equation*}
  \begin{aligned}
  \mathbb{E}&\Big[\Big\vert \dfrac{1}{N}\sum\limits^N_{j=1}\varphi(\theta^j,\nu^j)-\displaystyle\int_{\mathbb{T}\times\mathbb{R}}\varphi dF\Big\vert^2\Big]\\[2mm]
  &\leq 2\mathbb{E}\big[\vert\varphi(\theta^j,\nu^j)-\varphi(\bar{\theta}^j,\bar{\nu}^j)\vert^2\big]+2\mathbb{E}\Big[\Big\vert\dfrac{1}{N}\sum\limits^N_{j=1}\varphi(\bar{\theta}^j,\bar{\nu}^j)-\displaystyle\int_{\mathbb{T}\times\mathbb{R}}\varphi dF\Big\vert^2\Big]\\[2mm]
  &\leq C\mathbb{E}\big[\vert\theta^j-\bar{\theta}^j\vert^2\big]+2\mathbb{E}\Big[\Big\vert\dfrac{1}{N}\sum\limits^N_{j=1}\varphi(\bar{\theta}^j,\bar{\nu}^j)-\displaystyle\int_{\mathbb{T}\times\mathbb{R}}\varphi dF\Big\vert^2\Big] 
  \end{aligned} \qedhere
  \end{equation*}
\end{proof}

\end{document}

image

from forum.

xkwxdyy avatar xkwxdyy commented on August 12, 2024

#312 (comment) 例子里的proof 环境里有两个 \qedhere。第一处在 aligned 环境内容第二行末尾,第二处在 \end{aligned} 之后。

抱歉,复制的时候没注意到

删去第一处后,qed symbol 正常出现在行尾。遗留问题是 qed symbol 和 aligned 前后的内容(这里是空)在同一行(不是和 aligned 的中间一行对齐,这个 aligned 是纵向居中对齐的,可以在它前后加上内容测试),而不是和 aligned 的最后一行、也是 proof 输出视觉上的最后一行对齐。

这个大概理解了,一开始也猜是这样。没有 hfill 估计也是因为里面是一个盒子,“hfill 不出去”

from forum.

xkwxdyy avatar xkwxdyy commented on August 12, 2024

看来还是就采用一直以来的用的这一套 amsthm+thmtools 及这些设置吧。本身就只是优化,也不是啥 bug

from forum.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.