<?xml version="1.0" encoding="UTF-8"?>
<?latexml class="article"?>
<?latexml package="latexml"?>
<?latexml RelaxNGSchema="LaTeXML"?>
<document xmlns="http://dlmf.nist.gov/LaTeXML">
  <resource src="LaTeXML.css" type="text/css"/>
  <resource src="ltx-article.css" type="text/css"/>
  <section inlist="toc" xml:id="S1">
    <tags>
      <tag>1</tag>
      <tag role="refnum">1</tag>
      <tag role="typerefnum">§1</tag>
    </tags>
    <title><tag close=" ">1</tag>Compositions</title>
    <para xml:id="S1.p1">
      <equation xml:id="S1.Ex1">
        <Math mode="display" tex="(f*g)(x)" text="compose@(f, g) * x" xml:id="S1.Ex1.m1">
          <XMath>
            <XMApp>
              <XMTok meaning="times" role="MULOP">⁢</XMTok>
              <XMDual>
                <XMRef idref="S1.Ex1.m1.2"/>
                <XMWrap>
                  <XMTok role="OPEN" stretchy="false">(</XMTok>
                  <XMApp xml:id="S1.Ex1.m1.2">
                    <XMTok meaning="compose" role="COMPOSEOP">*</XMTok>
                    <XMTok font="italic" role="FUNCTION">f</XMTok>
                    <XMTok font="italic" role="FUNCTION">g</XMTok>
                  </XMApp>
                  <XMTok role="CLOSE" stretchy="false">)</XMTok>
                </XMWrap>
              </XMDual>
              <XMDual>
                <XMRef idref="S1.Ex1.m1.1"/>
                <XMWrap>
                  <XMTok role="OPEN" stretchy="false">(</XMTok>
                  <XMTok font="italic" role="ID" xml:id="S1.Ex1.m1.1">x</XMTok>
                  <XMTok role="CLOSE" stretchy="false">)</XMTok>
                </XMWrap>
              </XMDual>
            </XMApp>
          </XMath>
        </Math>
      </equation>
      <equation xml:id="S1.Ex2">
        <Math mode="display" tex="(f*g*h)(x)" text="compose@(compose@(f, g), h) * x" xml:id="S1.Ex2.m1">
          <XMath>
            <XMApp>
              <XMTok meaning="times" role="MULOP">⁢</XMTok>
              <XMDual>
                <XMRef idref="S1.Ex2.m1.2"/>
                <XMWrap>
                  <XMTok role="OPEN" stretchy="false">(</XMTok>
                  <XMApp xml:id="S1.Ex2.m1.2">
                    <XMTok meaning="compose" role="COMPOSEOP">*</XMTok>
                    <XMApp>
                      <XMTok meaning="compose" role="COMPOSEOP">*</XMTok>
                      <XMTok font="italic" role="FUNCTION">f</XMTok>
                      <XMTok font="italic" role="FUNCTION">g</XMTok>
                    </XMApp>
                    <XMTok font="italic" role="FUNCTION">h</XMTok>
                  </XMApp>
                  <XMTok role="CLOSE" stretchy="false">)</XMTok>
                </XMWrap>
              </XMDual>
              <XMDual>
                <XMRef idref="S1.Ex2.m1.1"/>
                <XMWrap>
                  <XMTok role="OPEN" stretchy="false">(</XMTok>
                  <XMTok font="italic" role="ID" xml:id="S1.Ex2.m1.1">x</XMTok>
                  <XMTok role="CLOSE" stretchy="false">)</XMTok>
                </XMWrap>
              </XMDual>
            </XMApp>
          </XMath>
        </Math>
      </equation>
    </para>
  </section>
  <section inlist="toc" xml:id="S2">
    <tags>
      <tag>2</tag>
      <tag role="refnum">2</tag>
      <tag role="typerefnum">§2</tag>
    </tags>
    <title><tag close=" ">2</tag>Implicit lambdas?</title>
    <para xml:id="S2.p1">
      <equation xml:id="S2.Ex3">
        <Math mode="display" tex="(y^{2}*f)(x)" text="compose@(y ^ 2, f) * x" xml:id="S2.Ex3.m1">
          <XMath>
            <XMApp>
              <XMTok meaning="times" role="MULOP">⁢</XMTok>
              <XMDual>
                <XMRef idref="S2.Ex3.m1.2"/>
                <XMWrap>
                  <XMTok role="OPEN" stretchy="false">(</XMTok>
                  <XMApp xml:id="S2.Ex3.m1.2">
                    <XMTok meaning="compose" role="COMPOSEOP">*</XMTok>
                    <XMApp>
                      <XMTok role="SUPERSCRIPTOP" scriptpos="post1"/>
                      <XMTok font="italic" role="ID">y</XMTok>
                      <XMTok fontsize="70%" meaning="2" role="NUMBER">2</XMTok>
                    </XMApp>
                    <XMTok font="italic" role="FUNCTION">f</XMTok>
                  </XMApp>
                  <XMTok role="CLOSE" stretchy="false">)</XMTok>
                </XMWrap>
              </XMDual>
              <XMDual>
                <XMRef idref="S2.Ex3.m1.1"/>
                <XMWrap>
                  <XMTok role="OPEN" stretchy="false">(</XMTok>
                  <XMTok font="italic" role="ID" xml:id="S2.Ex3.m1.1">x</XMTok>
                  <XMTok role="CLOSE" stretchy="false">)</XMTok>
                </XMWrap>
              </XMDual>
            </XMApp>
          </XMath>
        </Math>
      </equation>
      <equation xml:id="S2.Ex4">
        <Math mode="display" tex="(yy^{2}*f)(x)" text="compose@(y * y ^ 2, f) * x" xml:id="S2.Ex4.m1">
          <XMath>
            <XMApp>
              <XMTok meaning="times" role="MULOP">⁢</XMTok>
              <XMDual>
                <XMRef idref="S2.Ex4.m1.2"/>
                <XMWrap>
                  <XMTok role="OPEN" stretchy="false">(</XMTok>
                  <XMApp xml:id="S2.Ex4.m1.2">
                    <XMTok meaning="compose" role="COMPOSEOP">*</XMTok>
                    <XMApp>
                      <XMTok meaning="times" role="MULOP">⁢</XMTok>
                      <XMTok font="italic" role="ID">y</XMTok>
                      <XMApp>
                        <XMTok role="SUPERSCRIPTOP" scriptpos="post1"/>
                        <XMTok font="italic" role="ID">y</XMTok>
                        <XMTok fontsize="70%" meaning="2" role="NUMBER">2</XMTok>
                      </XMApp>
                    </XMApp>
                    <XMTok font="italic" role="FUNCTION">f</XMTok>
                  </XMApp>
                  <XMTok role="CLOSE" stretchy="false">)</XMTok>
                </XMWrap>
              </XMDual>
              <XMDual>
                <XMRef idref="S2.Ex4.m1.1"/>
                <XMWrap>
                  <XMTok role="OPEN" stretchy="false">(</XMTok>
                  <XMTok font="italic" role="ID" xml:id="S2.Ex4.m1.1">x</XMTok>
                  <XMTok role="CLOSE" stretchy="false">)</XMTok>
                </XMWrap>
              </XMDual>
            </XMApp>
          </XMath>
        </Math>
      </equation>
      <equation xml:id="S2.Ex5">
        <Math mode="display" tex="(y^{2}*f)(x)" text="compose@(y ^ 2, f) * x" xml:id="S2.Ex5.m1">
          <XMath>
            <XMApp>
              <XMTok meaning="times" role="MULOP">⁢</XMTok>
              <XMDual>
                <XMRef idref="S2.Ex5.m1.2"/>
                <XMWrap>
                  <XMTok role="OPEN" stretchy="false">(</XMTok>
                  <XMApp xml:id="S2.Ex5.m1.2">
                    <XMTok meaning="compose" role="COMPOSEOP">*</XMTok>
                    <XMApp>
                      <XMTok role="SUPERSCRIPTOP" scriptpos="post1"/>
                      <XMTok font="italic" role="ID">y</XMTok>
                      <XMTok fontsize="70%" meaning="2" role="NUMBER">2</XMTok>
                    </XMApp>
                    <XMTok font="italic" role="FUNCTION">f</XMTok>
                  </XMApp>
                  <XMTok role="CLOSE" stretchy="false">)</XMTok>
                </XMWrap>
              </XMDual>
              <XMDual>
                <XMRef idref="S2.Ex5.m1.1"/>
                <XMWrap>
                  <XMTok role="OPEN" stretchy="false">(</XMTok>
                  <XMTok font="italic" role="ID" xml:id="S2.Ex5.m1.1">x</XMTok>
                  <XMTok role="CLOSE" stretchy="false">)</XMTok>
                </XMWrap>
              </XMDual>
            </XMApp>
          </XMath>
        </Math>
      </equation>
      <equation xml:id="S2.Ex6">
        <Math mode="display" tex="(f*y^{2})(x)" text="compose@(f, y ^ 2) * x" xml:id="S2.Ex6.m1">
          <XMath>
            <XMApp>
              <XMTok meaning="times" role="MULOP">⁢</XMTok>
              <XMDual>
                <XMRef idref="S2.Ex6.m1.2"/>
                <XMWrap>
                  <XMTok role="OPEN" stretchy="false">(</XMTok>
                  <XMApp xml:id="S2.Ex6.m1.2">
                    <XMTok meaning="compose" role="COMPOSEOP">*</XMTok>
                    <XMTok font="italic" role="FUNCTION">f</XMTok>
                    <XMApp>
                      <XMTok role="SUPERSCRIPTOP" scriptpos="post1"/>
                      <XMTok font="italic" role="ID">y</XMTok>
                      <XMTok fontsize="70%" meaning="2" role="NUMBER">2</XMTok>
                    </XMApp>
                  </XMApp>
                  <XMTok role="CLOSE" stretchy="false">)</XMTok>
                </XMWrap>
              </XMDual>
              <XMDual>
                <XMRef idref="S2.Ex6.m1.1"/>
                <XMWrap>
                  <XMTok role="OPEN" stretchy="false">(</XMTok>
                  <XMTok font="italic" role="ID" xml:id="S2.Ex6.m1.1">x</XMTok>
                  <XMTok role="CLOSE" stretchy="false">)</XMTok>
                </XMWrap>
              </XMDual>
            </XMApp>
          </XMath>
        </Math>
      </equation>
    </para>
  </section>
  <section inlist="toc" xml:id="S3">
    <tags>
      <tag>3</tag>
      <tag role="refnum">3</tag>
      <tag role="typerefnum">§3</tag>
    </tags>
    <title><tag close=" ">3</tag>Different operators</title>
    <para xml:id="S3.p1">
      <equation xml:id="S3.Ex7">
        <Math mode="display" tex="f\circ\sin x" text="(compose@(f, sine))@(x)" xml:id="S3.Ex7.m1">
          <XMath>
            <XMApp>
              <XMApp>
                <XMTok meaning="compose" name="circ" role="COMPOSEOP">∘</XMTok>
                <XMTok font="italic" role="FUNCTION">f</XMTok>
                <XMTok meaning="sine" role="TRIGFUNCTION">sin</XMTok>
              </XMApp>
              <XMTok font="italic" role="ID">x</XMTok>
            </XMApp>
          </XMath>
        </Math>
      </equation>
      <equation xml:id="S3.Ex8">
        <Math mode="display" tex="f\circ\log x" text="(compose@(f, logarithm))@(x)" xml:id="S3.Ex8.m1">
          <XMath>
            <XMApp>
              <XMApp>
                <XMTok meaning="compose" name="circ" role="COMPOSEOP">∘</XMTok>
                <XMTok font="italic" role="FUNCTION">f</XMTok>
                <XMTok meaning="logarithm" role="OPFUNCTION">log</XMTok>
              </XMApp>
              <XMTok font="italic" role="ID">x</XMTok>
            </XMApp>
          </XMath>
        </Math>
      </equation>
    </para>
  </section>
</document>
