[Felix-language] Maths DSSL

[john s. <sk...@us...>]

The below will give cute display in Felix code, if displayed by flx_web.
The "font" operators are just ordinary functions .. so you have to actually
define them if you want stuff to work!

////////////////////////////////////////////////////////////////////////////////
// ordinary and mathmode
var x = X; // ordinary
var x = \(X\); // mathmode

// these are all TeX commands so x ^ \font y
// typesets correctly: note \sin is an OP symbol
// so x ^ \sin y fails, and x ^ \Gamma y works
// since \Gamma is an ORD, but the y is not raised.

// font operators
var x = \(\mathrm X\); // mathrm
var x = \(\mathit X\); // mathit
var x = \(\mathfrak X\); // mathfrak
var x = \(\mathbb X\); // mathbb
var x = \(\mathbf X\); // mathbf
var x = \(\mathcal X\); // mathcal
var x = \(\mathscr X\); // mathscr
var x = \(\mathsf X\); // mathscr
var x = \(\mathtt X\); // mathtt

// modifiers
var x = \(\acute X\); // acute
var x = \(\check X\); // check

var x = \( x ^ \binom {\mathtt x} {\mathtt y} \);
///////////////////////////////////////////////////////////////

However there are a couple of "gotchas". The first is that in TeX
in math mode a variable is a single character. But that's NOT how
Felix would interpret

	f ABC

is we happen to write

	\( \mathcal ABC \}

then the \mathcal function will apply to variable ABC, but it will
only display caligraphic symbol A. This is similar to:

	xyz

which maths thinks is three variables but Felix thinks is one.
The typeset version is math italic, and it reads OK in this case
but really, it should be typeset in teletype font and boxed into
a single atom:

	\mathtt {xyz}

To make this work *properly* will have to fiddle with flx_web's
flx2html plugin so that the actual characters put in the HTML
are fudged even more than at present: in particular {}
inserted like above will be invisible, so the "effect" which is applied
to something had better be visible to the reader (because now the
grouping symbols will be gone).

At present, if MathJaX isn't available the code is "more or less" raw
as you wrote it in your editor. With improved fudging for more
betterer display (sic) this distance between what you wrote and the
HTML will be much larger.

--
john skaller
sk...@us...
http://felix-lang.org