Sha256: b80b83ef58bcf6b130c2b4da02c0a99b4aab0eb94dcc75538ed79e1dcc9647a6
Contents?: true
Size: 927 Bytes
Versions: 7
Compression:
Stored size: 927 Bytes
Contents
module Plurimath module Math module Symbols class Models < Symbol INPUT = { unicodemath: [["models", "⊨"], parsing_wrapper(["|==", "vDash"])], asciimath: [["models", "|==", "⊨"], parsing_wrapper(["vDash"])], mathml: ["⊨"], latex: [["vDash", "⊨"], parsing_wrapper(["models", "|=="])], 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
7 entries across 7 versions & 1 rubygems