add box for definitions/theorems/...