pub const ACADEMIC: &str = "academic";
Academic extension for theorems, proofs, exercises, algorithms.