Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
People want to know if it is possible to create a new formal environment Axiom analogous to the existing environments Definition , Theorem , Proof , etc.
Does anyone know?
Yes it is. There's instructions over at the instiki instiki http://golem.ph.utexas.edu/wiki/instiki/show/Theorems. The CSS stuff is simple, the latex exporter needs a little technical jiggery-pokery but that would be easy to do.
Thanks, Andrew.
(I wish I could edit the titles of my posts. I keep making silly typos in the titles, which is embarrassing. )
You don't really need a new environment unless you want them counted separately. Just write
+-- {: .num_defn}
###### Axiom
(most important axiom)
Everything that I want to prove is true.
=--
(for example).
<div>
<blockquote>Everything that I want to prove is true.<br/></blockquote><br/><br/>If everything you want to prove is true, then you shouldn't need to prove it! :-)
</div>
1 to 5 of 5