%
% \usepackage{jnoxy} emulation
%
\def\longlarrow#1#2#3{\rnode X{#3} \rule{9em}{0pt} \rnode Y{#1}\nccurve[linecolor=red,angleA=180,angleB=0]{->}{Y}{X}\taput{{\small #2}}}
\def\larrow#1#2#3{\mbox{\rule{0pt}{1.3em}\rnode X{$#3$\ } \rule{4ex}{0pt} \rnode Y{\ $#1$}\nccurve[linecolor=red,angleA=180,angleB=0]{->}{Y}{X}\taput{{\small $#2$}}}}
\def\rarrow#1#2#3{\rnode X{#1\,} \rule{4ex}{0pt} \rnode Y{\,#3}\nccurve[linecolor=red,angleA=0,angleB=180]{->}{X}{Y}\taput{{\small #2}}}

\def\arLaw#1#2#3#4#5{%
\begin{array}{ccc}%\hline
\\
   \rnode A{#1~\makebox[1ex]{\rule[-.4em]{0ex}{1.5em}}}
	& \makebox[2em][c]{$#5$} &
   \rnode B{\makebox[1ex]{\rule[-.4em]{0ex}{1.5em}}~#2}
   \nccurve[linecolor=red,angleA=020,angleB=160]{->}{A}{B}\taput{{\footnotesize #4}}
   \nccurve[linecolor=red,angleA=-150,angleB=-30]{->}{B}{A}\tbput{{\footnotesize #3}}
\\\\
%\hline
\end{array}
}

\def\arIso#1#2#3#4{\arLaw{#1}{#2}{#3}{#4}\iso}
\def\arLeq#1#2#3#4{\arLaw{#1}{#2}{#3}{#4}\leq}

\def\mnode#1#2{\rnode{#1}{\rule[-.3em]{0pt}{1.3em}~#2~}}
\def\arur#1#2#3{\nccurve[linecolor=red,angleA=90,angleB=-90]{->}{#1}{#2}\trput{{\small #3}}}
\def\arul#1#2#3{\nccurve[linecolor=red,angleA=90,angleB=-90]{->}{#1}{#2}\tlput{{\small #3}}}
\def\arra#1#2#3{\nccurve[linecolor=red,angleA=0,angleB=180]{->}{#1}{#2}\taput{{\small #3}}}
\def\arrb#1#2#3{\nccurve[linecolor=red,angleA=0,angleB=180]{->}{#1}{#2}\tbput{{\small #3}}}
\def\arla#1#2#3{\nccurve[linecolor=red,angleB=0,angleA=180]{->}{#1}{#2}\taput{{\small #3}}}
\def\arlb#1#2#3{\nccurve[linecolor=red,angleB=0,angleA=180]{->}{#1}{#2}\tbput{{\small #3}}}
\def\arl#1#2#3{\ncline[linecolor=red]{->}{#1}{#2}\taput{{\small #3}}}
\def\ardl#1#2#3{\nccurve[linecolor=red,angleA=-90,angleB=90]{->}{#1}{#2}\tlput{{\small #3}}}
\def\ardr#1#2#3{\ncline[linecolor=red]{->}{#1}{#2}\trput{{\small #3}}}
\def\ardl#1#2#3{\ncline[linecolor=red]{->}{#1}{#2}\tlput{{\small #3}}}

