\startexample

\startexample

[David Arnold]

All,

I have this example I would like to typeset.

\startexample
Show that $0.\overline{621}$ is a rational number.
\stopexample

In this case, there are three digits under the repeating bar. If we
let $x=0.\overline{621}$, then multiply by 1000, we have

\startformula
\eqalign{1000x&=621.621621\dots\cr
  x&=\phantom{62}0.621621\dots.}
\stopformula

Subtracting,

\startformula
\eqalign{999x&=621\cr
x&={621\over 999}.}
\stopformula

Dividing numerator and denominator by 27 (or first by 9 then by 3), we
find that $0.\overline{621}=23/37$. Thus, $0.\overline{621}$, being
the ratio of two integers, is rational.

I have defined:

\defineenumeration
[example]
[location=serried,
  text=Example,
  before=\blank,
  after=\blank
  style=slanted]

What I would really like is an enumeration where only the example state is
in slanted type, then the solution follows (without an indent) in upright
(normal) font. At the end of the solution, I'd like a little symbol at the
lower right to indicate the end of the solution, then a little blank space
before continuing the narrative.

Can someone help me with this?