Sha256: ae8fb7e0468be1494da8e6ab3e79cd2a8ab04c49d96c8c34aa2653cffc07deb3
Contents?: true
Size: 916 Bytes
Versions: 7
Compression:
Stored size: 916 Bytes
Contents
module Plurimath module Math module Symbols class Exists < Symbol INPUT = { unicodemath: [["bot", "perp", "⊥"], parsing_wrapper(["_|_"])], asciimath: [["_|_", "bot", "⊥"], parsing_wrapper(["perp"])], mathml: ["⊥"], latex: [["bot", "⊥"], parsing_wrapper(["perp", "_|_"])], omml: ["⊥"], html: ["⊥"], }.freeze # output methods def to_latex "\\exists" end def to_asciimath "exists" 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
Version data entries
7 entries across 7 versions & 1 rubygems