Sha256: 923eeb10aec43dae265a0a2742488f3b940d4cc631ef2d8763c7f222fc76327d
Contents?: true
Size: 991 Bytes
Versions: 14
Compression:
Stored size: 991 Bytes
Contents
module Plurimath module Math module Symbols class Exists < Symbol INPUT = { unicodemath: [["bot", "perp", "⊥"], parsing_wrapper(["_|_"], lang: :unicode)], asciimath: [["_|_", "bot", "⊥"], parsing_wrapper(["perp"], lang: :asciimath)], mathml: ["⊥"], latex: [["bot", "⊥"], parsing_wrapper(["perp", "_|_"], lang: :latex)], 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
14 entries across 14 versions & 1 rubygems