<?xml version="1.0" encoding="UTF-8"?>
<?latexml class="article"?>
<?latexml package="latexml"?>
<?latexml RelaxNGSchema="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>