Skip to content

Unbalanced arrows for adjunction #17

@Orbion-J

Description

@Orbion-J

In the graph below, even tough I have done thing symmetrically, the head and tail of the arrows are unbalanced. They are much closer to the left node than to the right one. When compiled (cf picture) it produces a clunky look. Is there a way to have symmetrical arrows?

{"graph":{"activeTabId":0,"latexPreamble":"\\newcommand{\\catname}{\\textbf}\n\\newcommand{\\Sig}{\\catname{Sig}}","nextTabId":1,"tabs":[{"edges":[{"from":0,"id":2,"label":{"label":"L_n","style":["bend 0.2998","alignment right"],"zindex":0},"to":1},{"from":1,"id":3,"label":{"label":"R_n","style":["bend 0.2998","alignment right"],"zindex":0},"to":0},{"from":3,"id":4,"label":{"label":"\\vdash","style":["adjunction","alignment over","head none","kind none"],"zindex":0},"to":2}],"id":0,"nextGraphId":5,"nodes":[{"id":0,"label":{"flags":[],"label":"\\Sig_n","pos":[690,510],"zindex":0}},{"id":1,"label":{"flags":[],"label":"\\mathcal{C}","pos":[570,510],"zindex":0}}],"sizeGrid":60,"title":"1"}]},"version":17}

Image

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions