=> is getting turned into => in the <twelf> block. Any idea why? Jcreed 18:11, 24 October 2006 (EDT)
It must be something that got changed in the syntax highlighting module, ugh. I am due for another rewriting of that stupid module soon, looks like. — Rob (and his talk) 18:54, 24 October 2006 (EDT)