Symbol used to indicate indivisibility












3















In the following definition, I am denoting the condition that $a$ is not an integral multiple of $b$. Why is there such a big space between $b$ and the vertical bar with a slash through it?



documentclass{amsart}
usepackage{amsmath}

begin{document}

noindent
The integers $q$ and $r$ are called the textbf{quotient} and textbf{remainder},
respectively, in the division of $a$ by $b$. If $r neq 0$, $a$ is not divisible by $b$.
The indivisibility of $a$ by $b$ is denoted by boldmath$b notvert a$unboldmath.

end{document}









share|improve this question




















  • 6





    usepackage{amssymb} and nmid

    – egreg
    9 hours ago











  • If, for some reason, you can't use nmid, I suggest you write $bmathrel{notvert}a$ to get even spacing around notvert. That said, nmid looks a lot better...

    – Mico
    9 hours ago













  • What is the code to indicate that $a$ is divisible by $b$?

    – A gal named Desire
    9 hours ago











  • $b vert a$, or $b mid a$?

    – A gal named Desire
    9 hours ago






  • 1





    $bmid a$ has the correct spacing.

    – Bernard
    8 hours ago
















3















In the following definition, I am denoting the condition that $a$ is not an integral multiple of $b$. Why is there such a big space between $b$ and the vertical bar with a slash through it?



documentclass{amsart}
usepackage{amsmath}

begin{document}

noindent
The integers $q$ and $r$ are called the textbf{quotient} and textbf{remainder},
respectively, in the division of $a$ by $b$. If $r neq 0$, $a$ is not divisible by $b$.
The indivisibility of $a$ by $b$ is denoted by boldmath$b notvert a$unboldmath.

end{document}









share|improve this question




















  • 6





    usepackage{amssymb} and nmid

    – egreg
    9 hours ago











  • If, for some reason, you can't use nmid, I suggest you write $bmathrel{notvert}a$ to get even spacing around notvert. That said, nmid looks a lot better...

    – Mico
    9 hours ago













  • What is the code to indicate that $a$ is divisible by $b$?

    – A gal named Desire
    9 hours ago











  • $b vert a$, or $b mid a$?

    – A gal named Desire
    9 hours ago






  • 1





    $bmid a$ has the correct spacing.

    – Bernard
    8 hours ago














3












3








3








In the following definition, I am denoting the condition that $a$ is not an integral multiple of $b$. Why is there such a big space between $b$ and the vertical bar with a slash through it?



documentclass{amsart}
usepackage{amsmath}

begin{document}

noindent
The integers $q$ and $r$ are called the textbf{quotient} and textbf{remainder},
respectively, in the division of $a$ by $b$. If $r neq 0$, $a$ is not divisible by $b$.
The indivisibility of $a$ by $b$ is denoted by boldmath$b notvert a$unboldmath.

end{document}









share|improve this question
















In the following definition, I am denoting the condition that $a$ is not an integral multiple of $b$. Why is there such a big space between $b$ and the vertical bar with a slash through it?



documentclass{amsart}
usepackage{amsmath}

begin{document}

noindent
The integers $q$ and $r$ are called the textbf{quotient} and textbf{remainder},
respectively, in the division of $a$ by $b$. If $r neq 0$, $a$ is not divisible by $b$.
The indivisibility of $a$ by $b$ is denoted by boldmath$b notvert a$unboldmath.

end{document}






symbols






share|improve this question















share|improve this question













share|improve this question




share|improve this question








edited 9 hours ago









Mico

284k31388778




284k31388778










asked 9 hours ago









A gal named DesireA gal named Desire

6581411




