/itexToMML

# Some useful additions to the String class

# Copyright (C) 2010, Jacques Distler. All rights reserved.

# Licensed under a triple GPL/MPL/LGPL License.

class String

# Return the number of unicode characters in a string

#

# :call-seq:

#    string.num_chars    -> integer

#

# Because Rails 2.3.5's String#mb_chars.length is broken,

# we provide this method.

#--

if "".respond_to?(:force_encoding)

  def num_chars

    length

  end

else

  def num_chars

    unpack('U*').length

  end

end

#++

# A method to allow byte-oriented operations in both Ruby 1.8 and Ruby 1.9

#

# :call-seq:

#    string.to_utf_8 -> string (with the encoding set to "ASCII-8BIT")

#

# Under 1.8, this is a NOOP. Under 1.9, it sets the encoding to "ASCII-8BIT"

#--

if "".respond_to?(:force_encoding)

  def as_bytes

    force_encoding("ASCII-8BIT")

  end

else

  def as_bytes

    self

  end

end

#++

# A method to allow string-oriented operations in both Ruby 1.8 and Ruby 1.9

#

# :call-seq:

#    string.to_utf_8 -> string (with the encoding set to "UTF-8")

#

# Under 1.8, this is a NOOP. Under 1.9, it sets the encoding to "UTF-8"

#--

if "".respond_to?(:force_encoding)

  def as_utf8

    force_encoding("UTF-8")

  end

else

  def as_utf8

    self

  end

end

#++

# Take a string, and remove any invalid substrings, returning a valid utf-8 string.

#

# :call-seq:

#    string.purify    -> new_string

#

# returns a valid utf-8 string, purged of any subsequences of illegal bytes.

#--

if "".respond_to?(:force_encoding)

  def purify

    text = self.dup.check_ncrs.as_utf8

    text.chars.collect{|c| c.as_bytes}.grep(UTF8_REGEX).join.as_utf8

  end

