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
Received on Thu Jul 12 2012 - 06:38:10 CDT
This archive was generated by hypermail 2.2.0 : Thu Jul 12 2012 - 06:38:10 CDT