It is also quite permissible to leave out
either the "from" part or the "to" part
of a from-to construction. For example,
modify "Example" so its output looks like this,
lim from {x-> pi /2} ( tan~x) sup {sin~2x}~=~1
lim from xxx ( tan~x) sup {sin~2x}~=~1
#once neqn Ref | nroff >X1 &
#once neqn message Ref | nroff -T$term %s/tinyms -