> To do a rendering, it's a funny story, I understand we would need a > pattern for > map(lambda.z.f(z),suchthat(x,domain))
yes which is I think more or less what these old stylesheets were doing: http://svn.openmath.org/formerCVS/omxsl/set3.xsl <xsl:template match="om:o...@cd='set3' and @name='map_with_target'] [following-sibling::om:OMBIND/om:OMS/@name='lambda']">" > <mrow> <mo>{</mo> ... David ________________________________________________________________________ The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. This e-mail has been scanned for all viruses by Star. The service is powered by MessageLabs. ________________________________________________________________________ _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
