<module math_demo  # This is a small demo…
    <function def binom_coef(n: int, k: int) -> int: ...  # Return the number of…>
    <function def long_formula(): ...  # $$
        \Delta =
        …>
>