From: Hans Aberg <haberg-1_at_telia.com>

Date: Thu, 12 Jul 2012 13:36:20 +0200

Date: Thu, 12 Jul 2012 13:36:20 +0200

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
*