This is a simple attempt trying to copy some of the behaviour found in LaTex theoremsi system.
>= 3.0.0
Guilherme Nakayama
