module Plurimath module Math module Symbols class Not < Symbol INPUT = { unicodemath: [["neg", "¬"], parsing_wrapper(["not", "lnot"])], asciimath: [["neg", "not", "¬"], parsing_wrapper(["lnot"])], mathml: ["¬"], latex: [["lnot", "neg", "¬"], parsing_wrapper(["not"])], omml: ["¬"], html: ["¬"], }.freeze # output methods def to_latex "\\lnot" end def to_asciimath "neg" end def to_unicodemath Utility.html_entity_to_unicode("¬") end def to_mathml_without_math_tag ox_element("mi") << "¬" end def to_omml_without_math_tag(_) "¬" end def to_html "¬" end end end end end