On 12 Jul 2012, at 12:33, Julian Bradfield wrote: > In practice, no working mathematician is going to use the mathematical > alphanumerical symbols to write maths in (La)TeX, because it's > fantastically inconvenient compared to the usual way (supplementary > plane support is far from universal, and most publishers won't have > the appropriate TeX unicode support; and as I've said in another post, > the Unicode mathematical symbol model does not match how one uses > mathematical symbols.
It is used by proof assistants such as Isabelle, and also in logic. https://en.wikipedia.org/wiki/Isabelle_(proof_assistant) If your only objective is to achieve a rendering for humans to read, TeX is fine, but not if one wants to communicate semantic information on the computer level. Hans
