Closed mir-ikbch closed 3 years ago
When I draw a double line without arrow head, it produces \arrow[r, no head, Rightarrow] but compiling it with latex, I get a double line with head. It looks like the correct option is equal instead of no head, Rightarrow.
\arrow[r, no head, Rightarrow]
equal
no head, Rightarrow
I noticed this too. Another fix is that "no head" comes after the Rightarrow command.
When I draw a double line without arrow head, it produces
\arrow[r, no head, Rightarrow]
but compiling it with latex, I get a double line with head. It looks like the correct option isequal
instead ofno head, Rightarrow
.