6581411








  • 6





    usepackage{amssymb} and nmid

    – egreg
    9 hours ago











  • If, for some reason, you can't use nmid, I suggest you write $bmathrel{notvert}a$ to get even spacing around notvert. That said, nmid looks a lot better...

    – Mico
    9 hours ago













  • What is the code to indicate that $a$ is divisible by $b$?

    – A gal named Desire
    9 hours ago











  • $b vert a$, or $b mid a$?

    – A gal named Desire
    9 hours ago






  • 1





    $bmid a$ has the correct spacing.

    – Bernard
    8 hours ago














  • 6





    usepackage{amssymb} and nmid

    – egreg
    9 hours ago











  • If, for some reason, you can't use nmid, I suggest you write $bmathrel{notvert}a$ to get even spacing around notvert. That said, nmid looks a lot better...

    – Mico
    9 hours ago













  • What is the code to indicate that $a$ is divisible by $b$?

    – A gal named Desire
    9 hours ago











  • $b vert a$, or $b mid a$?

    – A gal named Desire
    9 hours ago






  • 1





    $bmid a$ has the correct spacing.

    – Bernard
    8 hours ago








6




6





usepackage{amssymb} and nmid

– egreg
9 hours ago





usepackage{amssymb} and nmid

– egreg
9 hours ago













If, for some reason, you can't use nmid, I suggest you write $bmathrel{notvert}a$ to get even spacing around notvert. That said, nmid looks a lot better...

– Mico
9 hours ago







If, for some reason, you can't use nmid, I suggest you write $bmathrel{notvert}a$ to get even spacing around notvert. That said, nmid looks a lot better...

– Mico
9 hours ago















What is the code to indicate that $a$ is divisible by $b$?

– A gal named Desire
9 hours ago





What is the code to indicate that $a$ is divisible by $b$?

– A gal named Desire
9 hours ago













$b vert a$, or $b mid a$?

– A gal named Desire
9 hours ago





$b vert a$, or $b mid a$?

– A gal named Desire
9 hours ago




1




1





$bmid a$ has the correct spacing.

– Bernard
8 hours ago





$bmid a$ has the correct spacing.

– Bernard
8 hours ago










1 Answer
1






active

oldest

votes


















5














