<?xml version='1.0'?>

<example>
    <OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0" cdbase="http://www.openmath.org/cd">
        <OMA>
            <OMS cd="relation1" name="eq"/>
            <OMA>
                <OMS cd="arith1" name="power"/>
                <OMA>
                    <OMS cd="arith1" name="plus"/>
                    <OMV name="a"/>
                    <OMV name="b"/>
                </OMA>
                <OMV name="n"/>
            </OMA>
            <OMA>
                <OMS cd="arith1" name="sum"/>
                <OMA>
                    <OMS cd="interval1" name="integer_interval"/>
                    <OMI>0</OMI>
                    <OMV name="n"/>
                </OMA>
                <OMBIND>
                    <OMS cd="fns1" name="lambda"/>
                    <OMBVAR>
                        <OMV name="k"/>
                    </OMBVAR>
                    <OMA>
                        <OMS cd="arith1" name="times"/>
                        <OMA>
                            <OMS cd="arith1" name="times"/>
                            <OMA>
                                <OMS cd="combinat1" name="binomial"/>
                                <OMV name="n"/>
                                <OMV name="k"/>
                            </OMA>
                            <OMA>
                                <OMS cd="arith1" name="power"/>
                                <OMV name="a"/>
                                <OMV name="k"/>
                            </OMA>
                        </OMA>
                        <OMA>
                            <OMS cd="arith1" name="power"/>
                            <OMV name="b"/>
                            <OMA>
                                <OMS cd="arith1" name="minus"/>
                                <OMV name="n"/>
                                <OMV name="k"/>
                            </OMA>
                        </OMA>
                    </OMA>
                </OMBIND>
            </OMA>
        </OMA>
    </OMOBJ>
    <p>met</p>
    <OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0" cdbase="http://www.openmath.org/cd">
        <OMA>
            <OMS cd="relation1" name="eq"/>
            <OMA>
                <OMS cd="combinat1" name="binomial"/>
                <OMV name="n"/>
                <OMV name="k"/>
            </OMA>
            <OMA>
                <OMS cd="arith1" name="divide"/>
                <OMA>
                    <OMS cd="integer1" name="factorial"/>
                    <OMV name="n"/>
                </OMA>
                <OMA>
                    <OMS cd="integer1" name="factorial"/>
                    <OMA>
                        <OMS cd="arith1" name="times"/>
                        <OMA>
                            <OMS cd="integer1" name="factorial"/>
                            <OMV name="k"/>
                        </OMA>
                        <OMA>
                            <OMS cd="arith1" name="minus"/>
                            <OMV name="n"/>
                            <OMV name="k"/>
                        </OMA>
                    </OMA>
                </OMA>
            </OMA>
        </OMA>
    </OMOBJ>
</example>
