[Om3] trouble with container markup example

[David Carlisle]

> 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:OMS[@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. 
________________________________________________________________________