How do I represent the following equations












-2















I am having trouble drawing the right hand side. Any ideas?










share|improve this question























  • To align the equations you could use begin{align*}. For the = with text you can use overset.

    – manooooh
    Dec 3 '18 at 19:03











  • @manooooh How do I add the braces in equation2?

    – GermanShepherd
    Dec 3 '18 at 19:12
















-2















I am having trouble drawing the right hand side. Any ideas?










share|improve this question























  • To align the equations you could use begin{align*}. For the = with text you can use overset.

    – manooooh
    Dec 3 '18 at 19:03











  • @manooooh How do I add the braces in equation2?

    – GermanShepherd
    Dec 3 '18 at 19:12














-2












-2








-2


1






I am having trouble drawing the right hand side. Any ideas?










share|improve this question














I am having trouble drawing the right hand side. Any ideas?







equations






share|improve this question













share|improve this question











share|improve this question




share|improve this question










asked Dec 3 '18 at 18:47









GermanShepherdGermanShepherd

302111




302111













  • To align the equations you could use begin{align*}. For the = with text you can use overset.

    – manooooh
    Dec 3 '18 at 19:03











  • @manooooh How do I add the braces in equation2?

    – GermanShepherd
    Dec 3 '18 at 19:12



















  • To align the equations you could use begin{align*}. For the = with text you can use overset.

    – manooooh
    Dec 3 '18 at 19:03











  • @manooooh How do I add the braces in equation2?

    – GermanShepherd
    Dec 3 '18 at 19:12

















To align the equations you could use begin{align*}. For the = with text you can use overset.

– manooooh
Dec 3 '18 at 19:03





To align the equations you could use begin{align*}. For the = with text you can use overset.

– manooooh
Dec 3 '18 at 19:03













@manooooh How do I add the braces in equation2?

– GermanShepherd
Dec 3 '18 at 19:12





@manooooh How do I add the braces in equation2?

– GermanShepherd
Dec 3 '18 at 19:12










1 Answer
1






active

oldest

votes


















4














enter image description here



documentclass{article}

usepackage{mathtools}

newcommand{eqdef}{mathrel{overset{mathrm{def}}{=}}}
%renewcommand{eqdef}{mathrel{overset{mathclap{mathrm{def}}}{=}}}
newcommand{prob}{mathrm{P}probnotation}
DeclarePairedDelimiter{probnotation}{(}{)}

begin{document}

begin{align*}
phi_1 &eqdef bigwedge_{i = 1}^k prob[big]{ f_{s_i}(e), f_{t_i}(e) } \
phi_2 &eqdef forall v forall w biggl( prob{v, w} rightarrow
bigwedge_{i = 1}^k prob[big]{ f_{s_i}(v), f_{t_i}(w) } biggr) \
phi_3 &eqdef exists z , prob{z, z}
end{align*}

end{document}


Two options for eqdef is presented. The second uses mathclap to remove any overlap spacing inserted by the def overset. It depends on your preference, and possibly if eqdef is used in the same align with =.



You may also consider a smaller rendering of def via



