Environments for maths and Helios content. Editing up to 4.2/ZK proofs.