else

  def purify

    text = check_ncrs

    text.split(//u).grep(UTF8_REGEX).join

  end

end

  def check_ncrs

    text = gsub(/&#[xX]([a-fA-F0-9]+);/) { |m| [$1.hex].pack('U*').as_bytes =~ UTF8_REGEX ? m : '' }

    text.gsub(/&#(\d+);/) { |m| [$1.to_i].pack('U*').as_bytes =~ UTF8_REGEX ? m : '' }

  end

  UTF8_REGEX = /\A(

         [\x09\x0A\x0D\x20-\x7E]            # ASCII

       | [\xC2-\xDF][\x80-\xBF]             # non-overlong 2-byte

       |  \xE0[\xA0-\xBF][\x80-\xBF]        # excluding overlongs

       | [\xE1-\xEC\xEE][\x80-\xBF]{2}      # straight 3-byte

       |  \xEF[\x80-\xBE]{2}                # 

       |  \xEF\xBF[\x80-\xBD]               # excluding U+fffe and U+ffff

       |  \xED[\x80-\x9F][\x80-\xBF]        # excluding surrogates

       |  \xF0[\x90-\xBF][\x80-\xBF]{2}     # planes 1-3

       | [\xF1-\xF3][\x80-\xBF]{3}          # planes 4-15

       |  \xF4[\x80-\x8F][\x80-\xBF]{2}     # plane 16

     )*\Z/nx;

#++

# Check whether a string is valid utf-8

#

# :call-seq:

#    string.is_utf8?    -> boolean

#

# returns true if the sequence of bytes in string is valid utf-8

#--

   def is_utf8?

     #expand NCRs to utf-8

     text = self.check_ncrs.as_bytes

     # You might think this is faster, but it isn't

     #pieces = self.split(/&#[xX]([a-fA-F0-9]+);/)

     #1.step(pieces.length-1, 2) {|i| pieces[i] = [pieces[i].hex].pack('U*')}

     #pieces = pieces.join.split(/&#(\d+);/)

     #1.step(pieces.length-1, 2) {|i| pieces[i] = [pieces[i].to_i].pack('U*')}

     #text = pieces.join

     #ensure the resulting string of bytes is valid utf-8

     text =~ UTF8_REGEX

   end

#:stopdoc: 

  def blank?

    self.dup.as_bytes !~ /\S/

  end

  MATHML_ENTITIES = {

	'Alpha' => 'Α',

	'Beta' => 'Β',

	'Epsilon' => 'Ε',

	'Zeta' => 'Ζ',

	'Eta' => 'Η',

	'Iota' => 'Ι',

	'Kappa' => 'Κ',

	'Mu' => 'Μ',

	'Nu' => 'Ν',

	'Omicron' => 'Ο',

	'Rho' => 'Ρ',

	'Tau' => 'Τ',

	'Chi' => 'Χ',

	'epsilon' => 'ε',

	'zeta' => 'ζ',

	'omicron' => 'ο',

	'sigmaf' => 'ς',

	'thetasym' => 'ϑ',

	'upsih' => 'ϒ',

	'oline' => '‾',

	'frasl' => '⁄',

	'alefsym' => 'ℵ',

	'crarr' => '↵',

	'empty' => '∅',

	'amp' => '&',

	'lt' => '<',

	'zwnj' => '‌',

	'zwj' => '‍',

	'lrm' => '‎',

	'rlm' => '‏',

	'sbquo' => '‚',

	'bdquo' => '„',

	'lsaquo' => '‹',

	'rsaquo' => '›',

	'euro' => '€',

	'angzarr' => '⍼',

	'cirmid' => '⫯',

	'cudarrl' => '⤸',

	'cudarrr' => '⤵',

	'cularr' => '↶',

	'cularrp' => '⤽',

	'curarr' => '↷',

	'curarrm' => '⤼',

	'Darr' => '↡',

	'dArr' => '⇓',

	'ddarr' => '⇊',

	'DDotrahd' => '⤑',

	'dfisht' => '⥿',

	'dHar' => '⥥',

	'dharl' => '⇃',

	'dharr' => '⇂',

	'duarr' => '⇵',

	'duhar' => '⥯',

	'dzigrarr' => '⟿',

	'erarr' => '⥱',

	'hArr' => '⇔',

	'harr' => '↔',

	'harrcir' => '⥈',

	'harrw' => '↭',

	'hoarr' => '⇿',

	'imof' => '⊷',

	'lAarr' => '⇚',

	'Larr' => '↞',

	'larrbfs' => '⤟',

	'larrfs' => '⤝',

	'larrhk' => '↩',

	'larrlp' => '↫',

	'larrpl' => '⤹',

	'larrsim' => '⥳',

	'larrtl' => '↢',

	'lAtail' => '⤛',

	'latail' => '⤙',

	'lBarr' => '⤎',

	'lbarr' => '⤌',

	'ldca' => '⤶',

	'ldrdhar' => '⥧',

	'ldrushar' => '⥋',

	'ldsh' => '↲',

	'lfisht' => '⥼',

	'lHar' => '⥢',

	'lhard' => '↽',

	'lharu' => '↼',

	'lharul' => '⥪',

	'llarr' => '⇇',

	'llhard' => '⥫',

	'loarr' => '⇽',

	'lrarr' => '⇆',

	'lrhar' => '⇋',

	'lrhard' => '⥭',

	'lsh' => '↰',

	'lurdshar' => '⥊',

	'luruhar' => '⥦',

	'Map' => '⤅',

	'map' => '↦',

	'midcir' => '⫰',

	'mumap' => '⊸',

	'nearhk' => '⤤',

	'neArr' => '⇗',

	'nearr' => '↗',

	'nesear' => '⤨',

	'nhArr' => '⇎',

	'nharr' => '↮',

	'nlArr' => '⇍',

	'nlarr' => '↚',

	'nrArr' => '⇏',

	'nrarr' => '↛',

	'nrarrc' => '⤳̸',

	'nrarrw' => '↝̸',

	'nvHarr' => '⤄',

	'nvlArr' => '⤂',

	'nvrArr' => '⤃',

	'nwarhk' => '⤣',

	'nwArr' => '⇖',

	'nwarr' => '↖',

	'nwnear' => '⤧',

	'olarr' => '↺',

	'orarr' => '↻',

	'origof' => '⊶',

	'rAarr' => '⇛',

	'Rarr' => '↠',

	'rarrap' => '⥵',

	'rarrbfs' => '⤠',

	'rarrc' => '⤳',

	'rarrfs' => '⤞',

	'rarrhk' => '↪',

	'rarrlp' => '↬',

	'rarrpl' => '⥅',

	'rarrsim' => '⥴',

	'Rarrtl' => '⤖',

	'rarrtl' => '↣',

	'rarrw' => '↝',

	'rAtail' => '⤜',

	'ratail' => '⤚',

	'RBarr' => '⤐',

	'rBarr' => '⤏',

	'rbarr' => '⤍',

	'rdca' => '⤷',

	'rdldhar' => '⥩',

	'rdsh' => '↳',

	'rfisht' => '⥽',

	'rHar' => '⥤',

	'rhard' => '⇁',

	'rharu' => '⇀',

	'rharul' => '⥬',

	'rlarr' => '⇄',

	'rlhar' => '⇌',

	'roarr' => '⇾',

	'rrarr' => '⇉',

	'rsh' => '↱',

	'ruluhar' => '⥨',

	'searhk' => '⤥',

	'seArr' => '⇘',

	'searr' => '↘',

	'seswar' => '⤩',

	'simrarr' => '⥲',

	'slarr' => '←',

	'srarr' => '→',

	'swarhk' => '⤦',

	'swArr' => '⇙',

	'swarr' => '↙',

	'swnwar' => '⤪',

	'Uarr' => '↟',

	'uArr' => '⇑',

	'Uarrocir' => '⥉',

	'udarr' => '⇅',

	'udhar' => '⥮',

	'ufisht' => '⥾',

	'uHar' => '⥣',

	'uharl' => '↿',

	'uharr' => '↾',

	'uuarr' => '⇈',

	'vArr' => '⇕',

	'varr' => '↕',

	'xhArr' => '⟺',

	'xharr' => '⟷',

	'xlArr' => '⟸',

	'xlarr' => '⟵',

	'xmap' => '⟼',

	'xrArr' => '⟹',

	'xrarr' => '⟶',

	'zigrarr' => '⇝',

	'ac' => '∾',

	'acE' => '∾̳',

	'amalg' => '⨿',

	'barvee' => '⊽',

	'Barwed' => '⌆',

	'barwed' => '⌅',

	'bsolb' => '⧅',

	'Cap' => '⋒',

	'capand' => '⩄',

	'capbrcup' => '⩉',

	'capcap' => '⩋',

	'capcup' => '⩇',

	'capdot' => '⩀',

	'caps' => '∩︀',

	'ccaps' => '⩍',

	'ccups' => '⩌',

	'ccupssm' => '⩐',

	'coprod' => '∐',

	'Cup' => '⋓',

	'cupbrcap' => '⩈',

	'cupcap' => '⩆',

	'cupcup' => '⩊',

	'cupdot' => '⊍',

	'cupor' => '⩅',

	'cups' => '∪︀',

	'cuvee' => '⋎',

	'cuwed' => '⋏',

	'Dagger' => '‡',

	'dagger' => '†',

	'diam' => '⋄',

	'divonx' => '⋇',

	'eplus' => '⩱',

	'hercon' => '⊹',

	'intcal' => '⊺',

	'iprod' => '⨼',

	'loplus' => '⨭',

	'lotimes' => '⨴',

	'lthree' => '⋋',

	'ltimes' => '⋉',

	'midast' => '*',

	'minusb' => '⊟',

	'minusd' => '∸',

	'minusdu' => '⨪',

	'ncap' => '⩃',

	'ncup' => '⩂',

	'oast' => '⊛',

	'ocir' => '⊚',

	'odash' => '⊝',

	'odiv' => '⨸',

	'odot' => '⊙',

	'odsold' => '⦼',

	'ofcir' => '⦿',

	'ogt' => '⧁',

	'ohbar' => '⦵',

	'olcir' => '⦾',

	'olt' => '⧀',

	'omid' => '⦶',

	'ominus' => '⊖',

	'opar' => '⦷',

	'operp' => '⦹',

	'oplus' => '⊕',

	'osol' => '⊘',

	'Otimes' => '⨷',

	'otimes' => '⊗',

	'otimesas' => '⨶',

	'ovbar' => '⌽',

	'plusacir' => '⨣',

	'plusb' => '⊞',

	'pluscir' => '⨢',

	'plusdo' => '∔',

	'plusdu' => '⨥',

	'pluse' => '⩲',

	'plussim' => '⨦',

	'plustwo' => '⨧',

	'prod' => '∏',

	'race' => '∽̱',

	'roplus' => '⨮',

	'rotimes' => '⨵',

	'rthree' => '⋌',

	'rtimes' => '⋊',

	'sdot' => '⋅',

	'sdotb' => '⊡',

	'setmn' => '∖',

	'simplus' => '⨤',

	'smashp' => '⨳',

	'solb' => '⧄',

	'sqcap' => '⊓',

	'sqcaps' => '⊓︀',

	'sqcup' => '⊔',

	'sqcups' => '⊔︀',

	'ssetmn' => '∖',

	'sstarf' => '⋆',

	'subdot' => '⪽',

	'sum' => '∑',

	'supdot' => '⪾',

	'timesb' => '⊠',

	'timesbar' => '⨱',

	'timesd' => '⨰',

	'tridot' => '◬',

	'triminus' => '⨺',

	'triplus' => '⨹',

	'trisb' => '⧍',

	'tritime' => '⨻',

	'uplus' => '⊎',

	'veebar' => '⊻',

	'wedbar' => '⩟',

	'wreath' => '≀',

	'xcap' => '⋂',

	'xcirc' => '◯',

	'xcup' => '⋃',

	'xdtri' => '▽',

	'xodot' => '⨀',

	'xoplus' => '⨁',

	'xotime' => '⨂',

	'xsqcup' => '⨆',

	'xuplus' => '⨄',

	'xutri' => '△',

	'xvee' => '⋁',

	'xwedge' => '⋀',

	'dlcorn' => '⌞',

	'drcorn' => '⌟',

	'gtlPar' => '⦕',

	'langd' => '⦑',

	'lbrke' => '⦋',

	'lbrksld' => '⦏',

	'lbrkslu' => '⦍',

	'lceil' => '⌈',

	'lfloor' => '⌊',

	'lmoust' => '⎰',

	'lparlt' => '⦓',

	'ltrPar' => '⦖',

	'rangd' => '⦒',

	'rbrke' => '⦌',

	'rbrksld' => '⦎',

	'rbrkslu' => '⦐',

	'rceil' => '⌉',

	'rfloor' => '⌋',

	'rmoust' => '⎱',

	'rpargt' => '⦔',

	'ulcorn' => '⌜',

	'urcorn' => '⌝',

	'gnap' => '⪊',

	'gnE' => '≩',

	'gne' => '⪈',

	'gnsim' => '⋧',

	'gvnE' => '≩︀',

	'lnap' => '⪉',

	'lnE' => '≨',

	'lne' => '⪇',

	'lnsim' => '⋦',

	'lvnE' => '≨︀',

	'nap' => '≉',

	'napE' => '⩰̸',

	'napid' => '≋̸',

	'ncong' => '≇',

	'ncongdot' => '⩭̸',

	'nequiv' => '≢',

	'ngE' => '≧̸',

	'nge' => '≱',

	'nges' => '⩾̸',

	'nGg' => '⋙̸',

	'ngsim' => '≵',

	'nGt' => '≫⃒',

	'ngt' => '≯',

	'nGtv' => '≫̸',

	'nlE' => '≦̸',

	'nle' => '≰',

	'nles' => '⩽̸',

	'nLl' => '⋘̸',

	'nlsim' => '≴',

	'nLt' => '≪⃒',

	'nlt' => '≮',

	'nltri' => '⋪',

	'nltrie' => '⋬',

	'nLtv' => '≪̸',

	'nmid' => '∤',

	'npar' => '∦',

	'npr' => '⊀',

	'nprcue' => '⋠',

	'npre' => '⪯̸',

	'nrtri' => '⋫',

	'nrtrie' => '⋭',

	'nsc' => '⊁',

	'nsccue' => '⋡',

	'nsce' => '⪰̸',

	'nsim' => '≁',

	'nsime' => '≄',

	'nsmid' => '∤',

	'nspar' => '∦',

	'nsqsube' => '⋢',

	'nsqsupe' => '⋣',

	'nsub' => '⊄',

	'nsubE' => '⫅̸',

	'nsube' => '⊈',

	'nsup' => '⊅',

	'nsupE' => '⫆̸',

	'nsupe' => '⊉',

	'ntgl' => '≹',

	'ntlg' => '≸',

	'nvap' => '≍⃒',

	'nVDash' => '⊯',

	'nVdash' => '⊮',

	'nvDash' => '⊭',

	'nvdash' => '⊬',

	'nvge' => '≥⃒',

	'nvgt' => '>⃒',

	'nvle' => '≤⃒',

	'nvltrie' => '⊴⃒',

	'nvrtrie' => '⊵⃒',

	'nvsim' => '∼⃒',

	'parsim' => '⫳',

	'prnap' => '⪹',

	'prnE' => '⪵',

	'prnsim' => '⋨',

	'rnmid' => '⫮',

	'scnap' => '⪺',

	'scnE' => '⪶',

	'scnsim' => '⋩',

	'simne' => '≆',

	'solbar' => '⌿',

	'subnE' => '⫋',

	'subne' => '⊊',

	'supnE' => '⫌',

	'supne' => '⊋',

	'vnsub' => '⊂⃒',

	'vnsup' => '⊃⃒',

	'vsubnE' => '⫋︀',

	'vsubne' => '⊊︀',

	'vsupnE' => '⫌︀',

	'vsupne' => '⊋︀',

	'ang' => '∠',

	'ange' => '⦤',

	'angmsd' => '∡',

	'angmsdaa' => '⦨',

	'angmsdab' => '⦩',

	'angmsdac' => '⦪',

	'angmsdad' => '⦫',

	'angmsdae' => '⦬',

	'angmsdaf' => '⦭',

	'angmsdag' => '⦮',

	'angmsdah' => '⦯',

	'angrtvb' => '⊾',

	'angrtvbd' => '⦝',

	'bbrk' => '⎵',

	'bbrktbrk' => '⎶',

	'bemptyv' => '⦰',

	'beth' => 'ℶ',

	'boxbox' => '⧉',

	'bprime' => '‵',

	'bsemi' => '⁏',

	'cemptyv' => '⦲',

	'cirE' => '⧃',

	'cirscir' => '⧂',

	'comp' => '∁',

	'daleth' => 'ℸ',

	'demptyv' => '⦱',

	'ell' => 'ℓ',

	'empty' => '∅',

	'emptyv' => '∅',

	'gimel' => 'ℷ',

	'iiota' => '℩',

	'image' => 'ℑ',

	'imath' => 'ı',

	'jmath' => 'ȷ',

	'laemptyv' => '⦴',

	'lltri' => '◺',

	'lrtri' => '⊿',

	'mho' => '℧',

	'nang' => '∠⃒',

	'nexist' => '∄',

	'oS' => 'Ⓢ',

	'planck' => 'ℏ',

	'plankv' => 'ℏ',

	'raemptyv' => '⦳',

	'range' => '⦥',

	'real' => 'ℜ',

	'tbrk' => '⎴',

	'trpezium' => '⏢',

	'ultri' => '◸',

	'urtri' => '◹',

	'vzigzag' => '⦚',

	'weierp' => '℘',

	'apE' => '⩰',

	'ape' => '≊',

	'apid' => '≋',

	'asymp' => '≈',

	'Barv' => '⫧',

	'bcong' => '≌',

	'bepsi' => '϶',

	'bowtie' => '⋈',

	'bsim' => '∽',

	'bsime' => '⋍',

	'bsolhsub' => '⟈',

	'bump' => '≎',

	'bumpE' => '⪮',

	'bumpe' => '≏',

	'cire' => '≗',

	'Colon' => '∷',

	'Colone' => '⩴',

	'colone' => '≔',

	'congdot' => '⩭',

	'csub' => '⫏',

	'csube' => '⫑',

	'csup' => '⫐',

	'csupe' => '⫒',

	'cuepr' => '⋞',

	'cuesc' => '⋟',

	'Dashv' => '⫤',

	'dashv' => '⊣',

	'easter' => '⩮',

	'ecir' => '≖',

	'ecolon' => '≕',

	'eDDot' => '⩷',

	'eDot' => '≑',

	'efDot' => '≒',

	'eg' => '⪚',

	'egs' => '⪖',

	'egsdot' => '⪘',

	'el' => '⪙',

	'els' => '⪕',

	'elsdot' => '⪗',

	'equest' => '≟',

	'equivDD' => '⩸',

	'erDot' => '≓',

	'esdot' => '≐',

	'Esim' => '⩳',

	'esim' => '≂',

	'fork' => '⋔',

	'forkv' => '⫙',

	'frown' => '⌢',

	'gap' => '⪆',

	'gE' => '≧',

	'gEl' => '⪌',

	'gel' => '⋛',

	'ges' => '⩾',

	'gescc' => '⪩',

	'gesdot' => '⪀',

	'gesdoto' => '⪂',

	'gesdotol' => '⪄',

	'gesl' => '⋛︀',

	'gesles' => '⪔',

	'Gg' => '⋙',

	'gl' => '≷',

	'gla' => '⪥',

	'glE' => '⪒',

	'glj' => '⪤',

	'gsim' => '≳',

	'gsime' => '⪎',

	'gsiml' => '⪐',

	'Gt' => '≫',

	'gtcc' => '⪧',

	'gtcir' => '⩺',

	'gtdot' => '⋗',

	'gtquest' => '⩼',

	'gtrarr' => '⥸',

	'homtht' => '∻',

	'lap' => '⪅',

	'lat' => '⪫',

	'late' => '⪭',

	'lates' => '⪭︀',

	'lE' => '≦',

	'lEg' => '⪋',

	'leg' => '⋚',

	'les' => '⩽',

	'lescc' => '⪨',

	'lesdot' => '⩿',

	'lesdoto' => '⪁',

	'lesdotor' => '⪃',

	'lesg' => '⋚︀',

	'lesges' => '⪓',

	'lg' => '≶',

	'lgE' => '⪑',

	'Ll' => '⋘',

	'lsim' => '≲',

	'lsime' => '⪍',

	'lsimg' => '⪏',

	'Lt' => '≪',

	'ltcc' => '⪦',

	'ltcir' => '⩹',

	'ltdot' => '⋖',

	'ltlarr' => '⥶',

	'ltquest' => '⩻',

	'ltrie' => '⊴',

	'mcomma' => '⨩',

	'mDDot' => '∺',

	'mid' => '∣',

	'mlcp' => '⫛',

	'models' => '⊧',

	'mstpos' => '∾',

	'Pr' => '⪻',

	'pr' => '≺',

	'prap' => '⪷',

	'prcue' => '≼',

	'prE' => '⪳',

	'pre' => '⪯',

	'prsim' => '≾',

	'prurel' => '⊰',

	'ratio' => '∶',

	'rtrie' => '⊵',

	'rtriltri' => '⧎',

	'Sc' => '⪼',

	'sc' => '≻',

	'scap' => '⪸',

	'sccue' => '≽',

	'scE' => '⪴',

	'sce' => '⪰',

	'scsim' => '≿',

	'sdote' => '⩦',

	'sfrown' => '⌢',

	'simg' => '⪞',

	'simgE' => '⪠',

	'siml' => '⪝',

	'simlE' => '⪟',

	'smid' => '∣',

	'smile' => '⌣',

	'smt' => '⪪',

	'smte' => '⪬',

	'smtes' => '⪬︀',

	'spar' => '∥',

	'sqsub' => '⊏',

	'sqsube' => '⊑',

	'sqsup' => '⊐',

	'sqsupe' => '⊒',

	'ssmile' => '⌣',

	'Sub' => '⋐',

	'subE' => '⫅',

	'subedot' => '⫃',

	'submult' => '⫁',

	'subplus' => '⪿',

	'subrarr' => '⥹',

	'subsim' => '⫇',

	'subsub' => '⫕',

	'subsup' => '⫓',

	'Sup' => '⋑',

	'supdsub' => '⫘',

	'supE' => '⫆',

	'supedot' => '⫄',

	'suphsol' => '⟉',

	'suphsub' => '⫗',

	'suplarr' => '⥻',

	'supmult' => '⫂',

	'supplus' => '⫀',

	'supsim' => '⫈',

	'supsub' => '⫔',

	'supsup' => '⫖',

	'thkap' => '≈',

	'thksim' => '∼',

	'topfork' => '⫚',

	'trie' => '≜',

	'twixt' => '≬',

	'Vbar' => '⫫',

	'vBar' => '⫨',

	'vBarv' => '⫩',

	'VDash' => '⊫',

	'Vdash' => '⊩',

	'vDash' => '⊨',

	'vdash' => '⊢',

	'Vdashl' => '⫦',

	'vltri' => '⊲',

	'vprop' => '∝',

	'vrtri' => '⊳',

	'Vvdash' => '⊪',

	'alpha' => 'α',

	'beta' => 'β',

	'chi' => 'χ',

	'Delta' => 'Δ',

	'delta' => 'δ',

	'epsi' => 'ϵ',

	'epsiv' => 'ϵ',

	'eta' => 'η',

	'Gamma' => 'Γ',

	'gamma' => 'γ',

	'Gammad' => 'Ϝ',

	'gammad' => 'ϝ',

	'iota' => 'ι',

	'kappa' => 'κ',

	'kappav' => 'ϰ',

	'Lambda' => 'Λ',

	'lambda' => 'λ',

	'mu' => 'μ',

	'nu' => 'ν',

	'Omega' => 'Ω',

	'omega' => 'ω',

	'phgr' => 'φ',

	'Phi' => 'Φ',

	'phi' => 'φ',

	'phis' => 'ϕ',

	'phiv' => 'ϕ',

	'Pi' => 'Π',

	'pi' => 'π',

	'piv' => 'ϖ',

	'Psi' => 'Ψ',

	'psi' => 'ψ',

	'rho' => 'ρ',

	'rhov' => 'ϱ',

	'Sigma' => 'Σ',

	'sigma' => 'σ',

	'sigmav' => 'ς',

	'tau' => 'τ',

	'Theta' => 'Θ',

	'theta' => 'θ',

	'thetav' => 'ϑ',

	'Upsi' => 'ϒ',

	'upsi' => 'υ',

	'Xi' => 'Ξ',

	'xi' => 'ξ',

	'zeta' => 'ζ',

	'Afr' => '𝔄',

	'afr' => '𝔞',

	'Bfr' => '𝔅',

	'bfr' => '𝔟',

	'Cfr' => 'ℭ',

	'cfr' => '𝔠',

	'Dfr' => '𝔇',

	'dfr' => '𝔡',

	'Efr' => '𝔈',

	'efr' => '𝔢',

	'Ffr' => '𝔉',

	'ffr' => '𝔣',

	'Gfr' => '𝔊',

	'gfr' => '𝔤',

	'Hfr' => 'ℌ',

	'hfr' => '𝔥',

	'Ifr' => 'ℑ',

	'ifr' => '𝔦',

	'Jfr' => '𝔍',

	'jfr' => '𝔧',

	'Kfr' => '𝔎',

	'kfr' => '𝔨',

	'Lfr' => '𝔏',

	'lfr' => '𝔩',

	'Mfr' => '𝔐',

	'mfr' => '𝔪',

	'Nfr' => '𝔑',

	'nfr' => '𝔫',

	'Ofr' => '𝔒',

	'ofr' => '𝔬',

	'Pfr' => '𝔓',

	'pfr' => '𝔭',

	'Qfr' => '𝔔',

	'qfr' => '𝔮',

	'Rfr' => 'ℜ',

	'rfr' => '𝔯',

	'Sfr' => '𝔖',

	'sfr' => '𝔰',

	'Tfr' => '𝔗',

	'tfr' => '𝔱',

	'Ufr' => '𝔘',

	'ufr' => '𝔲',

	'Vfr' => '𝔙',

	'vfr' => '𝔳',

	'Wfr' => '𝔚',

	'wfr' => '𝔴',

	'Xfr' => '𝔛',

	'xfr' => '𝔵',

	'Yfr' => '𝔜',

	'yfr' => '𝔶',

	'Zfr' => 'ℨ',

	'zfr' => '𝔷',

	'Aopf' => '𝔸',

	'Bopf' => '𝔹',

	'Copf' => 'ℂ',

	'Dopf' => '𝔻',

	'Eopf' => '𝔼',

	'Fopf' => '𝔽',

	'Gopf' => '𝔾',

	'Hopf' => 'ℍ',

	'Iopf' => '𝕀',

	'Jopf' => '𝕁',

	'Kopf' => '𝕂',

	'Lopf' => '𝕃',

	'Mopf' => '𝕄',

	'Nopf' => 'ℕ',

	'Oopf' => '𝕆',

	'Popf' => 'ℙ',

	'Qopf' => 'ℚ',

	'Ropf' => 'ℝ',

	'Sopf' => '𝕊',

	'Topf' => '𝕋',

	'Uopf' => '𝕌',

	'Vopf' => '𝕍',

	'Wopf' => '𝕎',

	'Xopf' => '𝕏',

	'Yopf' => '𝕐',

	'Zopf' => 'ℤ',

	'Ascr' => '𝒜',

	'ascr' => '𝒶',

	'Bscr' => 'ℬ',

	'bscr' => '𝒷',

	'Cscr' => '𝒞',

	'cscr' => '𝒸',

	'Dscr' => '𝒟',

	'dscr' => '𝒹',

	'Escr' => 'ℰ',

	'escr' => 'ℯ',

	'Fscr' => 'ℱ',

	'fscr' => '𝒻',

	'Gscr' => '𝒢',

	'gscr' => 'ℊ',

	'Hscr' => 'ℋ',

	'hscr' => '𝒽',

	'Iscr' => 'ℐ',

	'iscr' => '𝒾',

	'Jscr' => '𝒥',

	'jscr' => '𝒿',

	'Kscr' => '𝒦',

	'kscr' => '𝓀',

	'Lscr' => 'ℒ',

	'lscr' => '𝓁',

	'Mscr' => 'ℳ',

	'mscr' => '𝓂',

	'Nscr' => '𝒩',

	'nscr' => '𝓃',

	'Oscr' => '𝒪',

	'oscr' => 'ℴ',

	'Pscr' => '𝒫',

	'pscr' => '𝓅',

	'Qscr' => '𝒬',

	'qscr' => '𝓆',

	'Rscr' => 'ℛ',

	'rscr' => '𝓇',

	'Sscr' => '𝒮',

	'sscr' => '𝓈',

	'Tscr' => '𝒯',

	'tscr' => '𝓉',

	'Uscr' => '𝒰',

	'uscr' => '𝓊',

	'Vscr' => '𝒱',

	'vscr' => '𝓋',

	'Wscr' => '𝒲',

	'wscr' => '𝓌',

	'Xscr' => '𝒳',

	'xscr' => '𝓍',

	'Yscr' => '𝒴',

	'yscr' => '𝓎',

	'Zscr' => '𝒵',

	'zscr' => '𝓏',

	'acd' => '∿',

	'aleph' => 'ℵ',

	'And' => '⩓',

	'and' => '∧',

	'andand' => '⩕',

	'andd' => '⩜',

	'andslope' => '⩘',

	'andv' => '⩚',

	'angrt' => '∟',

	'angsph' => '∢',

	'angst' => 'Å',

	'ap' => '≈',

	'apacir' => '⩯',

	'awconint' => '∳',

	'awint' => '⨑',

	'becaus' => '∵',

	'bernou' => 'ℬ',

	'bne' => '=⃥',

	'bnequiv' => '≡⃥',

	'bNot' => '⫭',

	'bnot' => '⌐',

	'bottom' => '⊥',

	'cap' => '∩',

	'Cconint' => '∰',

	'cirfnint' => '⨐',

	'compfn' => '∘',

	'cong' => '≅',

	'Conint' => '∯',

	'conint' => '∮',

	'ctdot' => '⋯',

	'cup' => '∪',

	'cwconint' => '∲',

	'cwint' => '∱',

	'cylcty' => '⌭',

	'disin' => '⋲',

	'Dot' => '¨',

	'DotDot' => '⃜',

	'dsol' => '⧶',

	'dtdot' => '⋱',

	'dwangle' => '⦦',

	'elinters' => '⏧',

	'epar' => '⋕',

	'eparsl' => '⧣',

	'equiv' => '≡',

	'eqvparsl' => '⧥',

	'exist' => '∃',

	'fltns' => '▱',

	'fnof' => 'ƒ',

	'forall' => '∀',

	'fpartint' => '⨍',

	'ge' => '≥',

	'hamilt' => 'ℋ',

	'iff' => '⇔',

	'iinfin' => '⧜',

	'imped' => 'Ƶ',

	'infin' => '∞',

	'infintie' => '⧝',

	'Int' => '∬',

	'int' => '∫',

	'intlarhk' => '⨗',

	'isin' => '∈',

	'isindot' => '⋵',

	'isinE' => '⋹',

	'isins' => '⋴',

	'isinsv' => '⋳',

	'isinv' => '∈',

	'lagran' => 'ℒ',

	'Lang' => '⟪',

	'lang' => '⟨',

	'lArr' => '⇐',

	'lbbrk' => '❲',

	'le' => '≤',

	'loang' => '⟬',

	'lobrk' => '⟦',

	'lopar' => '⦅',

	'lowast' => '∗',

	'minus' => '−',

	'mnplus' => '∓',

	'nabla' => '∇',

	'ne' => '≠',

	'nedot' => '≐̸',

	'nhpar' => '⫲',

	'ni' => '∋',

	'nis' => '⋼',

	'nisd' => '⋺',

	'niv' => '∋',

	'Not' => '⫬',

	'notin' => '∉',

	'notindot' => '⋵̸',

	'notinE' => '⋹̸',

	'notinva' => '∉',

	'notinvb' => '⋷',

	'notinvc' => '⋶',

	'notni' => '∌',

	'notniva' => '∌',

	'notnivb' => '⋾',

	'notnivc' => '⋽',

	'nparsl' => '⫽⃥',

	'npart' => '∂̸',

	'npolint' => '⨔',

	'nvinfin' => '⧞',

	'olcross' => '⦻',

	'Or' => '⩔',

	'or' => '∨',

	'ord' => '⩝',

	'order' => 'ℴ',

	'oror' => '⩖',

	'orslope' => '⩗',

	'orv' => '⩛',

	'par' => '∥',

	'parsl' => '⫽',

	'part' => '∂',

	'permil' => '‰',

	'perp' => '⊥',

	'pertenk' => '‱',

	'phmmat' => 'ℳ',

	'pointint' => '⨕',

	'Prime' => '″',

	'prime' => '′',

	'profalar' => '⌮',

	'profline' => '⌒',

	'profsurf' => '⌓',

	'prop' => '∝',

	'qint' => '⨌',

	'qprime' => '⁗',

	'quatint' => '⨖',

	'radic' => '√',

	'Rang' => '⟫',

	'rang' => '⟩',

	'rArr' => '⇒',

	'rbbrk' => '❳',

	'roang' => '⟭',

	'robrk' => '⟧',

	'ropar' => '⦆',

	'rppolint' => '⨒',

	'scpolint' => '⨓',

	'sim' => '∼',

	'simdot' => '⩪',

	'sime' => '≃',

	'smeparsl' => '⧤',

	'square' => '□',

	'squarf' => '▪',

	'strns' => '¯',

	'sub' => '⊂',

	'sube' => '⊆',

	'sup' => '⊃',

	'supe' => '⊇',

	'tdot' => '⃛',

	'there4' => '∴',

	'tint' => '∭',

	'top' => '⊤',

	'topbot' => '⌶',

	'topcir' => '⫱',

	'tprime' => '‴',

	'utdot' => '⋰',

	'uwangle' => '⦧',

	'vangrt' => '⦜',

	'veeeq' => '≚',

	'Verbar' => '‖',

	'wedgeq' => '≙',

	'xnis' => '⋻',

	'boxDL' => '╗',

	'boxDl' => '╖',

	'boxdL' => '╕',

	'boxdl' => '┐',

	'boxDR' => '╔',

	'boxDr' => '╓',

	'boxdR' => '╒',

	'boxdr' => '┌',

	'boxH' => '═',

	'boxh' => '─',

	'boxHD' => '╦',

	'boxHd' => '╤',

	'boxhD' => '╥',

	'boxhd' => '┬',

	'boxHU' => '╩',

	'boxHu' => '╧',

	'boxhU' => '╨',

	'boxhu' => '┴',

	'boxUL' => '╝',

	'boxUl' => '╜',

	'boxuL' => '╛',

	'boxul' => '┘',

	'boxUR' => '╚',

	'boxUr' => '╙',

	'boxuR' => '╘',

	'boxur' => '└',

	'boxV' => '║',

	'boxv' => '│',

	'boxVH' => '╬',

	'boxVh' => '╫',

	'boxvH' => '╪',

	'boxvh' => '┼',

	'boxVL' => '╣',

	'boxVl' => '╢',

	'boxvL' => '╡',

	'boxvl' => '┤',

	'boxVR' => '╠',

	'boxVr' => '╟',

	'boxvR' => '╞',

	'boxvr' => '├',

	'Acy' => 'А',

	'acy' => 'а',

	'Bcy' => 'Б',

	'bcy' => 'б',

	'CHcy' => 'Ч',

	'chcy' => 'ч',

	'Dcy' => 'Д',

	'dcy' => 'д',

	'Ecy' => 'Э',

	'ecy' => 'э',

	'Fcy' => 'Ф',

	'fcy' => 'ф',

	'Gcy' => 'Г',

	'gcy' => 'г',

	'HARDcy' => 'Ъ',

	'hardcy' => 'ъ',

	'Icy' => 'И',

	'icy' => 'и',

	'IEcy' => 'Е',

	'iecy' => 'е',

	'IOcy' => 'Ё',

	'iocy' => 'ё',

	'Jcy' => 'Й',

	'jcy' => 'й',

	'Kcy' => 'К',

	'kcy' => 'к',

	'KHcy' => 'Х',

	'khcy' => 'х',

	'Lcy' => 'Л',

	'lcy' => 'л',

	'Mcy' => 'М',

	'mcy' => 'м',

	'Ncy' => 'Н',

	'ncy' => 'н',

	'numero' => '№',

	'Ocy' => 'О',

	'ocy' => 'о',

	'Pcy' => 'П',

	'pcy' => 'п',

	'Rcy' => 'Р',

	'rcy' => 'р',

	'Scy' => 'С',

	'scy' => 'с',

	'SHCHcy' => 'Щ',

	'shchcy' => 'щ',

	'SHcy' => 'Ш',

	'shcy' => 'ш',

	'SOFTcy' => 'Ь',

	'softcy' => 'ь',

	'Tcy' => 'Т',

	'tcy' => 'т',

	'TScy' => 'Ц',

	'tscy' => 'ц',

	'Ucy' => 'У',

	'ucy' => 'у',

	'Vcy' => 'В',

	'vcy' => 'в',

	'YAcy' => 'Я',

	'yacy' => 'я',

	'Ycy' => 'Ы',

	'ycy' => 'ы',

	'YUcy' => 'Ю',

	'yucy' => 'ю',

	'Zcy' => 'З',

	'zcy' => 'з',

	'ZHcy' => 'Ж',

	'zhcy' => 'ж',

	'DJcy' => 'Ђ',

	'djcy' => 'ђ',

	'DScy' => 'Ѕ',

	'dscy' => 'ѕ',

	'DZcy' => 'Џ',

	'dzcy' => 'џ',

	'GJcy' => 'Ѓ',

	'gjcy' => 'ѓ',

	'Iukcy' => 'І',

	'iukcy' => 'і',

	'Jsercy' => 'Ј',

	'jsercy' => 'ј',

	'Jukcy' => 'Є',

	'jukcy' => 'є',

	'KJcy' => 'Ќ',

	'kjcy' => 'ќ',

	'LJcy' => 'Љ',

	'ljcy' => 'љ',

	'NJcy' => 'Њ',

	'njcy' => 'њ',

	'TSHcy' => 'Ћ',

	'tshcy' => 'ћ',

	'Ubrcy' => 'Ў',

	'ubrcy' => 'ў',

	'YIcy' => 'Ї',

	'yicy' => 'ї',

	'acute' => '´',

	'breve' => '˘',

	'caron' => 'ˇ',

	'cedil' => '¸',

	'circ' => 'ˆ',

	'dblac' => '˝',

	'die' => '¨',

	'dot' => '˙',

	'grave' => '`',

	'macr' => '¯',

	'ogon' => '˛',

	'ring' => '˚',

	'tilde' => '˜',

	'uml' => '¨',

	'Aacute' => 'Á',

	'aacute' => 'á',

	'Acirc' => 'Â',

	'acirc' => 'â',

	'AElig' => 'Æ',

	'aelig' => 'æ',

	'Agrave' => 'À',

	'agrave' => 'à',

	'Aring' => 'Å',

	'aring' => 'å',

	'Atilde' => 'Ã',

	'atilde' => 'ã',

	'Auml' => 'Ä',

	'auml' => 'ä',

	'Ccedil' => 'Ç',

	'ccedil' => 'ç',

	'Eacute' => 'É',

	'eacute' => 'é',

	'Ecirc' => 'Ê',

	'ecirc' => 'ê',

	'Egrave' => 'È',

	'egrave' => 'è',

	'ETH' => 'Ð',

	'eth' => 'ð',

	'Euml' => 'Ë',

	'euml' => 'ë',

	'Iacute' => 'Í',

	'iacute' => 'í',

	'Icirc' => 'Î',

	'icirc' => 'î',

	'Igrave' => 'Ì',

	'igrave' => 'ì',

	'Iuml' => 'Ï',

	'iuml' => 'ï',

	'Ntilde' => 'Ñ',

	'ntilde' => 'ñ',

	'Oacute' => 'Ó',

	'oacute' => 'ó',

	'Ocirc' => 'Ô',

	'ocirc' => 'ô',

	'Ograve' => 'Ò',

	'ograve' => 'ò',

	'Oslash' => 'Ø',

	'oslash' => 'ø',

	'Otilde' => 'Õ',

	'otilde' => 'õ',

	'Ouml' => 'Ö',

	'ouml' => 'ö',

	'szlig' => 'ß',

	'THORN' => 'Þ',

	'thorn' => 'þ',

	'Uacute' => 'Ú',

	'uacute' => 'ú',

	'Ucirc' => 'Û',

	'ucirc' => 'û',

	'Ugrave' => 'Ù',

	'ugrave' => 'ù',

	'Uuml' => 'Ü',

	'uuml' => 'ü',

	'Yacute' => 'Ý',

	'yacute' => 'ý',

	'yuml' => 'ÿ',

	'Abreve' => 'Ă',

	'abreve' => 'ă',

	'Amacr' => 'Ā',

	'amacr' => 'ā',

	'Aogon' => 'Ą',

	'aogon' => 'ą',

	'Cacute' => 'Ć',

	'cacute' => 'ć',

	'Ccaron' => 'Č',

	'ccaron' => 'č',