Arrow from top arrow to bottom arrow












3















Consider:



documentclass[14pt,reqno,a4paper]{amsart}
usepackage{extsizes}
usepackage{blindtext}
textheight 9.3in textwidth 6.5in
calclayout
usepackage{amsmath,amsthm,amsfonts,amssymb}
usepackage{hyperref}
usepackage{mathrsfs}
usepackage[all]{xy}
usepackage[normalem]{ulem}
usepackage{tikz-cd}
usepackage[utf8]{inputenc}
usepackage[english]{babel}

usepackage{color}
pagestyle{myheadings}
begin{document}
begin{tikzcd}
(mathcal{C}/U)^{text{op}} arrow[rrr, "{underline{text{Mor}_{mathcal{F}}}(x,y)}", bend left=49] arrow[rrr, "{underline{text{Mor}_{mathcal{G}}}(Psi(x),Psi(y))}"', bend right=49] & & & (text{Set})
end{tikzcd}
end{document}


The above code results in the following diagram:



Enter image description here



I want to add an arrow from the above arrow to the below arrow.



How do I add that arrow? What more can be done in the code that I have written rather than writing totally different code?










share|improve this question





























    3















    Consider:



    documentclass[14pt,reqno,a4paper]{amsart}
    usepackage{extsizes}
    usepackage{blindtext}
    textheight 9.3in textwidth 6.5in
    calclayout
    usepackage{amsmath,amsthm,amsfonts,amssymb}
    usepackage{hyperref}
    usepackage{mathrsfs}
    usepackage[all]{xy}
    usepackage[normalem]{ulem}
    usepackage{tikz-cd}
    usepackage[utf8]{inputenc}
    usepackage[english]{babel}

    usepackage{color}
    pagestyle{myheadings}
    begin{document}
    begin{tikzcd}
    (mathcal{C}/U)^{text{op}} arrow[rrr, "{underline{text{Mor}_{mathcal{F}}}(x,y)}", bend left=49] arrow[rrr, "{underline{text{Mor}_{mathcal{G}}}(Psi(x),Psi(y))}"', bend right=49] & & & (text{Set})
    end{tikzcd}
    end{document}


    The above code results in the following diagram:



    Enter image description here



    I want to add an arrow from the above arrow to the below arrow.



    How do I add that arrow? What more can be done in the code that I have written rather than writing totally different code?










    share|improve this question



























      3












      3








      3








      Consider:



      documentclass[14pt,reqno,a4paper]{amsart}
      usepackage{extsizes}
      usepackage{blindtext}
      textheight 9.3in textwidth 6.5in
      calclayout
      usepackage{amsmath,amsthm,amsfonts,amssymb}
      usepackage{hyperref}
      usepackage{mathrsfs}
      usepackage[all]{xy}
      usepackage[normalem]{ulem}
      usepackage{tikz-cd}
      usepackage[utf8]{inputenc}
      usepackage[english]{babel}

      usepackage{color}
      pagestyle{myheadings}
      begin{document}
      begin{tikzcd}
      (mathcal{C}/U)^{text{op}} arrow[rrr, "{underline{text{Mor}_{mathcal{F}}}(x,y)}", bend left=49] arrow[rrr, "{underline{text{Mor}_{mathcal{G}}}(Psi(x),Psi(y))}"', bend right=49] & & & (text{Set})
      end{tikzcd}
      end{document}


      The above code results in the following diagram:



      Enter image description here



      I want to add an arrow from the above arrow to the below arrow.



      How do I add that arrow? What more can be done in the code that I have written rather than writing totally different code?










      share|improve this question
















      Consider:



      documentclass[14pt,reqno,a4paper]{amsart}
      usepackage{extsizes}
      usepackage{blindtext}
      textheight 9.3in textwidth 6.5in
      calclayout
      usepackage{amsmath,amsthm,amsfonts,amssymb}
      usepackage{hyperref}
      usepackage{mathrsfs}
      usepackage[all]{xy}
      usepackage[normalem]{ulem}
      usepackage{tikz-cd}
      usepackage[utf8]{inputenc}
      usepackage[english]{babel}

      usepackage{color}
      pagestyle{myheadings}
      begin{document}
      begin{tikzcd}
      (mathcal{C}/U)^{text{op}} arrow[rrr, "{underline{text{Mor}_{mathcal{F}}}(x,y)}", bend left=49] arrow[rrr, "{underline{text{Mor}_{mathcal{G}}}(Psi(x),Psi(y))}"', bend right=49] & & & (text{Set})
      end{tikzcd}
      end{document}


      The above code results in the following diagram:



      Enter image description here



      I want to add an arrow from the above arrow to the below arrow.



      How do I add that arrow? What more can be done in the code that I have written rather than writing totally different code?







      commutative-diagrams






      share|improve this question















      share|improve this question













      share|improve this question




      share|improve this question








      edited Feb 3 at 14:00









      dexteritas

      3,7901127




      3,7901127










      asked Feb 3 at 7:04









      Praphulla KoushikPraphulla Koushik

      1867




      1867






















          1 Answer
          1






          active

          oldest

          votes


















          5














          Just give a name to the labels and add an arrow.



          See Section 2.3 Absolute placement of arrows of the package documentation.



          Edit: inserted newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}} and shortened Rightarrow, as egreg suggested.



          documentclass[14pt,reqno,a4paper]{amsart}
          usepackage{extsizes}
          usepackage{blindtext}
          textheight 9.3in textwidth 6.5in
          calclayout
          usepackage{amsmath,amsthm,amsfonts,amssymb}
          usepackage{hyperref}
          usepackage{mathrsfs}
          usepackage[all]{xy}
          usepackage[normalem]{ulem}
          usepackage{tikz-cd}
          usepackage[utf8]{inputenc}
          usepackage[english]{babel}
          newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}}
          usepackage{color}
          pagestyle{myheadings}
          begin{document}
          begin{tikzcd}
          (mathcal{C}/U)^{text{op}} arrow[rrr, "{uMor{mathcal{F}}(x,y)}"{name=U}, bend left=49] arrow[rrr, "{uMor{mathcal{G}}(Psi(x),Psi(y))}"'{name=D}, bend right=49] & & & (text{Set})
          arrow[Rightarrow, from=U, to=D, shorten >=2pt, shorten <=2pt]
          end{tikzcd}
          end{document}


          enter image description here






          share|improve this answer


























          • @PraphullaKoushik Just add Rightarrow in the last arrow options for the implication

            – CarLaTeX
            Feb 3 at 7:43











          • Yeah. I guessed it so deleted it and you saw it before I delete.. Thank Thanks.. :)

            – Praphulla Koushik
            Feb 3 at 7:46






          • 1





            @PraphullaKoushik You can even shorten a bit the Rightarrow, if you prefer, with shorten=<dimension>, for example, shorten=2pt.

            – CarLaTeX
            Feb 3 at 7:51






          • 2





            newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}}. Shortening the vertical arrow is definitely needed.

            – egreg
            Feb 3 at 9:05











          • @egreg Done as suggested!

            – CarLaTeX
            Feb 3 at 9:34












          Your Answer








          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "85"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: false,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: null,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f473139%2farrow-from-top-arrow-to-bottom-arrow%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          5














          Just give a name to the labels and add an arrow.



          See Section 2.3 Absolute placement of arrows of the package documentation.



          Edit: inserted newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}} and shortened Rightarrow, as egreg suggested.



          documentclass[14pt,reqno,a4paper]{amsart}
          usepackage{extsizes}
          usepackage{blindtext}
          textheight 9.3in textwidth 6.5in
          calclayout
          usepackage{amsmath,amsthm,amsfonts,amssymb}
          usepackage{hyperref}
          usepackage{mathrsfs}
          usepackage[all]{xy}
          usepackage[normalem]{ulem}
          usepackage{tikz-cd}
          usepackage[utf8]{inputenc}
          usepackage[english]{babel}
          newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}}
          usepackage{color}
          pagestyle{myheadings}
          begin{document}
          begin{tikzcd}
          (mathcal{C}/U)^{text{op}} arrow[rrr, "{uMor{mathcal{F}}(x,y)}"{name=U}, bend left=49] arrow[rrr, "{uMor{mathcal{G}}(Psi(x),Psi(y))}"'{name=D}, bend right=49] & & & (text{Set})
          arrow[Rightarrow, from=U, to=D, shorten >=2pt, shorten <=2pt]
          end{tikzcd}
          end{document}


          enter image description here






          share|improve this answer


























          • @PraphullaKoushik Just add Rightarrow in the last arrow options for the implication

            – CarLaTeX
            Feb 3 at 7:43











          • Yeah. I guessed it so deleted it and you saw it before I delete.. Thank Thanks.. :)

            – Praphulla Koushik
            Feb 3 at 7:46






          • 1





            @PraphullaKoushik You can even shorten a bit the Rightarrow, if you prefer, with shorten=<dimension>, for example, shorten=2pt.

            – CarLaTeX
            Feb 3 at 7:51






          • 2





            newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}}. Shortening the vertical arrow is definitely needed.

            – egreg
            Feb 3 at 9:05











          • @egreg Done as suggested!

            – CarLaTeX
            Feb 3 at 9:34
















          5














          Just give a name to the labels and add an arrow.



          See Section 2.3 Absolute placement of arrows of the package documentation.



          Edit: inserted newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}} and shortened Rightarrow, as egreg suggested.



          documentclass[14pt,reqno,a4paper]{amsart}
          usepackage{extsizes}
          usepackage{blindtext}
          textheight 9.3in textwidth 6.5in
          calclayout
          usepackage{amsmath,amsthm,amsfonts,amssymb}
          usepackage{hyperref}
          usepackage{mathrsfs}
          usepackage[all]{xy}
          usepackage[normalem]{ulem}
          usepackage{tikz-cd}
          usepackage[utf8]{inputenc}
          usepackage[english]{babel}
          newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}}
          usepackage{color}
          pagestyle{myheadings}
          begin{document}
          begin{tikzcd}
          (mathcal{C}/U)^{text{op}} arrow[rrr, "{uMor{mathcal{F}}(x,y)}"{name=U}, bend left=49] arrow[rrr, "{uMor{mathcal{G}}(Psi(x),Psi(y))}"'{name=D}, bend right=49] & & & (text{Set})
          arrow[Rightarrow, from=U, to=D, shorten >=2pt, shorten <=2pt]
          end{tikzcd}
          end{document}


          enter image description here






          share|improve this answer


























          • @PraphullaKoushik Just add Rightarrow in the last arrow options for the implication

            – CarLaTeX
            Feb 3 at 7:43











          • Yeah. I guessed it so deleted it and you saw it before I delete.. Thank Thanks.. :)

            – Praphulla Koushik
            Feb 3 at 7:46






          • 1





            @PraphullaKoushik You can even shorten a bit the Rightarrow, if you prefer, with shorten=<dimension>, for example, shorten=2pt.

            – CarLaTeX
            Feb 3 at 7:51






          • 2





            newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}}. Shortening the vertical arrow is definitely needed.

            – egreg
            Feb 3 at 9:05











          • @egreg Done as suggested!

            – CarLaTeX
            Feb 3 at 9:34














          5












          5








          5







          Just give a name to the labels and add an arrow.



          See Section 2.3 Absolute placement of arrows of the package documentation.



          Edit: inserted newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}} and shortened Rightarrow, as egreg suggested.



          documentclass[14pt,reqno,a4paper]{amsart}
          usepackage{extsizes}
          usepackage{blindtext}
          textheight 9.3in textwidth 6.5in
          calclayout
          usepackage{amsmath,amsthm,amsfonts,amssymb}
          usepackage{hyperref}
          usepackage{mathrsfs}
          usepackage[all]{xy}
          usepackage[normalem]{ulem}
          usepackage{tikz-cd}
          usepackage[utf8]{inputenc}
          usepackage[english]{babel}
          newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}}
          usepackage{color}
          pagestyle{myheadings}
          begin{document}
          begin{tikzcd}
          (mathcal{C}/U)^{text{op}} arrow[rrr, "{uMor{mathcal{F}}(x,y)}"{name=U}, bend left=49] arrow[rrr, "{uMor{mathcal{G}}(Psi(x),Psi(y))}"'{name=D}, bend right=49] & & & (text{Set})
          arrow[Rightarrow, from=U, to=D, shorten >=2pt, shorten <=2pt]
          end{tikzcd}
          end{document}


          enter image description here






          share|improve this answer















          Just give a name to the labels and add an arrow.



          See Section 2.3 Absolute placement of arrows of the package documentation.



          Edit: inserted newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}} and shortened Rightarrow, as egreg suggested.



          documentclass[14pt,reqno,a4paper]{amsart}
          usepackage{extsizes}
          usepackage{blindtext}
          textheight 9.3in textwidth 6.5in
          calclayout
          usepackage{amsmath,amsthm,amsfonts,amssymb}
          usepackage{hyperref}
          usepackage{mathrsfs}
          usepackage[all]{xy}
          usepackage[normalem]{ulem}
          usepackage{tikz-cd}
          usepackage[utf8]{inputenc}
          usepackage[english]{babel}
          newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}}
          usepackage{color}
          pagestyle{myheadings}
          begin{document}
          begin{tikzcd}
          (mathcal{C}/U)^{text{op}} arrow[rrr, "{uMor{mathcal{F}}(x,y)}"{name=U}, bend left=49] arrow[rrr, "{uMor{mathcal{G}}(Psi(x),Psi(y))}"'{name=D}, bend right=49] & & & (text{Set})
          arrow[Rightarrow, from=U, to=D, shorten >=2pt, shorten <=2pt]
          end{tikzcd}
          end{document}


          enter image description here







          share|improve this answer














          share|improve this answer



          share|improve this answer








          edited Feb 3 at 9:34

























          answered Feb 3 at 7:30









          CarLaTeXCarLaTeX

          34.6k552143




          34.6k552143













          • @PraphullaKoushik Just add Rightarrow in the last arrow options for the implication

            – CarLaTeX
            Feb 3 at 7:43











          • Yeah. I guessed it so deleted it and you saw it before I delete.. Thank Thanks.. :)

            – Praphulla Koushik
            Feb 3 at 7:46






          • 1





            @PraphullaKoushik You can even shorten a bit the Rightarrow, if you prefer, with shorten=<dimension>, for example, shorten=2pt.

            – CarLaTeX
            Feb 3 at 7:51






          • 2





            newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}}. Shortening the vertical arrow is definitely needed.

            – egreg
            Feb 3 at 9:05











          • @egreg Done as suggested!

            – CarLaTeX
            Feb 3 at 9:34



















          • @PraphullaKoushik Just add Rightarrow in the last arrow options for the implication

            – CarLaTeX
            Feb 3 at 7:43











          • Yeah. I guessed it so deleted it and you saw it before I delete.. Thank Thanks.. :)

            – Praphulla Koushik
            Feb 3 at 7:46






          • 1





            @PraphullaKoushik You can even shorten a bit the Rightarrow, if you prefer, with shorten=<dimension>, for example, shorten=2pt.

            – CarLaTeX
            Feb 3 at 7:51






          • 2





            newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}}. Shortening the vertical arrow is definitely needed.

            – egreg
            Feb 3 at 9:05











          • @egreg Done as suggested!

            – CarLaTeX
            Feb 3 at 9:34

















          @PraphullaKoushik Just add Rightarrow in the last arrow options for the implication

          – CarLaTeX
          Feb 3 at 7:43





          @PraphullaKoushik Just add Rightarrow in the last arrow options for the implication

          – CarLaTeX
          Feb 3 at 7:43













          Yeah. I guessed it so deleted it and you saw it before I delete.. Thank Thanks.. :)

          – Praphulla Koushik
          Feb 3 at 7:46





          Yeah. I guessed it so deleted it and you saw it before I delete.. Thank Thanks.. :)

          – Praphulla Koushik
          Feb 3 at 7:46




          1




          1





          @PraphullaKoushik You can even shorten a bit the Rightarrow, if you prefer, with shorten=<dimension>, for example, shorten=2pt.

          – CarLaTeX
          Feb 3 at 7:51





          @PraphullaKoushik You can even shorten a bit the Rightarrow, if you prefer, with shorten=<dimension>, for example, shorten=2pt.

          – CarLaTeX
          Feb 3 at 7:51




          2




          2





          newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}}. Shortening the vertical arrow is definitely needed.

          – egreg
          Feb 3 at 9:05





          newcommand{uMor}[1]{operatorname{underline{Mor_{#1}}}}. Shortening the vertical arrow is definitely needed.

          – egreg
          Feb 3 at 9:05













          @egreg Done as suggested!

          – CarLaTeX
          Feb 3 at 9:34





          @egreg Done as suggested!

          – CarLaTeX
          Feb 3 at 9:34


















          draft saved

          draft discarded




















































          Thanks for contributing an answer to TeX - LaTeX Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f473139%2farrow-from-top-arrow-to-bottom-arrow%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

          Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

          A Topological Invariant for $pi_3(U(n))$