一般フォーラム

（Markdownだとコードブロックなのに `<`, `>` が勝手に変換されてしまうのでプレーンテキストに変更）

> \eqno がある場合、\aftergroup の引数（というのでしょうか）は
> どこに移動することになるのでしょう？

最小化していくと以下のようになるようです。

```
%#!etex

\def\ignorefalse{\global\let\ifignore\iffalse}
\def\ignoretrue {\global\let\ifignore\iftrue}

\everydisplay={\aftergroup\ignoretrue \aftergroup\ignorespaces}
\everymath={\aftergroup\ignorefalse}

\parindent0pt

\tracingonline=1
\tracingmacros=2
\tracingcommands=3
\tracinggroups=1
\tracingnesting=2

Test
$$
% entering math shift group (level 1)
% \everydisplay->\aftergroup \ignoretrue \aftergroup \ignorespaces
  1+1=2
  \eqno
% entering math shift group (level 2)
% \everymath->\aftergroup \ignorefalse
  ...(1)
$$
% leaving math shift group (level 2)
% leaving math shift group (level 1)
% \ignoretrue ->\global \let \ifignore \iftrue
% \ignorespaces
% \ignorefalse ->\global \let \ifignore \iffalse                <- !!
% blank space                                                  <- extra space
space.\par
space.\par

\tracingonline=0
\tracingmacros=0
\tracingcommands=0
\tracinggroups=0
\tracingnesting=0

\bye
```

`\aftergroup` でされたトークンはその時点のグループが終了したときに入力の先頭に挿入されます。（挿入されるだけで展開や実行はされない。）複数の `\aftergroup` があったときは実行された順に入力の先頭から並ぶように挿入されます。

閉じの `$$` のところでは `$$` のグループ（level 1）と `\eqno` のグループ（level 2）の両方が終了します。

まず、`\eqno` のグループ（level 2）が終了し、このグループで `\aftergroup` された `\ignorefalse` が入力の先頭に挿入されます。（この時点では `\ignorefalse` は展開・実行されません。）

次に、`$$` のグループ（level 1）が終了し、このグループで `\aftergroup` された `\ignoretrue\ignorespaces` が入力の先頭（つまり `\ignorefalse` の手前）に挿入されます。

結果として、`$$` 終了時点で、入力の先頭は `\ignoretrue\ignorespaces\ignorefalse` という状態になります。
このため、`\ignorespaces` の後ろに `\ignorefalse`（`\global\let`）が来るので、後続のスペースが無視されないということになります。