newcommand{eqdef}{mathrel{overset{scriptscriptstylemathrm{def}}{=}}}





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%2f463015%2fhow-do-i-represent-the-following-equations%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









    4














    enter image description here



    documentclass{article}

    usepackage{mathtools}

    newcommand{eqdef}{mathrel{overset{mathrm{def}}{=}}}
    %renewcommand{eqdef}{mathrel{overset{mathclap{mathrm{def}}}{=}}}
    newcommand{prob}{mathrm{P}probnotation}
    DeclarePairedDelimiter{probnotation}{(}{)}

    begin{document}

    begin{align*}
    phi_1 &eqdef bigwedge_{i = 1}^k prob[big]{ f_{s_i}(e), f_{t_i}(e) } \
    phi_2 &eqdef forall v forall w biggl( prob{v, w} rightarrow
    bigwedge_{i = 1}^k prob[big]{ f_{s_i}(v), f_{t_i}(w) } biggr) \
    phi_3 &eqdef exists z , prob{z, z}
    end{align*}

    end{document}


    Two options for eqdef is presented. The second uses mathclap to remove any overlap spacing inserted by the def overset. It depends on your preference, and possibly if eqdef is used in the same align with =.



    You may also consider a smaller rendering of def via



    newcommand{eqdef}{mathrel{overset{scriptscriptstylemathrm{def}}{=}}}





    share|improve this answer




























      4














      enter image description here



      documentclass{article}

      usepackage{mathtools}

      newcommand{eqdef}{mathrel{overset{mathrm{def}}{=}}}
      %renewcommand{eqdef}{mathrel{overset{mathclap{mathrm{def}}}{=}}}
      newcommand{prob}{mathrm{P}probnotation}
      DeclarePairedDelimiter{probnotation}{(}{)}

      begin{document}

      begin{align*}
      phi_1 &eqdef bigwedge_{i = 1}^k prob[big]{ f_{s_i}(e), f_{t_i}(e) } \
      phi_2 &eqdef forall v forall w biggl( prob{v, w} rightarrow
      bigwedge_{i = 1}^k prob[big]{ f_{s_i}(v), f_{t_i}(w) } biggr) \
      phi_3 &eqdef exists z , prob{z, z}
      end{align*}

      end{document}


      Two options for eqdef is presented. The second uses mathclap to remove any overlap spacing inserted by the def overset. It depends on your preference, and possibly if eqdef is used in the same align with =.



      You may also consider a smaller rendering of def via



      newcommand{eqdef}{mathrel{overset{scriptscriptstylemathrm{def}}{=}}}





      share|improve this answer


























        4












        4








        4







        enter image description here



        documentclass{article}

        usepackage{mathtools}

        newcommand{eqdef}{mathrel{overset{mathrm{def}}{=}}}
        %renewcommand{eqdef}{mathrel{overset{mathclap{mathrm{def}}}{=}}}
        newcommand{prob}{mathrm{P}probnotation}
        DeclarePairedDelimiter{probnotation}{(}{)}

        begin{document}

        begin{align*}
        phi_1 &eqdef bigwedge_{i = 1}^k prob[big]{ f_{s_i}(e), f_{t_i}(e) } \
        phi_2 &eqdef forall v forall w biggl( prob{v, w} rightarrow
        bigwedge_{i = 1}^k prob[big]{ f_{s_i}(v), f_{t_i}(w) } biggr) \
        phi_3 &eqdef exists z , prob{z, z}
        end{align*}

        end{document}


        Two options for eqdef is presented. The second uses mathclap to remove any overlap spacing inserted by the def overset. It depends on your preference, and possibly if eqdef is used in the same align with =.



        You may also consider a smaller rendering of def via



        newcommand{eqdef}{mathrel{overset{scriptscriptstylemathrm{def}}{=}}}





        share|improve this answer













        enter image description here



        documentclass{article}

        usepackage{mathtools}

        newcommand{eqdef}{mathrel{overset{mathrm{def}}{=}}}
        %renewcommand{eqdef}{mathrel{overset{mathclap{mathrm{def}}}{=}}}
        newcommand{prob}{mathrm{P}probnotation}
        DeclarePairedDelimiter{probnotation}{(}{)}

        begin{document}

        begin{align*}
        phi_1 &eqdef bigwedge_{i = 1}^k prob[big]{ f_{s_i}(e), f_{t_i}(e) } \
        phi_2 &eqdef forall v forall w biggl( prob{v, w} rightarrow
        bigwedge_{i = 1}^k prob[big]{ f_{s_i}(v), f_{t_i}(w) } biggr) \
        phi_3 &eqdef exists z , prob{z, z}
        end{align*}

        end{document}


        Two options for eqdef is presented. The second uses mathclap to remove any overlap spacing inserted by the def overset. It depends on your preference, and possibly if eqdef is used in the same align with =.



        You may also consider a smaller rendering of def via



        newcommand{eqdef}{mathrel{overset{scriptscriptstylemathrm{def}}{=}}}






        share|improve this answer












        share|improve this answer



        share|improve this answer










        answered Dec 3 '18 at 19:30









        WernerWerner

        442k679761672




        442k679761672






























            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%2f463015%2fhow-do-i-represent-the-following-equations%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 send String Array data to Server using php in android

            Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

            Is anime1.com a legal site for watching anime?