]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/MODES
Added universes handling. The PRE_UNIVERSES tag may help ;)
[helm.git] / helm / DEVEL / mathml_editor / MODES
1
2 there are two basic syntactic modes:
3
4 TeX mode:
5
6 * any letter is an identifier by itself
7
8 Program mode:
9
10 * sequences of letters (and possibly other characters)
11   are collapsed into a single token. Id tokens are separated
12   by any other character not included in one of the collapsing
13   categories.
14
15 The mode is a property of the parser.
16
17 there are two basic semantic modes:
18
19 math mode:
20
21 * implicit operator is multiplication
22
23 program mode:
24
25 * implicit operator is function application