Error when < appears in description

[BTernaryTau]

If a theorem has the '<' character in its description (such as wlkres), mm-lamp gives the error 'Attribute "style" is not supported.' when displaying the description.

[expln]

For now, as a workaround, you may type < instead of <. This will result in showing < on the Editor tab correctly, but < will be showed in the completed proof, so you'll have to replace it manually if you want to put the proof to an MM database.

I am thinking on how to fix this bug.