At 12.04 +0200 2001-05-22, Hans Aberg wrote:
>At 23:20 +0200 2001/05/21, Lars Hellström wrote:
>>>Could you define the _problem_ you are trying to solve?
>>...On one side, the problem is that in LaTeX today, I'm not
>>expected to write what I mean in math, I'm expected to specify the visual
>>expression for what I mean. This goes very much against the general trend
>>in the development of LaTeX, which is that you should say what you mean and
>>leave to the style (documentclass, packages used, preamble declarations,
>>etc.) to sort out what is the visual expression for this.
>There is nothing wrong with this objective in itself, but the complication
>is the diverse use of mathematics and how mathematicians write it.
The conceivable limitations this would impose (and you still haven't
produced a single example of a published paper in which there would have
been any limitation at all!) are negligible in comparison to the
limitations posed by the blackboard as the primary medium for new
mathematical notation and the fine motor skills of the average
mathematician. If you don't believe this, you can try the following
1. On a blackboard, using a piece of chalk, write down the calculations
showing Jacobi's identity
[[\phi,\emptyset],\varnothing] + [[\emptyset,\varnothing],\phi] +
[[\varnothing,\phi],\emptyset] = 0
where $[a,b]:=ab-ba$ is the commutator, the underlying ring is associative
but not commutative, and using precisely those glyphs from Computer Modern
to denote your variables (you've claimed yourself that they can be used to
denote different quantities).
2. Convince another mathematician that it is possible to see which symbol
is which without relying on the structure of the calculations.
I doubt you'll make it. I know I wouldn't.