[hwa] Add a To disprove: makro
Similar to the \toShow and \proof makros there should be a \toDisprove makro which results in an equally highlighted intro.
Similar to the \toShow and \proof makros there should be a \toDisprove makro which results in an equally highlighted intro.