The spacing issue is caused by the fact that there are three different kinds of math symbols: binary operations (e.g. + and times, binary relations (e.g. < and leq) and ordinary characters (e.g. ! and infty). Each has its own spacing. Relations typically have the largest, slightly more than operations and significantly more than ordinary characters. Operation spacing uses mathbin, relation spacing uses mathrel, and ordinary character spacing can use {} (or nothing if it's already an ordinary character). These are illustrated in the following table:



enter image description here



Since "divides" is a relation, the correct spacing is given by mathrel, which is the default for mid. The negated relation, as suggested in the comments by @egreg is given by the command nmid. Notice that the spacing is identical to mid.



nmid uses the amssymb package.



Here is the code to produce the above table:



documentclass{article}

usepackage{amssymb}

begin{document}

begin{tabular}{ll}
$avert b$ & verb`$avert b$`\
$a|b$ & verb`$a|b$`\
$amathbin{|}b$ & verb`$amathbin{|}b$`\
$amathrel{|}b$ & verb`$amathrel{|}b$`\
$amid b$ & verb`$amid b$`\
$anmid b$ & verb`$anmid b$`
end{tabular}

end{document}





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',
    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%2f481094%2fsymbol-used-to-indicate-indivisibility%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














    The spacing issue is caused by the fact that there are three different kinds of math symbols: binary operations (e.g. + and times, binary relations (e.g. < and leq) and ordinary characters (e.g. ! and infty). Each has its own spacing. Relations typically have the largest, slightly more than operations and significantly more than ordinary characters. Operation spacing uses mathbin, relation spacing uses mathrel, and ordinary character spacing can use {} (or nothing if it's already an ordinary character). These are illustrated in the following table:



    enter image description here



    Since "divides" is a relation, the correct spacing is given by mathrel, which is the default for mid. The negated relation, as suggested in the comments by @egreg is given by the command nmid. Notice that the spacing is identical to mid.



    nmid uses the amssymb package.



    Here is the code to produce the above table:



    documentclass{article}

    usepackage{amssymb}

    begin{document}

    begin{tabular}{ll}
    $avert b$ & verb`$avert b$`\
    $a|b$ & verb`$a|b$`\
    $amathbin{|}b$ & verb`$amathbin{|}b$`\
    $amathrel{|}b$ & verb`$amathrel{|}b$`\
    $amid b$ & verb`$amid b$`\
    $anmid b$ & verb`$anmid b$`
    end{tabular}

    end{document}





    share|improve this answer




























      5














      The spacing issue is caused by the fact that there are three different kinds of math symbols: binary operations (e.g. + and times, binary relations (e.g. < and leq) and ordinary characters (e.g. ! and infty). Each has its own spacing. Relations typically have the largest, slightly more than operations and significantly more than ordinary characters. Operation spacing uses mathbin, relation spacing uses mathrel, and ordinary character spacing can use {} (or nothing if it's already an ordinary character). These are illustrated in the following table:



      enter image description here



      Since "divides" is a relation, the correct spacing is given by mathrel, which is the default for mid. The negated relation, as suggested in the comments by @egreg is given by the command nmid. Notice that the spacing is identical to mid.



      nmid uses the amssymb package.



      Here is the code to produce the above table:



      documentclass{article}

      usepackage{amssymb}

      begin{document}

      begin{tabular}{ll}
      $avert b$ & verb`$avert b$`\
      $a|b$ & verb`$a|b$`\
      $amathbin{|}b$ & verb`$amathbin{|}b$`\
      $amathrel{|}b$ & verb`$amathrel{|}b$`\
      $amid b$ & verb`$amid b$`\
      $anmid b$ & verb`$anmid b$`
      end{tabular}

      end{document}





      share|improve this answer


























        5












        5








        5







        The spacing issue is caused by the fact that there are three different kinds of math symbols: binary operations (e.g. + and times, binary relations (e.g. < and leq) and ordinary characters (e.g. ! and infty). Each has its own spacing. Relations typically have the largest, slightly more than operations and significantly more than ordinary characters. Operation spacing uses mathbin, relation spacing uses mathrel, and ordinary character spacing can use {} (or nothing if it's already an ordinary character). These are illustrated in the following table:



        enter image description here



        Since "divides" is a relation, the correct spacing is given by mathrel, which is the default for mid. The negated relation, as suggested in the comments by @egreg is given by the command nmid. Notice that the spacing is identical to mid.



        nmid uses the amssymb package.



        Here is the code to produce the above table:



        documentclass{article}

        usepackage{amssymb}

        begin{document}

        begin{tabular}{ll}
        $avert b$ & verb`$avert b$`\
        $a|b$ & verb`$a|b$`\
        $amathbin{|}b$ & verb`$amathbin{|}b$`\
        $amathrel{|}b$ & verb`$amathrel{|}b$`\
        $amid b$ & verb`$amid b$`\
        $anmid b$ & verb`$anmid b$`
        end{tabular}

        end{document}





        share|improve this answer













        The spacing issue is caused by the fact that there are three different kinds of math symbols: binary operations (e.g. + and times, binary relations (e.g. < and leq) and ordinary characters (e.g. ! and infty). Each has its own spacing. Relations typically have the largest, slightly more than operations and significantly more than ordinary characters. Operation spacing uses mathbin, relation spacing uses mathrel, and ordinary character spacing can use {} (or nothing if it's already an ordinary character). These are illustrated in the following table:



        enter image description here



        Since "divides" is a relation, the correct spacing is given by mathrel, which is the default for mid. The negated relation, as suggested in the comments by @egreg is given by the command nmid. Notice that the spacing is identical to mid.



        nmid uses the amssymb package.



        Here is the code to produce the above table:



        documentclass{article}

        usepackage{amssymb}

        begin{document}

        begin{tabular}{ll}
        $avert b$ & verb`$avert b$`\
        $a|b$ & verb`$a|b$`\
        $amathbin{|}b$ & verb`$amathbin{|}b$`\
        $amathrel{|}b$ & verb`$amathrel{|}b$`\
        $amid b$ & verb`$amid b$`\
        $anmid b$ & verb`$anmid b$`
        end{tabular}

        end{document}






        share|improve this answer












        share|improve this answer



        share|improve this answer










        answered 7 hours ago









        Sandy GSandy G

        4,1371632




        4,1371632






























            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%2f481094%2fsymbol-used-to-indicate-indivisibility%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

            How to make a Squid Proxy server?

            Is this a new Fibonacci Identity?

            19世紀