Index: doc/papers/concurrency/AMA/AMA-stix/Stix-fonts/stix.map
===================================================================
--- doc/papers/concurrency/AMA/AMA-stix/Stix-fonts/stix.map	(revision d5ccbe9f055cb1ee3039ed2bc1fcc1b1cc6d2286)
+++ doc/papers/concurrency/AMA/AMA-stix/Stix-fonts/stix.map	(revision d5ccbe9f055cb1ee3039ed2bc1fcc1b1cc6d2286)
@@ -0,0 +1,61 @@
+t1-stixgeneral             STIXGeneral-Regular    "stixt1  ReEncodeFont" <stix-t1.enc  <STIXGeneral-Regular.pfb
+t1-stixgeneral-bold        STIXGeneral-Bold       "stixt1  ReEncodeFont" <stix-t1.enc  <STIXGeneral-Bold.pfb
+t1-stixgeneral-italic      STIXGeneral-Italic     "stixt1  ReEncodeFont" <stix-t1.enc  <STIXGeneral-Italic.pfb
+t1-stixgeneral-bolditalic  STIXGeneral-BoldItalic "stixt1  ReEncodeFont" <stix-t1.enc  <STIXGeneral-BoldItalic.pfb
+
+ts1-stixgeneral            STIXGeneral-Regular    "stixts1 ReEncodeFont" <stix-ts1.enc <STIXGeneral-Regular.pfb
+ts1-stixgeneral-bold       STIXGeneral-Bold       "stixts1 ReEncodeFont" <stix-ts1.enc <STIXGeneral-Bold.pfb
+ts1-stixgeneral-italic     STIXGeneral-Italic     "stixts1 ReEncodeFont" <stix-ts1.enc <STIXGeneral-Italic.pfb
+ts1-stixgeneral-bolditalic STIXGeneral-BoldItalic "stixts1 ReEncodeFont" <stix-ts1.enc <STIXGeneral-BoldItalic.pfb
+
+ot1-stixgeneral            STIXGeneral-Regular    "stixot1 ReEncodeFont" <stix-ot1.enc <STIXGeneral-Regular.pfb
+ot1-stixgeneral-bold       STIXGeneral-Bold       "stixot1 ReEncodeFont" <stix-ot1.enc <STIXGeneral-Bold.pfb
+ot1-stixgeneral-italic     STIXGeneral-Italic     "stixot1 ReEncodeFont" <stix-ot1.enc <STIXGeneral-Italic.pfb
+ot1-stixgeneral-bolditalic STIXGeneral-BoldItalic "stixot1 ReEncodeFont" <stix-ot1.enc <STIXGeneral-BoldItalic.pfb
+
+ot2-stixgeneral            STIXGeneral-Regular    "stixot2 ReEncodeFont" <stix-ot2.enc <STIXGeneral-Regular.pfb
+ot2-stixgeneral-bold       STIXGeneral-Bold       "stixot2 ReEncodeFont" <stix-ot2.enc <STIXGeneral-Bold.pfb
+ot2-stixgeneral-italic     STIXGeneral-Italic     "stixot2 ReEncodeFont" <stix-ot2.enc <STIXGeneral-Italic.pfb
+ot2-stixgeneral-bolditalic STIXGeneral-BoldItalic "stixot2 ReEncodeFont" <stix-ot2.enc <STIXGeneral-BoldItalic.pfb
+
+stix-mathrm        STIXMath-Regular              <stix-mathrm.pfb
+stix-mathrm-bold   STIXMath-Bold                 <stix-mathrm-bold.pfb
+stix-mathit        STIXMath-Italic               <stix-mathit.pfb
+stix-mathit-bold   STIXMath-BoldItalic           <stix-mathit-bold.pfb
+
+stix-mathsf        STIXMathSans-Regular          <stix-mathsf.pfb
+stix-mathsfit      STIXMathSans-Italic           <stix-mathsfit.pfb
+stix-mathsf-bold   STIXMathSans-Bold             <stix-mathsf-bold.pfb
+stix-mathsfit-bold STIXMathSans-BoldItalic       <stix-mathsfit-bold.pfb
+
+stix-mathtt        STIXMathTyperwriter-Regular   <stix-mathtt.pfb
+stix-mathtt-bold   STIXMathTyperwriter-Bold      <stix-mathtt-bold.pfb
+
+stix-mathbb        STIXMathBlackboard-Regular    <stix-mathbb.pfb
+stix-mathbbit      STIXMathBlackboard-Italic     <stix-mathbbit.pfb
+stix-mathbb-bold   STIXMathBlackboard-Bold       <stix-mathbb-bold.pfb
+stix-mathbbit-bold STIXMathBlackboard-BoldItalic <stix-mathbbit-bold.pfb
+
+stix-mathscr       STIXMathScript-Regular        <stix-mathscr.pfb
+stix-mathscr-bold  STIXMathScript-Bold           <stix-mathscr-bold.pfb
+
+stix-mathcal       STIXMathCalligraphy-Regular   <stix-mathcal.pfb
+stix-mathcal-bold  STIXMathCalligraphy-Bold      <stix-mathcal-bold.pfb
+
+stix-mathfrak      STIXMathFraktur-Regular       <stix-mathfrak.pfb
+stix-mathfrak-bold STIXMathFraktur-Bold          <stix-mathfrak-bold.pfb
+
+stix-mathex        STIXMathExtensions-Regular    <stix-mathex.pfb
+stix-mathex-bold   STIXMathExtensions-Bold       <stix-mathex-bold.pfb
+
+stix-extra1      STIXGeneral-Regular "stixextra  ReEncodeFont" <stix-extra1.enc <STIXGeneral-Regular.pfb
+stix-extra2      STIXGeneral-Regular "stixextra2 ReEncodeFont" <stix-extra2.enc <STIXGeneral-Regular.pfb
+stix-extra3      STIXGeneral-Regular "stixextra3 ReEncodeFont" <stix-extra3.enc <STIXGeneral-Regular.pfb
+stix-extra1-bold STIXGeneral-Bold    "stixextra  ReEncodeFont" <stix-extra1.enc <STIXGeneral-Bold.pfb
+stix-extra2-bold STIXGeneral-Bold    "stixextra2 ReEncodeFont" <stix-extra2.enc <STIXGeneral-Bold.pfb
+stix-extra3-bold STIXGeneral-Bold    "stixextra3 ReEncodeFont" <stix-extra3.enc <STIXGeneral-Bold.pfb
+
+StixBd STIX-Bold "AutoEnc_axxd65ow2itmagzxgdtfjmwsmc ReEncodeFont" <[a_axxd65.enc <<STIX-Bold.pfb
+StixBdIt STIX-BoldItalic "AutoEnc_axxd65ow2itmagzxgdtfjmwsmc ReEncodeFont" <[a_axxd65.enc <<STIX-BoldItalic.pfb
+StixIt STIX-Italic "AutoEnc_axxd65ow2itmagzxgdtfjmwsmc ReEncodeFont" <[a_axxd65.enc <<STIX-Italic.pfb
+StixReg STIX-Regular "AutoEnc_axxd65ow2itmagzxgdtfjmwsmc ReEncodeFont" <[a_axxd65.enc <<STIX-Regular.pfb
