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?