added (raw_)antiquotation -- simplified wrapper for defining output commands;
added (raw_)antiquotation -- simplified wrapper for defining output commands;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle