Running maruku -i itex on the input
\begin{c}\label{DoubleNegationMonad}
\end{d}
\begin{proof}
Immediate from \ref{Monads}
raises an exception:
maruku/ext/math/parsing.rb:114:in `block in <top (required)>': undefined method `captures' for nil:NilClass (NoMethodError)