Through trial and error, I've been able to solve the problem mentioned below. I used \setupbodyfont[reset,modern,serif,10pt] instead of \setupbodyfont[reset,modern,10pt]. The additional "serif" option does the trick.
Maarten-Jan
----- Original Message ----
From: M.J. Kallen
To: [NTG-context] maillist
Sent: Monday, December 4, 2006 10:13:11 AM
Subject: [NTG-context] prodint typescripts remove style
Hi Hans or Taco, or anyone else,
the typescripts which you (recently) suggested for the prodint symbol work, but it turns out that any font styles (for example \bf, \it, etc.) do not. In the following example, the boldface text remains normal:
%------------------------------------------------------------------------
% test document:
\definefontsynonym [MathGamma] [prodint]
\definefamilysynonym [default] [xop] [mc]
\startmathcollection [default]
\definemathsymbol [prodi] [op] [xop] [80] %80 prodinttext
\definemathsymbol [Prodi] [op] [xop] [82] %82 prodintdisplay
\definemathsymbol [PRODI] [op] [xop] [84] %84 prodintbig
\stopmathcollection
\loadmapfile[prodint]
\starttypescript [math] [modern,computer-modern,latin-modern,ams] [size]
\definebodyfont [17.3pt,14.4pt,12pt,11pt,10pt,9pt,8pt,7pt,6pt,5pt,4pt] [mm] [mc=prodint]
\stoptypescript
\definetypeface [modern] [mm] [math] [modern]
[computer-modern][encoding=default]
\setupbodyfont[reset,modern,10pt]
\enablemathcollection[prodint]
\starttext
$\prodi,\Prodi,\PRODI$
This is {\bf boldface} text.
\stoptext
%------------------------------------------------------------------------
Do you have any suggestions to fix this?
Thanks,
Maarten-Jan
____________________________________________________________________________________
Do you Yahoo!?
Everyone is raving about the all-new Yahoo! Mail beta.
http://new.mail.yahoo.com
_______________________________________________
ntg-context mailing list
ntg-context@ntg.nl
http://www.ntg.nl/mailman/listinfo/ntg-context
____________________________________________________________________________________
Do you Yahoo!?
Everyone is raving about the all-new Yahoo! Mail beta.
http://new.mail.yahoo.com