Using the PragmataPro font in ConTeXt

Question

I am trying to use the beautiful PragmataPro font in a ConTeXt document. My font setup is the following.

\definefontfamily [mainface] [serif] [Baskerville]
\definefontfamily [mainface] [sans]  [Open Sans]
\definefontfamily [mainface] [mono]  [Pragmata Pro]
\definefontfamily [mainface] [math]  [Pragmata Pro]

\setupbodyfont[mainface,12pt]

However, the following math snippet fails to render; it fails at 𝟚.

\startformula
  Ω BAut 𝟚 ≃ Aut 𝟚 ≃ 𝟚
\stopformula

I see the following error message in logs.

mkiv lua stats  > unknown math characters: 𝟚 (U+1D7DA) (n=4)

PragmataPro includes this character and I can also see it when typing it in emacs using PragmataPro.

My ConTeXt version:

mtx-context     | ConTeXt Process Management 0.63
mtx-context     |
mtx-context     | main context file: /usr/share/texmf-dist/tex/context/base/mkiv/context.mkiv
mtx-context     | current version: 2016.05.17 19:20

Answer 1

I do not have your proprietary fonts. Here is a minimal example which uses DejaVu Sans for math. The main math font is still Latin Modern Math but letters, Greek, mathematical operator, and double struck digits, of course, are taken from DejaVu via fallback.

\definefontfamily [mainface] [rm] [DejaVu Serif]
\definefontfamily [mainface] [ss] [DejaVu Sans]
\definefontfamily [mainface] [tt] [DejaVu Sans]

\definefallbackfamily [mainface] [mm] [DejaVu Sans] [range=lowercasenormal]
\definefallbackfamily [mainface] [mm] [DejaVu Sans] [range=lowercasenormal,offset=lowercaseitalic,tf=style:italic]
\definefallbackfamily [mainface] [mm] [DejaVu Sans] [range=uppercasenormal]
\definefallbackfamily [mainface] [mm] [DejaVu Sans] [range=uppercasenormal,offset=uppercaseitalic,tf=style:italic]
\definefallbackfamily [mainface] [mm] [DejaVu Sans] [range=lowercasegreeknormal,offset=lowercasegreekitalic,tf=style:italic]
\definefallbackfamily [mainface] [mm] [DejaVu Sans] [range=uppercasegreeknormal]
\definefallbackfamily [mainface] [mm] [DejaVu Sans] [range=digitsdoublestruck]
\definefallbackfamily [mainface] [mm] [DejaVu Sans] [range=mathematicaloperators]

\definefontfamily [mainface] [mm] [Latin Modern Math]

\setupbodyfont[mainface,12pt]

\setupmathlabeltext[Aut=Aut]
\definemathcommand[Aut][nolop]{\mfunctionlabeltext{Aut}}

\starttext

\mono{Ω B Aut 𝟚 ≃ Aut 𝟚 ≃ 𝟚}

\startformula
  Ω B \Aut 𝟚 ≃ \Aut 𝟚 ≃ 𝟚
\stopformula

\stoptext

As I already said in the comments, results are really poor when trying to use non-math fonts in math. I'm rather surprised that it actually does not turn out like complete rubbish.