Explore >> Select a destination


You are here

www.logicmatters.net
| | phloxgroup.wordpress.com
5.4 parsecs away

Travel
| | Recently I had to typeset a natural deduction argument in $latex \LaTeX$. I looked around for a package that does it, but couldn't find any (which doesn't mean that it's not there somewhere). So, I wrote one myself. It doesn't do fancy things, but at least it figures out the width the various columns should...
| | lucatrevisan.wordpress.com
8.4 parsecs away

Travel
| | [Download] [Using LaTeX2WP] LaTeX2WP is a program that converts a LaTeX file into something that is ready to be cut and pasted into WordPress. This way, you can write, and preview, your post in LaTeX, then run LaTeX2WP, and post into WordPress whatever comes out. Why would you want to do that? Most users of...
| | castingoutnines.wordpress.com
7.2 parsecs away

Travel
| | Over the weekend a minor smack-talk session opened up on Twitter between Maria Andersen and about half a dozen other math people about MathType versus $latex \LaTeX$. Maria is on record as being pro-MathType and yesterday she claimed that $latex \LaTeX$ is "not intuitive to learn". I warned her that a pro-$latex \LaTeX$ blog post...
| | johnmaconline.com
34.3 parsecs away

Travel
| You need both hammers and nails.