Re: symbols/codepoints for necessity and possibility in modal logic

From: Stephan Stiller <>
Date: Fri, 19 Jul 2013 02:11:45 -0700

> Why not contact the relevant publishers and find out what they are using?
"Why not contact the relevant governments and find out what they're
using in order to solve /_*all*_/ encoding issues for /_*all*_/
languages and writing systems within a day?" :-)

Publishers use metal type (or various methods of reproductions of what
was originally that) or LaTeX, neither of which have an inherent notion
of a codepoint. There are efforts to map between TeX output and Unicode,
but they require that someone either figure out what's best (and so far
it seems like the answer is unclear) or create truth by declaration.

That said, let me contact the most important person there and think of this
> you could ask for some annotations
as a dependent step further down the action graph.

Received on Fri Jul 19 2013 - 04:14:40 CDT

This archive was generated by hypermail 2.2.0 : Fri Jul 19 2013 - 04:14:41 CDT