\let\[\startformula
\def\]{\stopformula\ignorespaces}

\usemodule[nath]

\starttext

This thingie is supposed to test the Nath package.

\section{Extensible arrows}

With nothing:
\[
A \to B \iff C \implies D \follows E
\]

With superscript:
\[
A \to^{a^b} B \iff^{a_b} C \implies^{a^b} D \follows^{a_b} E
\]

With subscript:
\[
A \to_{a_b} B \iff_{a^b} C \implies_{a_b} D \follows_{a^b} E
\]

With subersup:
\[
A \to_a^b B \iff_a^b C \implies_a^b D \follows_a^b E
\]

With supersub:
\[
A \to^a_b B \iff^a_b C \implies^a_b D \follows^a_b E
\]

\stoptext

