On Sun, Oct 16, 2011 at 12:52 PM, Hans Hagen <pragma@wxs.nl> wrote:

On 15-10-2011 21:15, Paul Menzel wrote:

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

[…]

if only these were cheaper ...

http://www.artlebedev.com/everything/optimus/