[texhax] new symbols on the horizon...

[Kevin Godby]

On Fri, Jul 24, 2009 at 11:43 AM, Bryan W.
Lepore<Bryan.Lepore at umassmed.edu> wrote:
> new symbols for the halting problem :
>
> http://tinyurl.com/n4gos6 (sciencemag.org - full text needs subscrip.)
>
> "he hopes to have them implemented in LaTeX"

It looks like they're already implemented in some fashion:

  http://research.microsoft.com/terminator/principles.pdf

--Kevin