Lars =?iso-8859-1?Q?Hellstr=F6m?= writes: > My suggestion is rather that the current set of math symbol > commands should be made into this layer (hence some commands which > now produce different results would then by default produce > identical results). Could you define the _problem_ you are trying to solve? (If you think the problem is that people write unreadable math papers, I tend to agree, but there is not much that LaTeX could do about that...)