Spacing between two relational symbols











up vote
11
down vote

favorite












I have a relation symbol that I want to define through an equality. The problem is that when I do this, LaTeX puts too little space between the relation symbol and the equality symbol. My guess is that this is because both are relation symbols. Here is a MWE:



documentclass{article}
begin{document}
[cong_{mathcal{F}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
end{document}


If I specify that = should be a binary operator, then the spacing between those two symbols is correct, but now the spacing between equality and the following set is too small:



documentclass{article}
begin{document}
[cong_{mathcal{F}} mathbin{=} {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
end{document}


So my question is: How do I ensure that the spacing around = is correct on both sides? I could try hacking it by inserting spacing manually until I'm happy, but I am hoping for a more standardised answer that will also work in other situations.










share|improve this question







New contributor




mrp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
























    up vote
    11
    down vote

    favorite












    I have a relation symbol that I want to define through an equality. The problem is that when I do this, LaTeX puts too little space between the relation symbol and the equality symbol. My guess is that this is because both are relation symbols. Here is a MWE:



    documentclass{article}
    begin{document}
    [cong_{mathcal{F}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
    end{document}


    If I specify that = should be a binary operator, then the spacing between those two symbols is correct, but now the spacing between equality and the following set is too small:



    documentclass{article}
    begin{document}
    [cong_{mathcal{F}} mathbin{=} {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
    end{document}


    So my question is: How do I ensure that the spacing around = is correct on both sides? I could try hacking it by inserting spacing manually until I'm happy, but I am hoping for a more standardised answer that will also work in other situations.










    share|improve this question







    New contributor




    mrp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
    Check out our Code of Conduct.






















      up vote
      11
      down vote

      favorite









      up vote
      11
      down vote

      favorite











      I have a relation symbol that I want to define through an equality. The problem is that when I do this, LaTeX puts too little space between the relation symbol and the equality symbol. My guess is that this is because both are relation symbols. Here is a MWE:



      documentclass{article}
      begin{document}
      [cong_{mathcal{F}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
      end{document}


      If I specify that = should be a binary operator, then the spacing between those two symbols is correct, but now the spacing between equality and the following set is too small:



      documentclass{article}
      begin{document}
      [cong_{mathcal{F}} mathbin{=} {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
      end{document}


      So my question is: How do I ensure that the spacing around = is correct on both sides? I could try hacking it by inserting spacing manually until I'm happy, but I am hoping for a more standardised answer that will also work in other situations.










      share|improve this question







      New contributor




      mrp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.











      I have a relation symbol that I want to define through an equality. The problem is that when I do this, LaTeX puts too little space between the relation symbol and the equality symbol. My guess is that this is because both are relation symbols. Here is a MWE:



      documentclass{article}
      begin{document}
      [cong_{mathcal{F}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
      end{document}


      If I specify that = should be a binary operator, then the spacing between those two symbols is correct, but now the spacing between equality and the following set is too small:



      documentclass{article}
      begin{document}
      [cong_{mathcal{F}} mathbin{=} {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
      end{document}


      So my question is: How do I ensure that the spacing around = is correct on both sides? I could try hacking it by inserting spacing manually until I'm happy, but I am hoping for a more standardised answer that will also work in other situations.







      spacing symbols relation-symbols






      share|improve this question







      New contributor




      mrp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.











      share|improve this question







      New contributor




      mrp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      share|improve this question




      share|improve this question






      New contributor




      mrp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      asked yesterday









      mrp

      1586




      1586




      New contributor




      mrp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.





      New contributor





      mrp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.






      mrp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          11
          down vote



          accepted










          Just brace the symbol:



          documentclass{article}
          begin{document}

          [
          {cong_{mathcal{F}}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.
          ]

          end{document}


          enter image description here



          What happens is that TeX adds no space between consecutive relation atoms (cong_{mathcal{F}} and =), but when a symbol is braced it becomes an “ordinary atom”, just like a letter.






          share|improve this answer





















            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',
            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
            });


            }
            });






            mrp is a new contributor. Be nice, and check out our Code of Conduct.










             

            draft saved


            draft discarded


















            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f460765%2fspacing-between-two-relational-symbols%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








            up vote
            11
            down vote



            accepted










            Just brace the symbol:



            documentclass{article}
            begin{document}

            [
            {cong_{mathcal{F}}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.
            ]

            end{document}


            enter image description here



            What happens is that TeX adds no space between consecutive relation atoms (cong_{mathcal{F}} and =), but when a symbol is braced it becomes an “ordinary atom”, just like a letter.






            share|improve this answer

























              up vote
              11
              down vote



              accepted










              Just brace the symbol:



              documentclass{article}
              begin{document}

              [
              {cong_{mathcal{F}}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.
              ]

              end{document}


              enter image description here



              What happens is that TeX adds no space between consecutive relation atoms (cong_{mathcal{F}} and =), but when a symbol is braced it becomes an “ordinary atom”, just like a letter.






              share|improve this answer























                up vote
                11
                down vote



                accepted







                up vote
                11
                down vote



                accepted






                Just brace the symbol:



                documentclass{article}
                begin{document}

                [
                {cong_{mathcal{F}}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.
                ]

                end{document}


                enter image description here



                What happens is that TeX adds no space between consecutive relation atoms (cong_{mathcal{F}} and =), but when a symbol is braced it becomes an “ordinary atom”, just like a letter.






                share|improve this answer












                Just brace the symbol:



                documentclass{article}
                begin{document}

                [
                {cong_{mathcal{F}}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.
                ]

                end{document}


                enter image description here



                What happens is that TeX adds no space between consecutive relation atoms (cong_{mathcal{F}} and =), but when a symbol is braced it becomes an “ordinary atom”, just like a letter.







                share|improve this answer












                share|improve this answer



                share|improve this answer










                answered yesterday









                egreg

                698k8518573126




                698k8518573126






















                    mrp is a new contributor. Be nice, and check out our Code of Conduct.










                     

                    draft saved


                    draft discarded


















                    mrp is a new contributor. Be nice, and check out our Code of Conduct.













                    mrp is a new contributor. Be nice, and check out our Code of Conduct.












                    mrp is a new contributor. Be nice, and check out our Code of Conduct.















                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f460765%2fspacing-between-two-relational-symbols%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

                    'app-layout' is not a known element: how to share Component with different Modules

                    android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

                    WPF add header to Image with URL pettitions [duplicate]