module Plurimath module Math module Symbols class Lnot < Symbol INPUT = { unicodemath: [["¬", "lnot"], parsing_wrapper(["not"])], asciimath: [["not", "¬"], parsing_wrapper(["lnot"])], mathml: ["¬"], latex: [["lnot", "¬"], parsing_wrapper(["not"])], omml: ["¬"], }.freeze # output methods def to_latex "\\lnot" end def to_asciimath "not" 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