The problem is really that we need a way to tell neqn
that in spite of blanks, a group of things (like the $pi$
and the +1) have to be kept together as a single superscript.
The way that this is done is to enclose the group in
braces - the characters { and } - like this:
This tells neqn that everything inside the braces belongs
to the superscript, in spite of blanks and tildes.
(You don't need blanks before and after braces themselves -
like tildes, they act as delimiters.)
Modify the file "Example" so that the output looks like
the following, then type "ready".
x sup {pi +1} == y sup z sup {alpha + beta}
#once neqn Ref | nroff >X1 &
#once neqn message Ref | nroff -T$term %s/tinyms -