9
votes
4answers
149 views

Curved arrow describing a step in a mathematical derivation

Is it possible to achieve something like this in LaTeX? I want a curved arrrow pointing from 1st line to the other line and is coupled with an equation number which indicates the equation used. I ...
8
votes
1answer
416 views

Is there a left-handed equivalent of \implies?

I’m aware of and use the \implies and \iff commands to denote right-handed implication and if and only if (so A=>B and A<=>B). I’ve been looking for a similar command for left-handed implication ...
6
votes
1answer
157 views

Understanding ext@arrows

I don't quite understand how \ext@arrow of amsmath is working. When I look at the code, its functionality seems straight forward to me at the first glance. \def\ext@arrow#1#2#3#4#5#6#7{% ...
2
votes
1answer
483 views

Commutative diagram with parallel arrows in opposite direction

I have a diagram of the following form, written with the package amscd: \begin{align*} \begin{CD} W @>\phi>> X \\ @V{a}V{b}V @V{c}V{d}V \\ Y @>\phi>> Z \\ \end{CD} ...
8
votes
4answers
431 views

Better transitive closure of labelled arrow

I think the answer will be easy, but I haven't found it yet: I use labelled arrows like \xrightarrow\tau a lot. Sometimes, I need the transitive closure of such relations, which I write ...