<lambda_function latex_name="\lambda_func" lhs="args" mathml="lambda" rhs="expression" title="λ-calculus">
  <mes>
    <me name="entity" />
    <me name="phrase" />
    <me name="phrasegroup" />
    <me name="lambda_function" />
  </mes>
  <characteristics>
    <ch name="_bodmasable" />
  </characteristics>
  <inherited_properties>
    <ip name="font_size" type="int" value="45" />
    <ip name="bold" type="bool" value="False" />
    <ip name="font_size_coeff" type="float" value="1.0" />
    <ip name="rgb_colour" type="tuple">
      <ti type="float" value="0.0" />
      <ti type="float" value="0.0" />
      <ti type="float" value="0.0" />
    </ip>
    <ip name="font_size_combined_coeff" type="float" value="1.0" />
  </inherited_properties>
  <properties>
    <property name="phraser" type="str" value="expression" />
    <property name="highlight_group" type="bool" value="True" />
    <property name="name" type="str" value="phrase_72605992" />
    <property name="enterable" type="bool" value="False" />
  </properties>
  <entities>
    <phrase_72601112 type="word">
      <properties>
        <property name="enterable" type="bool" value="False" />
        <property name="name" type="str" value="phrase_72601112" />
        <property name="attachable" type="bool" value="False" />
      </properties>
      <entities>
        <symbol ink="False" shape="λ" type="symbol">
          <properties>
            <property name="attachable" type="bool" value="False" />
            <property name="italic" type="bool" value="False" />
          </properties>
        </symbol>
      </entities>
    </phrase_72601112>
    <args target="args" type="phrase">
      <properties>
        <property name="enterable" type="bool" value="False" />
        <property name="name" type="str" value="args" />
        <property name="deletable" type="int" value="2" />
      </properties>
    </args>
    <phrase_82351312 type="word">
      <properties>
        <property name="attachable" type="bool" value="False" />
        <property name="name" type="str" value="phrase_82351312" />
        <property name="enterable" type="bool" value="False" />
      </properties>
      <entities>
        <symbol ink="False" shape="." type="symbol">
          <properties>
            <property name="italic" type="bool" value="False" />
          </properties>
        </symbol>
      </entities>
    </phrase_82351312>
    <expression target="expression" type="phrase">
      <properties>
        <property name="enterable" type="bool" value="False" />
        <property name="name" type="str" value="expression" />
        <property name="deletable" type="int" value="2" />
      </properties>
    </expression>
  </entities>
  <targets>
    <target name="args">
      <properties>
        <property name="name" type="str" value="args" />
        <property name="deletable" type="int" value="2" />
      </properties>
    </target>
    <target name="expression">
      <properties>
        <property name="name" type="str" value="expression" />
        <property name="deletable" type="int" value="2" />
      </properties>
    </target>
  </targets>
  <latex>"\lambda "+self["args"].to_latex()+" . "+self["expression"].to_latex()</latex>
  <sympy>Lambda(self["args"].get_sympy(), self["expression"].get_sympy())</sympy>
  <string>unicode("λ")+self["args"].to_string()+unicode(".")+self["expression"].to_string()</string>
  <symbol>λ</symbol>
  <category>Functions</category>
  <wiki>Lambda calculus</wiki>
  <info>Anonymous function from formal logic theory and computer science</info>
</lambda_function>
