10 Jan
2018
10 Jan
'18
4:27 p.m.
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. Thanks, Aditya