Do we have a way of inserting formal logic notation into the wiki-articles? The standard form used by wikipedia doesn't seem to work on these pages. - JStein
