Dear Andreas,


Am Samstag, den 15.10.2011, 14:02 +0200 schrieb Andreas Richter:

> \starttext
> \startformula
> J:\blackboard{R}^\infty \rightarrow \blackboard{R},f \mapsto J[f]
> \stopformula
> \stoptext

since you seem to be a German native speaker, this is just a shameless
plug to recommend to you the Neo2 layout [1] with which you easily can
type the following.

        \startformula
        J \colon ℝ^∞ → ℝ, f ↦ J[f]
        \stopformula

[…]


Thanks,

Paul


[1] http://neo-layout.org/