Double lines without head
mir-ikbch opened this issue · comments
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.
I noticed this too. Another fix is that "no head" comes after the Rightarrow command.