Environments
All (non *
) environments are numbered on the same counter. Also, the
environments displayed names are set to the langage specified to kappak (see
the langage
option).
% The avaible environments are:
assertion
assertion*
assertions
assertions*
axiom
axiom*
axioms
axioms*
conjecture
conjecture*
conjectures
conjectures*
convention
convention*
conventions
conventions*
corollaries
corollaries*
corollary
corollary*
dedication
definition
definition*
definitions
definitions*
example
example*
examples
examples*
exercise
exercise*
exercises
exercises*
ktheorem
lemma
lemma*
lemmas
lemmas*
notation
notation*
notations
notations*
proof
proofs
properties
properties*
property
property*
proposition
proposition*
propositions
propositions*
question
question*
questions
questions*
remark
remark*
remarks
remarks*
reminder
reminder*
reminders
reminders*
scholia
scholia*
scholias
scholias*
solution
solutions
terminologies
terminologies*
terminology
terminology*
theorem
theorem*
theorems
theorems*