%%% Unicode to TeX mapping, file uni-86.def, U+5600..U+56FF, autogenerated by makeunidef.pl
\ifx\ProvidesFile\undefined\else
\ProvidesFile{uni-86.def}[2022/08/07 UCS: Unicode data U+5600..U+56FF]%
\fi
\gdef\u@cjk@Bgv#1#2#3#4{{\fontencoding{C00}\def\CJK@plane{#1#2}\selectfont\char"#3#4\relax}}%
\uc@dclc{22016}{cjkbg5}{\u@cjk@Bgv1615}%
\gdef\u@cjk@GB#1#2#3#4{{\fontencoding{C10}\def\CJK@plane{#1#2}\selectfont\char"#3#4\relax}}%
\uc@dclc{22016}{cjkgb}{\u@cjk@GB2457}%
\uc@dclc{22017}{cjkbg5}{\u@cjk@Bgv404E}%
\uc@dclc{22017}{cjkgb}{\u@cjk@GB2453}%
\uc@dclc{22018}{cjkbg5}{\u@cjk@Bgv4050}%
\uc@dclc{22020}{cjkbg5}{\u@cjk@Bgv4053}%
\uc@dclc{22022}{cjkbg5}{\u@cjk@Bgv161A}%
\uc@dclc{22022}{cjkjis}{\jischar{4332}}%
\uc@dclc{22024}{cjkbg5}{\u@cjk@Bgv1621}%
\uc@dclc{22024}{cjkgb}{\u@cjk@GB2451}%
\uc@dclc{22025}{cjkbg5}{\u@cjk@Bgv161B}%
\uc@dclc{22025}{cjkgb}{\u@cjk@GB1117}%
\uc@dclc{22025}{cjkjis}{\jischar{3245}}%
\uc@dclc{22028}{cjkbg5}{\u@cjk@Bgv4049}%
\uc@dclc{22028}{cjkgb}{\u@cjk@GB2452}%
\uc@dclc{22029}{cjkbg5}{\u@cjk@Bgv161C}%
\uc@dclc{22030}{cjkbg5}{\u@cjk@Bgv161D}%
\uc@dclc{22030}{cjkgb}{\u@cjk@GB0993}%
\uc@dclc{22031}{cjkbg5}{\u@cjk@Bgv404C}%
\uc@dclc{22031}{cjkgb}{\u@cjk@GB2156}%
\uc@dclc{22032}{cjkbg5}{\u@cjk@Bgv1622}%
\uc@dclc{22034}{cjkbg5}{\u@cjk@Bgv404A}%
\uc@dclc{22035}{cjkbg5}{\u@cjk@Bgv404F}%
\uc@dclc{22036}{cjkbg5}{\u@cjk@Bgv1619}%
\uc@dclc{22036}{cjkjis}{\jischar{5352}}%
\uc@dclc{22037}{cjkbg5}{\u@cjk@Bgv4048}%
\uc@dclc{22038}{cjkbg5}{\u@cjk@Bgv161F}%
\uc@dclc{22038}{cjkjis}{\jischar{5354}}%
\uc@dclc{22039}{cjkbg5}{\u@cjk@Bgv1617}%
\uc@dclc{22039}{cjkjis}{\jischar{3E28}}%
\uc@dclc{22040}{cjkgb}{\u@cjk@GB188B}%
\uc@dclc{22040}{cjkjis}{\jischar{3133}}%
\uc@dclc{22043}{cjkbg5}{\u@cjk@Bgv1616}%
\uc@dclc{22043}{cjkgb}{\u@cjk@GB136C}%
\uc@dclc{22043}{cjkjis}{\jischar{5357}}%
\uc@dclc{22044}{cjkbg5}{\u@cjk@Bgv404D}%
\uc@dclc{22045}{cjkbg5}{\u@cjk@Bgv4052}%
\uc@dclc{22046}{cjkgb}{\u@cjk@GB2450}%
\uc@dclc{22047}{cjkbg5}{\u@cjk@Bgv1620}%
\uc@dclc{22047}{cjkgb}{\u@cjk@GB243E}%
\uc@dclc{22051}{cjkgb}{\u@cjk@GB2455}%
\uc@dclc{22052}{cjkgb}{\u@cjk@GB2454}%
\uc@dclc{22055}{cjkbg5}{\u@cjk@Bgv4047}%
\uc@dclc{22055}{cjkgb}{\u@cjk@GB2458}%
\uc@dclc{22057}{cjkbg5}{\u@cjk@Bgv179C}%
\uc@dclc{22057}{cjkjis}{\jischar{325E}}%
\uc@dclc{22058}{cjkbg5}{\u@cjk@Bgv42BB}%
\uc@dclc{22060}{cjkbg5}{\u@cjk@Bgv42B8}%
\uc@dclc{22060}{cjkgb}{\u@cjk@GB245D}%
\uc@dclc{22061}{cjkgb}{\u@cjk@GB2459}%
\uc@dclc{22062}{cjkbg5}{\u@cjk@Bgv1796}%
\uc@dclc{22063}{cjkbg5}{\u@cjk@Bgv17A2}%
\uc@dclc{22063}{cjkjis}{\jischar{5362}}%
\uc@dclc{22064}{cjkbg5}{\u@cjk@Bgv17A3}%
\uc@dclc{22065}{cjkgb}{\u@cjk@GB20CB}%
\uc@dclc{22065}{cjkjis}{\jischar{3E7C}}%
\uc@dclc{22066}{cjkbg5}{\u@cjk@Bgv1799}%
\uc@dclc{22066}{cjkgb}{\u@cjk@GB07AB}%
\uc@dclc{22066}{cjkjis}{\jischar{535E}}%
\uc@dclc{22067}{cjkbg5}{\u@cjk@Bgv42B6}%
\uc@dclc{22068}{cjkbg5}{\u@cjk@Bgv179B}%
\uc@dclc{22068}{cjkgb}{\u@cjk@GB211F}%
\uc@dclc{22068}{cjkjis}{\jischar{535C}}%
\uc@dclc{22069}{cjkbg5}{\u@cjk@Bgv42AE}%
\uc@dclc{22070}{cjkbg5}{\u@cjk@Bgv17A1}%
\uc@dclc{22070}{cjkgb}{\u@cjk@GB1686}%
\uc@dclc{22070}{cjkjis}{\jischar{535D}}%
\uc@dclc{22072}{cjkbg5}{\u@cjk@Bgv42BA}%
\uc@dclc{22072}{cjkjis}{\jischar{535F}}%
\uc@dclc{22073}{cjkbg5}{\u@cjk@Bgv1798}%
\uc@dclc{22073}{cjkgb}{\u@cjk@GB245B}%
\uc@dclc{22074}{cjkbg5}{\u@cjk@Bgv42BC}%
\uc@dclc{22075}{cjkbg5}{\u@cjk@Bgv1797}%
\uc@dclc{22075}{cjkgb}{\u@cjk@GB17E0}%
\uc@dclc{22077}{cjkbg5}{\u@cjk@Bgv42B7}%
\uc@dclc{22078}{cjkbg5}{\u@cjk@Bgv42B9}%
\uc@dclc{22079}{cjkbg5}{\u@cjk@Bgv179A}%
\uc@dclc{22079}{cjkgb}{\u@cjk@GB1066}%
\uc@dclc{22080}{cjkbg5}{\u@cjk@Bgv42B5}%
\uc@dclc{22081}{cjkbg5}{\u@cjk@Bgv42AF}%
\uc@dclc{22082}{cjkbg5}{\u@cjk@Bgv42AC}%
\uc@dclc{22082}{cjkjis}{\jischar{313D}}%
\uc@dclc{22085}{cjkbg5}{\u@cjk@Bgv34E6}%
\uc@dclc{22086}{cjkbg5}{\u@cjk@Bgv42B2}%
\uc@dclc{22088}{cjkbg5}{\u@cjk@Bgv42AB}%
\uc@dclc{22089}{cjkbg5}{\u@cjk@Bgv42B1}%
\uc@dclc{22090}{cjkbg5}{\u@cjk@Bgv42B0}%
\uc@dclc{22092}{cjkbg5}{\u@cjk@Bgv42AD}%
\uc@dclc{22092}{cjkgb}{\u@cjk@GB2462}%
\uc@dclc{22092}{cjkjis}{\jischar{4139}}%
\uc@dclc{22093}{cjkgb}{\u@cjk@GB245E}%
\uc@dclc{22094}{cjkbg5}{\u@cjk@Bgv179E}%
\uc@dclc{22094}{cjkgb}{\u@cjk@GB190A}%
\uc@dclc{22094}{cjkjis}{\jischar{5359}}%
\uc@dclc{22096}{cjkjis}{\jischar{535A}}%
\uc@dclc{22099}{cjkbg5}{\u@cjk@Bgv179D}%
\uc@dclc{22100}{cjkgb}{\u@cjk@GB2463}%
\uc@dclc{22103}{cjkbg5}{\u@cjk@Bgv179F}%
\uc@dclc{22103}{cjkgb}{\u@cjk@GB245C}%
\uc@dclc{22104}{cjkbg5}{\u@cjk@Bgv42B3}%
\uc@dclc{22104}{cjkgb}{\u@cjk@GB245A}%
\uc@dclc{22105}{cjkbg5}{\u@cjk@Bgv1919}%
\uc@dclc{22105}{cjkgb}{\u@cjk@GB2460}%
\uc@dclc{22106}{cjkbg5}{\u@cjk@Bgv42B4}%
\uc@dclc{22107}{cjkjis}{\jischar{337A}}%
\uc@dclc{22108}{cjkgb}{\u@cjk@GB2461}%
\uc@dclc{22110}{cjkbg5}{\u@cjk@Bgv452D}%
\uc@dclc{22112}{cjkbg5}{\u@cjk@Bgv4526}%
\uc@dclc{22114}{cjkbg5}{\u@cjk@Bgv1925}%
\uc@dclc{22114}{cjkgb}{\u@cjk@GB245F}%
\uc@dclc{22115}{cjkbg5}{\u@cjk@Bgv452A}%
\uc@dclc{22116}{cjkbg5}{\u@cjk@Bgv191D}%
\uc@dclc{22116}{cjkgb}{\u@cjk@GB2465}%
\uc@dclc{22116}{cjkjis}{\jischar{5361}}%
\uc@dclc{22117}{cjkbg5}{\u@cjk@Bgv1921}%
\uc@dclc{22118}{cjkbg5}{\u@cjk@Bgv4529}%
\uc@dclc{22120}{cjkbg5}{\u@cjk@Bgv1920}%
\uc@dclc{22120}{cjkgb}{\u@cjk@GB14EC}%
\uc@dclc{22120}{cjkjis}{\jischar{346F}}%
\uc@dclc{22121}{cjkbg5}{\u@cjk@Bgv191C}%
\uc@dclc{22121}{cjkgb}{\u@cjk@GB213D}%
\uc@dclc{22122}{cjkbg5}{\u@cjk@Bgv191F}%
\uc@dclc{22122}{cjkgb}{\u@cjk@GB2004}%
\uc@dclc{22122}{cjkjis}{\jischar{5364}}%
\uc@dclc{22123}{cjkbg5}{\u@cjk@Bgv191A}%
\uc@dclc{22123}{cjkgb}{\u@cjk@GB2467}%
\uc@dclc{22123}{cjkjis}{\jischar{5360}}%
\uc@dclc{22124}{cjkbg5}{\u@cjk@Bgv1924}%
\uc@dclc{22124}{cjkgb}{\u@cjk@GB1636}%
\uc@dclc{22124}{cjkjis}{\jischar{5363}}%
\uc@dclc{22125}{cjkbg5}{\u@cjk@Bgv452B}%
\uc@dclc{22126}{cjkbg5}{\u@cjk@Bgv4527}%
\uc@dclc{22127}{cjkbg5}{\u@cjk@Bgv1923}%
\uc@dclc{22128}{cjkbg5}{\u@cjk@Bgv4525}%
\uc@dclc{22129}{cjkbg5}{\u@cjk@Bgv1922}%
\uc@dclc{22129}{cjkgb}{\u@cjk@GB2466}%
\uc@dclc{22130}{cjkbg5}{\u@cjk@Bgv452C}%
\uc@dclc{22131}{cjkbg5}{\u@cjk@Bgv4528}%
\uc@dclc{22132}{cjkbg5}{\u@cjk@Bgv17A0}%
\uc@dclc{22132}{cjkjis}{\jischar{4A2E}}%
\uc@dclc{22134}{cjkbg5}{\u@cjk@Bgv1926}%
\uc@dclc{22134}{cjkgb}{\u@cjk@GB0992}%
\uc@dclc{22135}{cjkbg5}{\u@cjk@Bgv452E}%
\uc@dclc{22136}{cjkbg5}{\u@cjk@Bgv191E}%
\uc@dclc{22136}{cjkjis}{\jischar{4655}}%
\uc@dclc{22137}{cjkbg5}{\u@cjk@Bgv191B}%
\uc@dclc{22138}{cjkjis}{\jischar{4838}}%
\uc@dclc{22139}{cjkgb}{\u@cjk@GB2468}%
\uc@dclc{22140}{cjkgb}{\u@cjk@GB2469}%
\uc@dclc{22142}{cjkbg5}{\u@cjk@Bgv4763}%
\uc@dclc{22143}{cjkbg5}{\u@cjk@Bgv4765}%
\uc@dclc{22144}{cjkbg5}{\u@cjk@Bgv203E}%
\uc@dclc{22144}{cjkjis}{\jischar{5366}}%
\uc@dclc{22145}{cjkbg5}{\u@cjk@Bgv4766}%
\uc@dclc{22146}{cjkbg5}{\u@cjk@Bgv4764}%
\uc@dclc{22147}{cjkbg5}{\u@cjk@Bgv4762}%
\uc@dclc{22148}{cjkbg5}{\u@cjk@Bgv4761}%
\uc@dclc{22149}{cjkbg5}{\u@cjk@Bgv2040}%
\uc@dclc{22149}{cjkgb}{\u@cjk@GB246A}%
\uc@dclc{22150}{cjkbg5}{\u@cjk@Bgv4760}%
\uc@dclc{22150}{cjkgb}{\u@cjk@GB2464}%
\uc@dclc{22150}{cjkjis}{\jischar{5365}}%
\uc@dclc{22151}{cjkbg5}{\u@cjk@Bgv2041}%
\uc@dclc{22151}{cjkjis}{\jischar{3345}}%
\uc@dclc{22154}{cjkjis}{\jischar{5367}}%
\uc@dclc{22156}{cjkbg5}{\u@cjk@Bgv475E}%
\uc@dclc{22157}{cjkbg5}{\u@cjk@Bgv475F}%
\uc@dclc{22158}{cjkbg5}{\u@cjk@Bgv203D}%
\uc@dclc{22158}{cjkgb}{\u@cjk@GB104C}%
\uc@dclc{22159}{cjkbg5}{\u@cjk@Bgv2042}%
\uc@dclc{22159}{cjkgb}{\u@cjk@GB1710}%
\uc@dclc{22159}{cjkjis}{\jischar{536A}}%
\uc@dclc{22160}{cjkbg5}{\u@cjk@Bgv203F}%
\uc@dclc{22163}{cjkbg5}{\u@cjk@Bgv475D}%
\uc@dclc{22163}{cjkgb}{\u@cjk@GB246B}%
\uc@dclc{22164}{cjkjis}{\jischar{5369}}%
\uc@dclc{22165}{cjkbg5}{\u@cjk@Bgv214D}%
\uc@dclc{22167}{cjkbg5}{\u@cjk@Bgv4930}%
\uc@dclc{22168}{cjkbg5}{\u@cjk@Bgv492E}%
\uc@dclc{22169}{cjkbg5}{\u@cjk@Bgv4933}%
\uc@dclc{22170}{cjkbg5}{\u@cjk@Bgv4931}%
\uc@dclc{22172}{cjkbg5}{\u@cjk@Bgv492F}%
\uc@dclc{22173}{cjkbg5}{\u@cjk@Bgv4932}%
\uc@dclc{22176}{cjkjis}{\jischar{5368}}%
\uc@dclc{22178}{cjkjis}{\jischar{4739}}%
\uc@dclc{22179}{cjkgb}{\u@cjk@GB183C}%
\uc@dclc{22181}{cjkbg5}{\u@cjk@Bgv21FA}%
\uc@dclc{22181}{cjkjis}{\jischar{536B}}%
\uc@dclc{22182}{cjkbg5}{\u@cjk@Bgv50A0}%
\uc@dclc{22183}{cjkbg5}{\u@cjk@Bgv50A1}%
\uc@dclc{22184}{cjkbg5}{\u@cjk@Bgv228D}%
\uc@dclc{22186}{cjkbg5}{\u@cjk@Bgv50A2}%
\uc@dclc{22187}{cjkbg5}{\u@cjk@Bgv509E}%
\uc@dclc{22188}{cjkbg5}{\u@cjk@Bgv50A3}%
\uc@dclc{22189}{cjkbg5}{\u@cjk@Bgv509F}%
\uc@dclc{22190}{cjkbg5}{\u@cjk@Bgv214E}%
\uc@dclc{22190}{cjkjis}{\jischar{536C}}%
\uc@dclc{22191}{cjkgb}{\u@cjk@GB246C}%
\uc@dclc{22194}{cjkbg5}{\u@cjk@Bgv51E6}%
\uc@dclc{22195}{cjkbg5}{\u@cjk@Bgv51E8}%
\uc@dclc{22196}{cjkbg5}{\u@cjk@Bgv2290}%
\uc@dclc{22196}{cjkjis}{\jischar{536E}}%
\uc@dclc{22197}{cjkbg5}{\u@cjk@Bgv51E7}%
\uc@dclc{22198}{cjkbg5}{\u@cjk@Bgv228F}%
\uc@dclc{22198}{cjkjis}{\jischar{536D}}%
\uc@dclc{22199}{cjkbg5}{\u@cjk@Bgv228E}%
\uc@dclc{22199}{cjkgb}{\u@cjk@GB1573}%
\uc@dclc{22204}{cjkbg5}{\u@cjk@Bgv2291}%
\uc@dclc{22204}{cjkgb}{\u@cjk@GB1167}%
\uc@dclc{22204}{cjkjis}{\jischar{5370}}%
\uc@dclc{22205}{cjkbg5}{\u@cjk@Bgv52E7}%
\uc@dclc{22206}{cjkbg5}{\u@cjk@Bgv52E8}%
\uc@dclc{22208}{cjkbg5}{\u@cjk@Bgv22EF}%
\uc@dclc{22208}{cjkjis}{\jischar{5373}}%
\uc@dclc{22209}{cjkbg5}{\u@cjk@Bgv22EE}%
\uc@dclc{22209}{cjkjis}{\jischar{5371}}%
\uc@dclc{22210}{cjkbg5}{\u@cjk@Bgv22F0}%
\uc@dclc{22210}{cjkjis}{\jischar{536F}}%
\uc@dclc{22211}{cjkbg5}{\u@cjk@Bgv52E6}%
\uc@dclc{22211}{cjkjis}{\jischar{5372}}%
\uc@dclc{22213}{cjkbg5}{\u@cjk@Bgv5397}%
\uc@dclc{22214}{cjkbg5}{\u@cjk@Bgv5396}%
\uc@dclc{22216}{cjkbg5}{\u@cjk@Bgv2341}%
\uc@dclc{22216}{cjkjis}{\jischar{5374}}%
\uc@dclc{22217}{cjkbg5}{\u@cjk@Bgv2343}%
\uc@dclc{22218}{cjkbg5}{\u@cjk@Bgv2342}%
\uc@dclc{22218}{cjkgb}{\u@cjk@GB140B}%
\uc@dclc{22219}{cjkbg5}{\u@cjk@Bgv5398}%
\uc@dclc{22220}{cjkbg5}{\u@cjk@Bgv237A}%
\uc@dclc{22221}{cjkbg5}{\u@cjk@Bgv549F}%
\uc@dclc{22222}{cjkjis}{\jischar{5375}}%
\uc@dclc{22225}{cjkbg5}{\u@cjk@Bgv23A3}%
\uc@dclc{22225}{cjkjis}{\jischar{5376}}%
\uc@dclc{22227}{cjkbg5}{\u@cjk@Bgv549E}%
\uc@dclc{22227}{cjkjis}{\jischar{5377}}%
\uc@dclc{22228}{cjkbg5}{\u@cjk@Bgv54E7}%
\uc@dclc{22228}{cjkgb}{\u@cjk@GB246D}%
\uc@dclc{22231}{cjkbg5}{\u@cjk@Bgv2591}%
\uc@dclc{22231}{cjkgb}{\u@cjk@GB246E}%
\uc@dclc{22231}{cjkjis}{\jischar{5378}}%
\uc@dclc{22232}{cjkjis}{\jischar{5145}}%
\uc@dclc{22234}{cjkbg5}{\u@cjk@Bgv03B1}%
\uc@dclc{22234}{cjkgb}{\u@cjk@GB1547}%
\uc@dclc{22234}{cjkjis}{\jischar{3C7C}}%
\uc@dclc{22235}{cjkbg5}{\u@cjk@Bgv03B0}%
\uc@dclc{22235}{cjkgb}{\u@cjk@GB168F}%
\uc@dclc{22235}{cjkjis}{\jischar{3B4D}}%
\uc@dclc{22237}{cjkbg5}{\u@cjk@Bgv0430}%
\uc@dclc{22237}{cjkgb}{\u@cjk@GB246F}%
\uc@dclc{22238}{cjkbg5}{\u@cjk@Bgv042F}%
\uc@dclc{22238}{cjkgb}{\u@cjk@GB10C3}%
\uc@dclc{22238}{cjkjis}{\jischar{3273}}%
\uc@dclc{22239}{cjkbg5}{\u@cjk@Bgv25ED}%
\uc@dclc{22239}{cjkgb}{\u@cjk@GB2147}%
\uc@dclc{22240}{cjkbg5}{\u@cjk@Bgv042E}%
\uc@dclc{22240}{cjkgb}{\u@cjk@GB194F}%
\uc@dclc{22240}{cjkjis}{\jischar{3078}}%
\uc@dclc{22241}{cjkbg5}{\u@cjk@Bgv25EC}%
\uc@dclc{22241}{cjkgb}{\u@cjk@GB2470}%
\uc@dclc{22242}{cjkgb}{\u@cjk@GB174C}%
\uc@dclc{22243}{cjkjis}{\jischar{4344}}%
\uc@dclc{22244}{cjkbg5}{\u@cjk@Bgv04E7}%
\uc@dclc{22244}{cjkgb}{\u@cjk@GB08EF}%
\uc@dclc{22245}{cjkbg5}{\u@cjk@Bgv266C}%
\uc@dclc{22247}{cjkbg5}{\u@cjk@Bgv266B}%
\uc@dclc{22250}{cjkbg5}{\u@cjk@Bgv04E5}%
\uc@dclc{22251}{cjkbg5}{\u@cjk@Bgv04E8}%
\uc@dclc{22251}{cjkgb}{\u@cjk@GB2472}%
\uc@dclc{22253}{cjkgb}{\u@cjk@GB19C9}%
\uc@dclc{22254}{cjkbg5}{\u@cjk@Bgv266A}%
\uc@dclc{22254}{cjkjis}{\jischar{5379}}%
\uc@dclc{22256}{cjkbg5}{\u@cjk@Bgv04E6}%
\uc@dclc{22256}{cjkgb}{\u@cjk@GB1268}%
\uc@dclc{22256}{cjkjis}{\jischar{3A24}}%
\uc@dclc{22257}{cjkgb}{\u@cjk@GB082A}%
\uc@dclc{22258}{cjkjis}{\jischar{304F}}%
\uc@dclc{22259}{cjkjis}{\jischar{3F5E}}%
\uc@dclc{22260}{cjkgb}{\u@cjk@GB178C}%
\uc@dclc{22261}{cjkgb}{\u@cjk@GB2471}%
\uc@dclc{22263}{cjkbg5}{\u@cjk@Bgv2750}%
\uc@dclc{22265}{cjkbg5}{\u@cjk@Bgv2751}%
\uc@dclc{22265}{cjkgb}{\u@cjk@GB2473}%
\uc@dclc{22265}{cjkjis}{\jischar{537A}}%
\uc@dclc{22266}{cjkbg5}{\u@cjk@Bgv05FC}%
\uc@dclc{22266}{cjkgb}{\u@cjk@GB09FB}%
\uc@dclc{22266}{cjkjis}{\jischar{3847}}%
\uc@dclc{22269}{cjkgb}{\u@cjk@GB1029}%
\uc@dclc{22269}{cjkjis}{\jischar{3971}}%
\uc@dclc{22270}{cjkgb}{\u@cjk@GB1743}%
\uc@dclc{22271}{cjkbg5}{\u@cjk@Bgv076A}%
\uc@dclc{22271}{cjkgb}{\u@cjk@GB2474}%
\uc@dclc{22271}{cjkjis}{\jischar{537C}}%
%%% Local Variables: 
%%% mode: latex
%%% coding: utf-8
%%% End: