Sha256: 47d839605e56d9e38ed0b8afe11cf24d7fece9948c58cec2f1d3107b416ba25e
Contents?: true
Size: 1002 Bytes
Versions: 10
Compression:
Stored size: 1002 Bytes
Contents
module Plurimath module Math module Symbols class Models < Symbol INPUT = { unicodemath: [["models", "⊨"], parsing_wrapper(["|==", "vDash"], lang: :unicode)], asciimath: [["models", "|==", "⊨"], parsing_wrapper(["vDash"], lang: :asciimath)], mathml: ["⊨"], latex: [["vDash", "⊨"], parsing_wrapper(["models", "|=="], lang: :latex)], omml: ["⊨"], html: ["⊨"], }.freeze # output methods def to_latex(**) "\\vDash" end def to_asciimath(**) "models" 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
10 entries across 10 versions & 1 rubygems