[formal-methods] [Noisebridge-discuss] MathML

[Crutcher Dunnavant]

Unfortunately, I agree who heartedly.

I wish there was a better answer to this. We could get into LaTeX
and/or MathML, there are various plugins for the wiki. But I find
anytime I start down that road, I spend more time fucking around with
fonts than I do doing math.

OTOH, there are some documents we'll wish to prepare for other
consumers, or for ourselves in the future. I'm partial to doing this
in LaTeX (but mainly because I've not found a MathML environment I
like much).

On Wed, Jul 29, 2009 at 11:12 AM, Jeff Younker<jeff at drinktomi.com> wrote:
> On Jul 29, 2009, at 10:58 AM, Jason Dusek wrote:
>
>>  Right now, the formal methods group does all our work with
>>  pencil and paper. But shouldn't we be using an electronic
>>  format? What experience do folks have with MathML?
>
> I don't think that anyone has created a mathematics system with
> a better interface than pen and paper or chalk and chalkboard
> yet.
>
> If I had to use an electronic markup I'd be partial to Mathematica
> or Mathcad.   MathML is an interchange form, but I'd hate to
> write it by hand.
>
> -jeff
>
>
> _______________________________________________
> Noisebridge-discuss mailing list
> Noisebridge-discuss at lists.noisebridge.net
> https://www.noisebridge.net/mailman/listinfo/noisebridge-discuss
>



-- 
Crutcher Dunnavant <crutcher at gmail.com>