Template:Subgroup-description setup

Setup
A group $$G$$ equipped with an encoding $$C$$. An abstract subgroup $$H$$ of $$G$$.