On Wed, 10 Jan 2018, Wolfgang Schuster wrote:

...

Aditya Mahajan mailto:adityam@umich.edu 10. Januar 2018 um 17:27 Hi,

There is a bug in extensible arrows. The syntax of extensible arrows is:

\xleftarrow{below}{top}

but when the optional argument is used

\xleftarrow[small]{A}{B}

then A ends up on the top and B on the bottom.

The "x" commands change the position of both texts and when you change the instance for the command the reversed order is overwritten (search for the order key in math-stc.mkvi).

\starttext

$\xleftarrow{A}{B}$

$\mleftarrow{A}{B}$

\stoptext

I would still consider it a bug :-) Either order is fine but it should be used consistently. Aditya