Re: Too narrowly defined: DIVISION SIGN & COLON

From: Hans Aberg <>
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.

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.

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