% utf8.sty
% Automatically generated by makeutf8
% from utf8.table. Generated Mon Dec 31 17:02:19 EST 2012
% makeutf8 written by Andrew Myers, August 2007.

\NeedsTeXFormat{LaTeX2e}[2.09]
\ProvidesPackage{utf8}[2012/03/09 v1.2 UTF-8 style file]

\def\utf@unrecog{\ensuremath{\Box}\@gobble}
\catcode`\�=12% 80
\catcode`\�=12% 81
\catcode`\�=12% 82
\catcode`\�=12% 83
\catcode`\�=12% 84
\catcode`\�=12% 85
\catcode`\�=12% 86
\catcode`\�=12% 87
\catcode`\�=12% 88
\catcode`\�=12% 89
\catcode`\�=12% 8a
\catcode`\�=12% 8b
\catcode`\�=12% 8c
\catcode`\�=12% 8d
\catcode`\�=12% 8e
\catcode`\�=12% 8f
\catcode`\�=12% 90
\catcode`\�=12% 91
\catcode`\�=12% 92
\catcode`\�=12% 93
\catcode`\�=12% 94
\catcode`\�=12% 95
\catcode`\�=12% 96
\catcode`\�=12% 97
\catcode`\�=12% 98
\catcode`\�=12% 99
\catcode`\�=12% 9a
\catcode`\�=12% 9b
\catcode`\�=12% 9c
\catcode`\�=12% 9d
\catcode`\�=12% 9e
\catcode`\�=12% 9f
\catcode`\�=12% a0
\catcode`\�=12% a1
\catcode`\�=12% a2
\catcode`\�=12% a3
\catcode`\�=12% a4
\catcode`\�=12% a5
\catcode`\�=12% a6
\catcode`\�=12% a7
\catcode`\�=12% a8
\catcode`\�=12% a9
\catcode`\�=12% aa
\catcode`\�=12% ab
\catcode`\�=12% ac
\catcode`\�=12% ad
\catcode`\�=12% ae
\catcode`\�=12% af
\catcode`\�=12% b0
\catcode`\�=12% b1
\catcode`\�=12% b2
\catcode`\�=12% b3
\catcode`\�=12% b4
\catcode`\�=12% b5
\catcode`\�=12% b6
\catcode`\�=12% b7
\catcode`\�=12% b8
\catcode`\�=12% b9
\catcode`\�=12% ba
\catcode`\�=12% bb
\catcode`\�=12% bc
\catcode`\�=12% bd
\catcode`\�=12% be
\catcode`\�=12% bf
\catcode`\�=12% c0
\catcode`\�=12% c1
\catcode`\�=13% c2
\catcode`\�=13% c3
\catcode`\�=13% c4
\catcode`\�=13% c5
\catcode`\�=13% c6
\catcode`\�=13% c7
\catcode`\�=13% c8
\catcode`\�=13% c9
\catcode`\�=13% ca
\catcode`\�=13% cb
\catcode`\�=13% cc
\catcode`\�=13% cd
\catcode`\�=13% ce
\catcode`\�=13% cf
\catcode`\�=13% d0
\catcode`\�=13% d1
\catcode`\�=13% d2
\catcode`\�=13% d3
\catcode`\�=13% d4
\catcode`\�=13% d5
\catcode`\�=13% d6
\catcode`\�=13% d7
\catcode`\�=13% d8
\catcode`\�=13% d9
\catcode`\�=13% da
\catcode`\�=13% db
\catcode`\�=13% dc
\catcode`\�=13% dd
\catcode`\�=13% de
\catcode`\�=13% df
\catcode`\�=13% e0
\catcode`\�=13% e1
\catcode`\�=13% e2
\catcode`\�=13% e3
\catcode`\�=13% e4
\catcode`\�=13% e5
\catcode`\�=13% e6
\catcode`\�=13% e7
\catcode`\�=13% e8
\catcode`\�=13% e9
\catcode`\�=13% ea
\catcode`\�=13% eb
\catcode`\�=13% ec
\catcode`\�=13% ed
\catcode`\�=13% ee
\catcode`\�=13% ef
\catcode`\�=13% f0
\catcode`\�=13% f1
\catcode`\�=13% f2
\catcode`\�=13% f3
\catcode`\�=13% f4
\catcode`\�=13% f5
\catcode`\�=13% f6
\catcode`\�=13% f7
\catcode`\�=13% f8
\catcode`\�=13% f9
\catcode`\�=13% fa
\catcode`\�=13% fb
\catcode`\�=13% fc
\catcode`\�=13% fd
\catcode`\�=13% fe
\catcode`\�=13% ff
\def �{%
  \@ifnextchar �{~\@gobble}{%
  \@ifnextchar �{{!`}\@gobble}{%
  \@ifnextchar �{\textcent\@gobble}{%
  \@ifnextchar �{\pounds\@gobble}{%
  \@ifnextchar �{\textcurrency\@gobble}{%
  \@ifnextchar �{\textyen\@gobble}{%
  \@ifnextchar �{\textbrokenbar\@gobble}{%
  \@ifnextchar �{\S\@gobble}{%
  \@ifnextchar �{\"{}\@gobble}{%
  \@ifnextchar �{\copyright\@gobble}{%
  \@ifnextchar �{\textordfeminine\@gobble}{%
  \@ifnextchar �{\guillemotleft\@gobble}{%
  \@ifnextchar �{\ensuremath{\neg}\@gobble}{%
  \@ifnextchar �{\-\@gobble}{%
  \@ifnextchar �{\circledR\@gobble}{%
  \@ifnextchar �{\ensuremath{^\circ}\@gobble}{%
  \@ifnextchar �{\ensuremath{\pm}\@gobble}{%
  \@ifnextchar �{\ensuremath{^2}\@gobble}{%
  \@ifnextchar �{\ensuremath{^3}\@gobble}{%
  \@ifnextchar �{\'{}\@gobble}{%
  \@ifnextchar �{\ensuremath{\mu}\@gobble}{%
  \@ifnextchar �{\P\@gobble}{%
  \@ifnextchar �{\ensuremath{\cdot}\@gobble}{%
  \@ifnextchar �{\c{}\@gobble}{%
  \@ifnextchar �{\ensuremath{^1}\@gobble}{%
  \@ifnextchar �{\textordmasculine\@gobble}{%
  \@ifnextchar �{\guillemotright\@gobble}{%
  \@ifnextchar �{\ensuremath{{1\over 4}}\@gobble}{%
  \@ifnextchar �{\ensuremath{{1\over 2}}\@gobble}{%
  \@ifnextchar �{\ensuremath{{3\over 4}}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}

\def �{%
  \@ifnextchar �{\`{A}\@gobble}{%
  \@ifnextchar �{\'{A}\@gobble}{%
  \@ifnextchar �{\^{A}\@gobble}{%
  \@ifnextchar �{\~{A}\@gobble}{%
  \@ifnextchar �{\"{A}\@gobble}{%
  \@ifnextchar �{\AA\@gobble}{%
  \@ifnextchar �{\AE\@gobble}{%
  \@ifnextchar �{\c{C}\@gobble}{%
  \@ifnextchar �{\`{E}\@gobble}{%
  \@ifnextchar �{\'{E}\@gobble}{%
  \@ifnextchar �{\^{E}\@gobble}{%
  \@ifnextchar �{\"{E}\@gobble}{%
  \@ifnextchar �{\`{I}\@gobble}{%
  \@ifnextchar �{\'{I}\@gobble}{%
  \@ifnextchar �{\^{I}\@gobble}{%
  \@ifnextchar �{\"{I}\@gobble}{%
  \@ifnextchar �{\DH\@gobble}{%
  \@ifnextchar �{\~{N}\@gobble}{%
  \@ifnextchar �{\`{O}\@gobble}{%
  \@ifnextchar �{\'{O}\@gobble}{%
  \@ifnextchar �{\^{O}\@gobble}{%
  \@ifnextchar �{\~{O}\@gobble}{%
  \@ifnextchar �{\"{O}\@gobble}{%
  \@ifnextchar �{\ensuremath{\times}\@gobble}{%
  \@ifnextchar �{\O\@gobble}{%
  \@ifnextchar �{\`{U}\@gobble}{%
  \@ifnextchar �{\'{U}\@gobble}{%
  \@ifnextchar �{\^{U}\@gobble}{%
  \@ifnextchar �{\"{U}\@gobble}{%
  \@ifnextchar �{\'{Y}\@gobble}{%
  \@ifnextchar �{\TH\@gobble}{%
  \@ifnextchar �{\ss\@gobble}{%
  \@ifnextchar �{\`{a}\@gobble}{%
  \@ifnextchar �{\'{a}\@gobble}{%
  \@ifnextchar �{\^{a}\@gobble}{%
  \@ifnextchar �{\~{a}\@gobble}{%
  \@ifnextchar �{\"{a}\@gobble}{%
  \@ifnextchar �{\aa\@gobble}{%
  \@ifnextchar �{\ae\@gobble}{%
  \@ifnextchar �{\c{c}\@gobble}{%
  \@ifnextchar �{\`{e}\@gobble}{%
  \@ifnextchar �{\'{e}\@gobble}{%
  \@ifnextchar �{\^{e}\@gobble}{%
  \@ifnextchar �{\"{e}\@gobble}{%
  \@ifnextchar �{\`{i}\@gobble}{%
  \@ifnextchar �{\'{i}\@gobble}{%
  \@ifnextchar �{\^{i}\@gobble}{%
  \@ifnextchar �{\"{i}\@gobble}{%
  \@ifnextchar �{\ensuremath{\eth}\@gobble}{%
  \@ifnextchar �{{\~{n}}\@gobble}{%
  \@ifnextchar �{{\`{o}}\@gobble}{%
  \@ifnextchar �{{\'{o}}\@gobble}{%
  \@ifnextchar �{{\^{o}}\@gobble}{%
  \@ifnextchar �{{\~{o}}\@gobble}{%
  \@ifnextchar �{{\"{o}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\div}\@gobble}{%
  \@ifnextchar �{{\o}\@gobble}{%
  \@ifnextchar �{\`{u}\@gobble}{%
  \@ifnextchar �{\'{u}\@gobble}{%
  \@ifnextchar �{\^{u}\@gobble}{%
  \@ifnextchar �{\"{u}\@gobble}{%
  \@ifnextchar �{\'{y}\@gobble}{%
  \@ifnextchar �{\th\@gobble}{%
  \@ifnextchar �{\"{y}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}

\def �{%
  \@ifnextchar �{\={A}\@gobble}{%
  \@ifnextchar �{\={a}\@gobble}{%
  \@ifnextchar �{\u{A}\@gobble}{%
  \@ifnextchar �{\u{a}\@gobble}{%
  \@ifnextchar �{\k{A}\@gobble}{%
  \@ifnextchar �{\k{a}\@gobble}{%
  \@ifnextchar �{\'{C}\@gobble}{%
  \@ifnextchar �{\'{c}\@gobble}{%
  \@ifnextchar �{\^{C}\@gobble}{%
  \@ifnextchar �{\^{c}\@gobble}{%
  \@ifnextchar �{\.{C}\@gobble}{%
  \@ifnextchar �{\.{c}\@gobble}{%
  \@ifnextchar �{\v{C}\@gobble}{%
  \@ifnextchar �{\v{c}\@gobble}{%
  \@ifnextchar �{\v{D}\@gobble}{%
  \@ifnextchar �{\v{d}\@gobble}{%
  \@ifnextchar �{\DJ\@gobble}{%
  \@ifnextchar �{\dj\@gobble}{%
  \@ifnextchar �{\={E}\@gobble}{%
  \@ifnextchar �{\={e}\@gobble}{%
  \@ifnextchar �{\u{E}\@gobble}{%
  \@ifnextchar �{\u{e}\@gobble}{%
  \@ifnextchar �{\.{E}\@gobble}{%
  \@ifnextchar �{\.{e}\@gobble}{%
  \@ifnextchar �{\k{E}\@gobble}{%
  \@ifnextchar �{\k{e}\@gobble}{%
  \@ifnextchar �{\v{E}\@gobble}{%
  \@ifnextchar �{\v{e}\@gobble}{%
  \@ifnextchar �{\^{G}\@gobble}{%
  \@ifnextchar �{\^{g}\@gobble}{%
  \@ifnextchar �{\u{G}\@gobble}{%
  \@ifnextchar �{\u{g}\@gobble}{%
  \@ifnextchar �{\.{G}\@gobble}{%
  \@ifnextchar �{\.{g}\@gobble}{%
  \@ifnextchar �{\c{G}\@gobble}{%
  \@ifnextchar �{\c{g}\@gobble}{%
  \@ifnextchar �{\^{H}\@gobble}{%
  \@ifnextchar �{\^{h}\@gobble}{%
  \@ifnextchar �{\~{I}\@gobble}{%
  \@ifnextchar �{\~{i}\@gobble}{%
  \@ifnextchar �{\={I}\@gobble}{%
  \@ifnextchar �{\={i}\@gobble}{%
  \@ifnextchar �{\u{I}\@gobble}{%
  \@ifnextchar �{\u{i}\@gobble}{%
  \@ifnextchar �{\k{I}\@gobble}{%
  \@ifnextchar �{\k{i}\@gobble}{%
  \@ifnextchar �{\.{I}\@gobble}{%
  \@ifnextchar �{\i\@gobble}{%
  \@ifnextchar �{IJ\@gobble}{%
  \@ifnextchar �{ij\@gobble}{%
  \@ifnextchar �{\^{J}\@gobble}{%
  \@ifnextchar �{\^{J}\@gobble}{%
  \@ifnextchar �{\c{K}\@gobble}{%
  \@ifnextchar �{\c{K}\@gobble}{%
  \@ifnextchar �{\'{L}\@gobble}{%
  \@ifnextchar �{\'{l}\@gobble}{%
  \@ifnextchar �{\c{L}\@gobble}{%
  \@ifnextchar �{\c{l}\@gobble}{%
  \@ifnextchar �{\v{L}\@gobble}{%
  \@ifnextchar �{\v{L}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}

\def �{%
  \@ifnextchar �{\c{N}\@gobble}{%
  \@ifnextchar �{\c{n}\@gobble}{%
  \@ifnextchar �{\v{N}\@gobble}{%
  \@ifnextchar �{\v{n}\@gobble}{%
  \@ifnextchar �{\NG\@gobble}{%
  \@ifnextchar �{\ng\@gobble}{%
  \@ifnextchar �{\={O}\@gobble}{%
  \@ifnextchar �{\={o}\@gobble}{%
  \@ifnextchar �{\u{O}\@gobble}{%
  \@ifnextchar �{\u{o}\@gobble}{%
  \@ifnextchar �{\H{O}\@gobble}{%
  \@ifnextchar �{\H{o}\@gobble}{%
  \@ifnextchar �{\OE\@gobble}{%
  \@ifnextchar �{\oe\@gobble}{%
  \@ifnextchar �{\c{R}\@gobble}{%
  \@ifnextchar �{\c{r}\@gobble}{%
  \@ifnextchar �{\v{R}\@gobble}{%
  \@ifnextchar �{\v{r}\@gobble}{%
  \@ifnextchar �{\'{S}\@gobble}{%
  \@ifnextchar �{\'{s}\@gobble}{%
  \@ifnextchar �{\^{S}\@gobble}{%
  \@ifnextchar �{\^{s}\@gobble}{%
  \@ifnextchar �{\c{S}\@gobble}{%
  \@ifnextchar �{\c{s}\@gobble}{%
  \@ifnextchar �{\v{S}\@gobble}{%
  \@ifnextchar �{\v{s}\@gobble}{%
  \@ifnextchar �{\c{T}\@gobble}{%
  \@ifnextchar �{\c{t}\@gobble}{%
  \@ifnextchar �{\v{T}\@gobble}{%
  \@ifnextchar �{\v{t}\@gobble}{%
  \@ifnextchar �{\~{U}\@gobble}{%
  \@ifnextchar �{\~{u}\@gobble}{%
  \@ifnextchar �{\={U}\@gobble}{%
  \@ifnextchar �{\={u}\@gobble}{%
  \@ifnextchar �{\u{U}\@gobble}{%
  \@ifnextchar �{\u{u}\@gobble}{%
  \@ifnextchar �{\r{U}\@gobble}{%
  \@ifnextchar �{\r{u}\@gobble}{%
  \@ifnextchar �{\^{W}\@gobble}{%
  \@ifnextchar �{\^{w}\@gobble}{%
  \@ifnextchar �{\^{Y}\@gobble}{%
  \@ifnextchar �{\^{y}\@gobble}{%
  \@ifnextchar �{\"{Y}\@gobble}{%
  \@ifnextchar �{\'{Z}\@gobble}{%
  \@ifnextchar �{\'{z}\@gobble}{%
  \@ifnextchar �{\.{Z}\@gobble}{%
  \@ifnextchar �{\.{z}\@gobble}{%
  \@ifnextchar �{\v{Z}\@gobble}{%
  \@ifnextchar �{\v{z}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}

\def �{%
  \@ifnextchar �{\v{A}\@gobble}{%
  \@ifnextchar �{\v{a}\@gobble}{%
  \@ifnextchar �{\v{I}\@gobble}{%
  \@ifnextchar �{\v{i}\@gobble}{%
  \@ifnextchar �{\v{O}\@gobble}{%
  \@ifnextchar �{\v{o}\@gobble}{%
  \@ifnextchar �{\v{U}\@gobble}{%
  \@ifnextchar �{\v{u}\@gobble}{%
  \@ifnextchar �{\v{G}\@gobble}{%
  \@ifnextchar �{\v{g}\@gobble}{%
  \@ifnextchar �{\v{K}\@gobble}{%
  \@ifnextchar �{\v{k}\@gobble}{%
  \@ifnextchar �{\v{j}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}

\def �{%
  \@ifnextchar �{\c{E}\@gobble}{%
  \@ifnextchar �{\c{e}\@gobble}{%
  \utf@unrecog}}}

\def �{%
  \@ifnextchar �{\ensuremath{\textrm{A}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\textrm{B}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Gamma}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Delta}\@gobble}{%
  \@ifnextchar �{\ensuremath{\textrm{E}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\textrm{Z}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\textrm{H}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Theta}\@gobble}{%
  \@ifnextchar �{\ensuremath{\textrm{I}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\textrm{K}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Lambda}\@gobble}{%
  \@ifnextchar �{\ensuremath{\textrm{M}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\textrm{N}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Xi}\@gobble}{%
  \@ifnextchar �{\ensuremath{\textrm{O}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Pi}\@gobble}{%
  \@ifnextchar �{\ensuremath{\textrm{P}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Sigma}\@gobble}{%
  \@ifnextchar �{\textrm{T}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Upsilon}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Phi}\@gobble}{%
  \@ifnextchar �{\ensuremath{\textrm{X}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Psi}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Omega}\@gobble}{%
  \@ifnextchar �{\"{I}\@gobble}{%
  \@ifnextchar �{\"{Y}\@gobble}{%
  \@ifnextchar �{\ensuremath{\alpha}\@gobble}{%
  \@ifnextchar �{\ensuremath{\beta}\@gobble}{%
  \@ifnextchar �{\ensuremath{\gamma}\@gobble}{%
  \@ifnextchar �{\ensuremath{\delta}\@gobble}{%
  \@ifnextchar �{\ensuremath{\epsilon}\@gobble}{%
  \@ifnextchar �{\ensuremath{\zeta}\@gobble}{%
  \@ifnextchar �{\ensuremath{\eta}\@gobble}{%
  \@ifnextchar �{\ensuremath{\theta}\@gobble}{%
  \@ifnextchar �{\ensuremath{\iota}\@gobble}{%
  \@ifnextchar �{\ensuremath{\kappa}\@gobble}{%
  \@ifnextchar �{\ensuremath{\lambda}\@gobble}{%
  \@ifnextchar �{\ensuremath{\mu}\@gobble}{%
  \@ifnextchar �{\ensuremath{\nu}\@gobble}{%
  \@ifnextchar �{\ensuremath{\xi}\@gobble}{%
  \@ifnextchar �{\ensuremath{\textrm{o}}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}

\def �{%
  \@ifnextchar �{\ensuremath{\pi}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rho}\@gobble}{%
  \@ifnextchar �{\ensuremath{\varsigma}\@gobble}{%
  \@ifnextchar �{\ensuremath{\sigma}\@gobble}{%
  \@ifnextchar �{\ensuremath{\tau}\@gobble}{%
  \@ifnextchar �{\ensuremath{\upsilon}\@gobble}{%
  \@ifnextchar �{\ensuremath{\phi}\@gobble}{%
  \@ifnextchar �{\ensuremath{\chi}\@gobble}{%
  \@ifnextchar �{\ensuremath{\psi}\@gobble}{%
  \@ifnextchar �{\ensuremath{\omega}\@gobble}{%
  \@ifnextchar �{\ensuremath{\vartheta}\@gobble}{%
  \@ifnextchar �{\ensuremath{\digamma}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}

\def �{%
  \@ifnextchar �{\ensuremath{\aleph}\@gobble}{%
  \@ifnextchar �{\ensuremath{\beth}\@gobble}{%
  \@ifnextchar �{\ensuremath{\gimel}\@gobble}{%
  \@ifnextchar �{\ensuremath{\daleth}\@gobble}{%
  \utf@unrecog}}}}}

\def �{%
  \@ifnextchar �{\utf@OBLF}{%
  \utf@unrecog}}

\def �{%
  \@ifnextchar �{\utf@OCIA}{%
  \@ifnextchar �{\utf@OCIB}{%
  \@ifnextchar �{\utf@OCIC}{%
  \@ifnextchar �{\utf@OCIE}{%
  \@ifnextchar �{\utf@OCIG}{%
  \@ifnextchar �{\utf@OCIH}{%
  \@ifnextchar �{\utf@OCII}{%
  \@ifnextchar �{\utf@OCIJ}{%
  \@ifnextchar �{\utf@OCIK}{%
  \@ifnextchar �{\utf@OCIL}{%
  \@ifnextchar �{\utf@OCIM}{%
  \@ifnextchar �{\utf@OCJG}{%
  \@ifnextchar �{\utf@OCJH}{%
  \@ifnextchar �{\utf@OCJJ}{%
  \@ifnextchar �{\utf@OCJM}{%
  \@ifnextchar �{\utf@OCJP}{%
  \@ifnextchar �{\utf@OCKH}{%
  \@ifnextchar �{\utf@OCKI}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}

\def �{%
  \@ifnextchar �{\utf@ODIA}{%
  \utf@unrecog}}

\def �{%
  \@ifnextchar �{\utf@OPKM}{%
  \utf@unrecog}}

\def\utf@OBLF#1{%
  \@ifnextchar �{\ensuremath{_i}\@gobble}{%
  \utf@unrecog}}

\def\utf@OCIA#1{%
  \@ifnextchar �{{-}\@gobble}{%
  \@ifnextchar �{{-}\@gobble}{%
  \@ifnextchar �{{--}\@gobble}{%
  \@ifnextchar �{{--}\@gobble}{%
  \@ifnextchar �{{---}\@gobble}{%
  \@ifnextchar �{{---}\@gobble}{%
  \@ifnextchar �{\ensuremath{\|}\@gobble}{%
  \@ifnextchar �{{`}\@gobble}{%
  \@ifnextchar �{{'}\@gobble}{%
  \@ifnextchar �{{``}\@gobble}{%
  \@ifnextchar �{{''}\@gobble}{%
  \@ifnextchar �{\ensuremath{\ddagger}\@gobble}{%
  \@ifnextchar �{\ensuremath{\bullet}\@gobble}{%
  \@ifnextchar �{\ensuremath{\blacktriangleright}\@gobble}{%
  \@ifnextchar �{.\,.\@gobble}{%
  \@ifnextchar �{\ldots\@gobble}{%
  \@ifnextchar �{\-\@gobble}{%
  \@ifnextchar �{\\\@gobble}{%
  \@ifnextchar �{\par\@gobble}{%
  \@ifnextchar �{\ensuremath{'}\@gobble}{%
  \@ifnextchar �{\ensuremath{{''}}\@gobble}{%
  \@ifnextchar �{\ensuremath{{'''}}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}}}}}

\def\utf@OCIB#1{%
  \@ifnextchar �{\ensuremath{^0}\@gobble}{%
  \@ifnextchar �{\ensuremath{^i}\@gobble}{%
  \@ifnextchar �{\ensuremath{^4}\@gobble}{%
  \@ifnextchar �{\ensuremath{^5}\@gobble}{%
  \@ifnextchar �{\ensuremath{^6}\@gobble}{%
  \@ifnextchar �{\ensuremath{^7}\@gobble}{%
  \@ifnextchar �{\ensuremath{^8}\@gobble}{%
  \@ifnextchar �{\ensuremath{^9}\@gobble}{%
  \@ifnextchar �{\ensuremath{^+}\@gobble}{%
  \@ifnextchar �{\ensuremath{^-}\@gobble}{%
  \@ifnextchar �{\ensuremath{^=}\@gobble}{%
  \@ifnextchar �{\ensuremath{^(}\@gobble}{%
  \@ifnextchar �{\ensuremath{^)}\@gobble}{%
  \@ifnextchar �{\ensuremath{^n}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}

\def\utf@OCIC#1{%
  \@ifnextchar �{\ensuremath{_0}\@gobble}{%
  \@ifnextchar �{\ensuremath{_1}\@gobble}{%
  \@ifnextchar �{\ensuremath{_2}\@gobble}{%
  \@ifnextchar �{\ensuremath{_3}\@gobble}{%
  \@ifnextchar �{\ensuremath{_4}\@gobble}{%
  \@ifnextchar �{\ensuremath{_5}\@gobble}{%
  \@ifnextchar �{\ensuremath{_6}\@gobble}{%
  \@ifnextchar �{\ensuremath{_7}\@gobble}{%
  \@ifnextchar �{\ensuremath{_8}\@gobble}{%
  \@ifnextchar �{\ensuremath{_9}\@gobble}{%
  \@ifnextchar �{\ensuremath{_+}\@gobble}{%
  \@ifnextchar �{\ensuremath{_-}\@gobble}{%
  \@ifnextchar �{\ensuremath{_=}\@gobble}{%
  \@ifnextchar �{\ensuremath{_(}\@gobble}{%
  \@ifnextchar �{\ensuremath{_)}\@gobble}{%
  \@ifnextchar �{\ensuremath{_a}\@gobble}{%
  \@ifnextchar �{\ensuremath{_e}\@gobble}{%
  \@ifnextchar �{\ensuremath{_o}\@gobble}{%
  \@ifnextchar �{\ensuremath{_x}\@gobble}{%
  \@ifnextchar �{\euro\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}}}

\def\utf@OCIE#1{%
  \@ifnextchar �{\ensuremath{\hbar}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Im}\@gobble}{%
  \@ifnextchar �{\ensuremath{\ell}\@gobble}{%
  \@ifnextchar �{\ensuremath{\wp}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Re}\@gobble}{%
  \@ifnextchar �{\ensuremath{\texttrademark}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Omega}\@gobble}{%
  \@ifnextchar �{\ensuremath{\mho}\@gobble}{%
  \utf@unrecog}}}}}}}}}

\def\utf@OCIG#1{%
  \@ifnextchar �{\ensuremath{\leftarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\uparrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rightarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\downarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\leftrightarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\updownarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\nwarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\nearrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\searrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\swarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\leftarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\rightarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\twoheadleftarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\twoheadrightarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\leftarrowtail}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rightarrowtail}\@gobble}{%
  \@ifnextchar �{\ensuremath{\mapsto}\@gobble}{%
  \@ifnextchar �{\ensuremath{\looparrowleft}\@gobble}{%
  \@ifnextchar �{\ensuremath{\looparrowright}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Lsh}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Rsh}\@gobble}{%
  \@ifnextchar �{\ensuremath{\curvearrowleft}\@gobble}{%
  \@ifnextchar �{\ensuremath{\curvearrowright}\@gobble}{%
  \@ifnextchar �{\ensuremath{\circlearrowleft}\@gobble}{%
  \@ifnextchar �{\ensuremath{\circlearrowright}\@gobble}{%
  \@ifnextchar �{\ensuremath{\leftharpoonup}\@gobble}{%
  \@ifnextchar �{\ensuremath{\leftharpoondown}\@gobble}{%
  \@ifnextchar �{\ensuremath{\upharpoonright}\@gobble}{%
  \@ifnextchar �{\ensuremath{\upharpoonleft}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}

\def\utf@OCIH#1{%
  \@ifnextchar �{\ensuremath{\rightharpoonup}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rightharpoondown}\@gobble}{%
  \@ifnextchar �{\ensuremath{\downharpoonright}\@gobble}{%
  \@ifnextchar �{\ensuremath{\downharpoonleft}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rightleftarrows}\@gobble}{%
  \@ifnextchar �{\ensuremath{\leftrightarrows}\@gobble}{%
  \@ifnextchar �{\ensuremath{\leftleftarrows}\@gobble}{%
  \@ifnextchar �{\ensuremath{\upuparrows}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rightrightarrows}\@gobble}{%
  \@ifnextchar �{\ensuremath{\downdownarrows}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\Leftarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\Leftrightarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Leftarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Uparrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Rightarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Downarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Leftrightarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Updownarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Lleftarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Rrightarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rightsquigarrow}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}}}}

\def\utf@OCII#1{%
  \@ifnextchar �{\ensuremath{\forall}\@gobble}{%
  \@ifnextchar �{\ensuremath{\complement}\@gobble}{%
  \@ifnextchar �{\ensuremath{\partial}\@gobble}{%
  \@ifnextchar �{\ensuremath{\exists}\@gobble}{%
  \@ifnextchar �{\ensuremath{\nexists}\@gobble}{%
  \@ifnextchar �{\ensuremath{\emptyset}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Delta}\@gobble}{%
  \@ifnextchar �{\ensuremath{\nabla}\@gobble}{%
  \@ifnextchar �{\ensuremath{\in}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\in}\@gobble}{%
  \@ifnextchar �{\ensuremath{\ni}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\ni}\@gobble}{%
  \@ifnextchar �{\ensuremath{\prod}\@gobble}{%
  \@ifnextchar �{\ensuremath{\coprod}\@gobble}{%
  \@ifnextchar �{\ensuremath{\sum}\@gobble}{%
  \@ifnextchar �{\ensuremath{-}\@gobble}{%
  \@ifnextchar �{\ensuremath{\mp}\@gobble}{%
  \@ifnextchar �{\ensuremath{\setminus}\@gobble}{%
  \@ifnextchar �{\ensuremath{*}\@gobble}{%
  \@ifnextchar �{\ensuremath{\surd}\@gobble}{%
  \@ifnextchar �{\ensuremath{\propto}\@gobble}{%
  \@ifnextchar �{\ensuremath{\infty}\@gobble}{%
  \@ifnextchar �{\ensuremath{\angle}\@gobble}{%
  \@ifnextchar �{\ensuremath{\measuredangle}\@gobble}{%
  \@ifnextchar �{\ensuremath{\sphericalangle}\@gobble}{%
  \@ifnextchar �{\ensuremath{\wedge}\@gobble}{%
  \@ifnextchar �{\ensuremath{\vee}\@gobble}{%
  \@ifnextchar �{\ensuremath{\cap}\@gobble}{%
  \@ifnextchar �{\ensuremath{\cup}\@gobble}{%
  \@ifnextchar �{\ensuremath{\int}\@gobble}{%
  \@ifnextchar �{\ensuremath{\oint}\@gobble}{%
  \@ifnextchar �{\ensuremath{\sim}\@gobble}{%
  \@ifnextchar �{\ensuremath{\backsim}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}

\def\utf@OCIJ#1{%
  \@ifnextchar �{\ensuremath{\simeq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\simeq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\cong}\@gobble}{%
  \@ifnextchar �{\ensuremath{\approx}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\approx}\@gobble}{%
  \@ifnextchar �{\ensuremath{\approxeq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\asymp}\@gobble}{%
  \@ifnextchar �{\ensuremath{\stackrel{*}{=}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\triangleq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\stackrel{?}{=}}\@gobble}{%
  \@ifnextchar �{\ensuremath{\neq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\equiv}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\equiv}\@gobble}{%
  \@ifnextchar �{\ensuremath{\leq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\geq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\leqq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\geqq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\lneq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\gneq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\ll}\@gobble}{%
  \@ifnextchar �{\ensuremath{\gg}\@gobble}{%
  \@ifnextchar �{\ensuremath{\between}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\asymp}\@gobble}{%
  \@ifnextchar �{\ensuremath{\nless}\@gobble}{%
  \@ifnextchar �{\ensuremath{\ngtr}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\leq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\geq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\lesssim}\@gobble}{%
  \@ifnextchar �{\ensuremath{\gtrsim}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\lesssim}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\gtrsim}\@gobble}{%
  \@ifnextchar �{\ensuremath{\lessgtr}\@gobble}{%
  \@ifnextchar �{\ensuremath{\gtrless}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\lessgtr}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\gtrless}\@gobble}{%
  \@ifnextchar �{\ensuremath{\prec}\@gobble}{%
  \@ifnextchar �{\ensuremath{\succ}\@gobble}{%
  \@ifnextchar �{\ensuremath{\preccurlyeq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\succcurlyeq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\precsim}\@gobble}{%
  \@ifnextchar �{\ensuremath{\succsim}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}

\def\utf@OCIK#1{%
  \@ifnextchar �{\ensuremath{\nprec}\@gobble}{%
  \@ifnextchar �{\ensuremath{\nsucc}\@gobble}{%
  \@ifnextchar �{\ensuremath{\subset}\@gobble}{%
  \@ifnextchar �{\ensuremath{\supset}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\subset}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\supset}\@gobble}{%
  \@ifnextchar �{\ensuremath{\subseteq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\supseteq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\subseteq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\supseteq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\subsetneq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\supsetneq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\uplus}\@gobble}{%
  \@ifnextchar �{\ensuremath{\sqsubset}\@gobble}{%
  \@ifnextchar �{\ensuremath{\sqsupset}\@gobble}{%
  \@ifnextchar �{\ensuremath{\sqsubseteq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\sqsupseteq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\sqcap}\@gobble}{%
  \@ifnextchar �{\ensuremath{\sqcup}\@gobble}{%
  \@ifnextchar �{\ensuremath{\oplus}\@gobble}{%
  \@ifnextchar �{\ensuremath{\ominus}\@gobble}{%
  \@ifnextchar �{\ensuremath{\otimes}\@gobble}{%
  \@ifnextchar �{\ensuremath{\oslash}\@gobble}{%
  \@ifnextchar �{\ensuremath{\odot}\@gobble}{%
  \@ifnextchar �{\ensuremath{\circledcirc}\@gobble}{%
  \@ifnextchar �{\ensuremath{\circledast}\@gobble}{%
  \@ifnextchar �{\ensuremath{\circleddash}\@gobble}{%
  \@ifnextchar �{\ensuremath{\boxplus}\@gobble}{%
  \@ifnextchar �{\ensuremath{\boxminus}\@gobble}{%
  \@ifnextchar �{\ensuremath{\boxtimes}\@gobble}{%
  \@ifnextchar �{\ensuremath{\boxdot}\@gobble}{%
  \@ifnextchar �{\ensuremath{\vdash}\@gobble}{%
  \@ifnextchar �{\ensuremath{\dashv}\@gobble}{%
  \@ifnextchar �{\ensuremath{\top}\@gobble}{%
  \@ifnextchar �{\ensuremath{\bot}\@gobble}{%
  \@ifnextchar �{\ensuremath{\models}\@gobble}{%
  \@ifnextchar �{\ensuremath{\vDash}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Vdash}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Vvdash}\@gobble}{%
  \@ifnextchar �{\ensuremath{\nvdash}\@gobble}{%
  \@ifnextchar �{\ensuremath{\nvDash}\@gobble}{%
  \@ifnextchar �{\ensuremath{\nVdash}\@gobble}{%
  \@ifnextchar �{\ensuremath{\nVDash}\@gobble}{%
  \@ifnextchar �{\ensuremath{\lhd}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rhd}\@gobble}{%
  \@ifnextchar �{\ensuremath{\unlhd}\@gobble}{%
  \@ifnextchar �{\ensuremath{\unrhd}\@gobble}{%
  \@ifnextchar �{\ensuremath{\multimap}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}

\def\utf@OCIL#1{%
  \@ifnextchar �{\ensuremath{\bigwedge}\@gobble}{%
  \@ifnextchar �{\ensuremath{\bigvee}\@gobble}{%
  \@ifnextchar �{\ensuremath{\bigcap}\@gobble}{%
  \@ifnextchar �{\ensuremath{\bigcup}\@gobble}{%
  \@ifnextchar �{\ensuremath{\diamond}\@gobble}{%
  \@ifnextchar �{\ensuremath{\cdot}\@gobble}{%
  \@ifnextchar �{\ensuremath{\star}\@gobble}{%
  \@ifnextchar �{\ensuremath{\bowtie}\@gobble}{%
  \@ifnextchar �{\ensuremath{\ltimes}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rtimes}\@gobble}{%
  \@ifnextchar �{\ensuremath{\curlyvee}\@gobble}{%
  \@ifnextchar �{\ensuremath{\curlywedge}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Subset}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Supset}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Cap}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Cup}\@gobble}{%
  \@ifnextchar �{\ensuremath{\pitchfork}\@gobble}{%
  \@ifnextchar �{\ensuremath{\lessdot}\@gobble}{%
  \@ifnextchar �{\ensuremath{\gtrdot}\@gobble}{%
  \@ifnextchar �{\ensuremath{\lll}\@gobble}{%
  \@ifnextchar �{\ensuremath{\ggg}\@gobble}{%
  \@ifnextchar �{\ensuremath{\lesseqgtr}\@gobble}{%
  \@ifnextchar �{\ensuremath{\gtreqless}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\preccurlyeq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\succcurlyeq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\sqsubseteq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\not\sqsupseteq}\@gobble}{%
  \@ifnextchar �{\ensuremath{\vdots}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}}}}}}}}}}}}}}}}}

\def\utf@OCIM#1{%
  \@ifnextchar �{\ensuremath{\lceil}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rceil}\@gobble}{%
  \@ifnextchar �{\ensuremath{\lfloor}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rfloor}\@gobble}{%
  \@ifnextchar �{\ensuremath{\frown}\@gobble}{%
  \@ifnextchar �{\ensuremath{\smile}\@gobble}{%
  \@ifnextchar �{\ensuremath{\langle}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rangle}\@gobble}{%
  \utf@unrecog}}}}}}}}}

\def\utf@OCJG#1{%
  \@ifnextchar �{\ensuremath{\blacksquare}\@gobble}{%
  \@ifnextchar �{\ensuremath{\square}\@gobble}{%
  \utf@unrecog}}}

\def\utf@OCJH#1{%
  \@ifnextchar �{\ensuremath{\lozenge}\@gobble}{%
  \@ifnextchar �{\ensuremath{\bigcirc}\@gobble}{%
  \utf@unrecog}}}

\def\utf@OCJJ#1{%
  \@ifnextchar �{\ensuremath{\spadesuit}\@gobble}{%
  \@ifnextchar �{\ensuremath{\heartsuit}\@gobble}{%
  \@ifnextchar �{\ensuremath{\diamondsuit}\@gobble}{%
  \@ifnextchar �{\ensuremath{\clubsuit}\@gobble}{%
  \@ifnextchar �{\ensuremath{\flat}\@gobble}{%
  \@ifnextchar �{\ensuremath{\natural}\@gobble}{%
  \@ifnextchar �{\ensuremath{\sharp}\@gobble}{%
  \utf@unrecog}}}}}}}}

\def\utf@OCJM#1{%
  \@ifnextchar �{\ensuremath{\surd}\@gobble}{%
  \utf@unrecog}}

\def\utf@OCJP#1{%
  \@ifnextchar �{\ensuremath{[\![}\@gobble}{%
  \@ifnextchar �{\ensuremath{]\!]}\@gobble}{%
  \@ifnextchar �{\ensuremath{\langle}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rangle}\@gobble}{%
  \@ifnextchar �{\ensuremath{\langle\!\langle}\@gobble}{%
  \@ifnextchar �{\ensuremath{\rangle\!\rangle}\@gobble}{%
  \@ifnextchar �{\ensuremath{\longleftarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\longrightarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\longleftrightarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Longleftarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Longrightarrow}\@gobble}{%
  \@ifnextchar �{\ensuremath{\Longleftrightarrow}\@gobble}{%
  \utf@unrecog}}}}}}}}}}}}}

\def\utf@OCKH#1{%
  \@ifnextchar �{\ensuremath{\blacklozenge}\@gobble}{%
  \utf@unrecog}}

\def\utf@OCKI#1{%
  \@ifnextchar �{\ensuremath{\bigodot}\@gobble}{%
  \@ifnextchar �{\ensuremath{\bigoplus}\@gobble}{%
  \@ifnextchar �{\ensuremath{\bigotimes}\@gobble}{%
  \@ifnextchar �{\ensuremath{\biguplus}\@gobble}{%
  \@ifnextchar �{\ensuremath{\bigsqcap}\@gobble}{%
  \@ifnextchar �{\ensuremath{\bigsqcup}\@gobble}{%
  \@ifnextchar �{\ensuremath{\join}\@gobble}{%
  \utf@unrecog}}}}}}}}

\def\utf@ODIA#1{%
  \@ifnextchar �{\ensuremath{&langle}\@gobble}{%
  \@ifnextchar �{\ensuremath{&rangle}\@gobble}{%
  \@ifnextchar �{\ensuremath{[\![}\@gobble}{%
  \@ifnextchar �{\ensuremath{]\!]}\@gobble}{%
  \utf@unrecog}}}}}

\def\utf@OPKM#1{%
  \@ifnextchar �{ff\@gobble}{%
  \@ifnextchar �{fi\@gobble}{%
  \@ifnextchar �{fl\@gobble}{%
  \@ifnextchar �{ffi\@gobble}{%
  \@ifnextchar �{ffl\@gobble}{%
  \utf@unrecog}}}}}}

\def �{%
  \@ifnextchar �{\utf@PAJN}{%
  \utf@unrecog}}

\def\utf@PAJN#1{%
  \@ifnextchar �{\utf@PAJNJC}{%
  \utf@unrecog}}

\def\utf@PAJNJC#1{%
  \@ifnextchar �{\ensuremath{\powerset}\@gobble}{%
  \utf@unrecog}}

