Dear list, the following are probably bugs in the new math engine as of yesterday's beta (2009.05.14 16:44): 1. The symbols for number sets in Cambria Math aren't taken from the double-struck variant. --- \usetypescript[cambria] \setupbodyfont[cambria] \starttext \math{\naturalnumbers}, \math{\integers}, \math{\rationals}, \math{\reals}, \math{\complexes}, \math{\primes} \stoptext --- 2. Vector arrows look somewhat strange in Cambria Math ... is this perhaps due to the font itself? --- \usetypescript[cambria] \setupbodyfont[cambria] \starttext The arrows should neither extend over the right bracket nor into the primes: \startformula{} [\alpha(\vec{k})\alpha(\vec{k}'),\alpha^\dagger(\vec{k}'')] \stopformula \stoptext --- 3. The command \implies is undefined (see previous posting). --- \starttext \startformula A\implies B \stopformula \stoptext --- Oliver
On Fri, 15 May 2009, Oliver Buerschaper wrote:
Dear list,
the following are probably bugs in the new math engine as of yesterday's beta (2009.05.14 16:44):
1. The symbols for number sets in Cambria Math aren't taken from the double-struck variant.
Hans, please apply the following patch to math-def.mkiv diff --git a/math-def.mkiv b/math-def.mkiv index 31db66e..30beb5c 100644 --- a/math-def.mkiv +++ b/math-def.mkiv @@ -97,12 +97,12 @@ \definemathcommand [tanh] [nolop] {\mfunction{tanh}} \definemathcommand [tan] [nolop] {\mfunction{tan}} -\definemathcommand [integers] {\mfunction{Z}} -\definemathcommand [reals] {\mfunction{R}} -\definemathcommand [rationals] {\mfunction{Q}} -\definemathcommand [naturalnumbers] {\mfunction{N}} -\definemathcommand [complexes] {\mfunction{C}} -\definemathcommand [primes] {\mfunction{P}} +\definemathcommand [integers] {\mathblackboard{Z}} +\definemathcommand [reals] {\mathblackboard{R}} +\definemathcommand [rationals] {\mathblackboard{Q}} +\definemathcommand [naturalnumbers] {\mathblackboard{N}} +\definemathcommand [complexes] {\mathblackboard{C}} +\definemathcommand [primes] {\mathblackboard{P}} % using attributes
2. Vector arrows look somewhat strange in Cambria Math ... is this perhaps due to the font itself?
--- \usetypescript[cambria] \setupbodyfont[cambria]
\starttext
The arrows should neither extend over the right bracket nor into the primes:
\startformula{} [\alpha(\vec{k})\alpha(\vec{k}'),\alpha^\dagger(\vec{k}'')] \stopformula
\stoptext ---
I don't know whether the font or luatex/context is at fault.
3. The command \implies is undefined (see previous posting).
Hans, can we add this somewhere? %D This is a temporary hack until we figure out how to do this correctly. \unexpanded\def\implies {\mathrel{\;\Longrightarrow\;}} \unexpanded\def\impliedby {\mathrel{\;\Longleftarrow\;}} \unexpanded\def\And {\mathrel{\;\internalAnd\;}} \unexpanded\def\iff {\;\Longleftrightarrow\;} Aditya
Aditya Mahajan wrote:
Hans, please apply the following patch to math-def.mkiv
ok ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------
1. The symbols for number sets in Cambria Math aren't taken from the double-struck variant.
Hans, please apply the following patch to math-def.mkiv
diff --git a/math-def.mkiv b/math-def.mkiv index 31db66e..30beb5c 100644 --- a/math-def.mkiv +++ b/math-def.mkiv @@ -97,12 +97,12 @@ \definemathcommand [tanh] [nolop] {\mfunction{tanh}} \definemathcommand [tan] [nolop] {\mfunction{tan}}
-\definemathcommand [integers] {\mfunction{Z}} -\definemathcommand [reals] {\mfunction{R}} -\definemathcommand [rationals] {\mfunction{Q}} -\definemathcommand [naturalnumbers] {\mfunction{N}} -\definemathcommand [complexes] {\mfunction{C}} -\definemathcommand [primes] {\mfunction{P}} +\definemathcommand [integers] {\mathblackboard{Z}} +\definemathcommand [reals] {\mathblackboard{R}} +\definemathcommand [rationals] {\mathblackboard{Q}} +\definemathcommand [naturalnumbers] {\mathblackboard{N}} +\definemathcommand [complexes] {\mathblackboard{C}} +\definemathcommand [primes] {\mathblackboard{P}}
% using attributes
Many thanks! Although this doesn't quite solve the bug yet, now I know where to look ... Test case: --- \starttext \math{\primes P}, \math{\naturalnumbers N}, \math{\integers Z}, \math{\rationals Q}, \math{\reals R}, \math{\complexes C} \stoptext --- Proposed patch: diff math-def.mkiv.orig math-def.mkiv 100,105c100,105 < \definemathcommand [integers] {\mathblackboard{Z}} < \definemathcommand [reals] {\mathblackboard{R}} < \definemathcommand [rationals] {\mathblackboard{Q}} < \definemathcommand [naturalnumbers]{\mathblackboard{N}} < \definemathcommand [complexes] {\mathblackboard{C}} < \definemathcommand [primes] {\mathblackboard{P}} ---
\definemathcommand [integers] {{\mathblackboard Z}} \definemathcommand [reals] {{\mathblackboard R}} \definemathcommand [rationals] {{\mathblackboard Q}} \definemathcommand [naturalnumbers]{{\mathblackboard N}} \definemathcommand [complexes] {{\mathblackboard C}} \definemathcommand [primes] {{\mathblackboard P}}
Hans, Aditya, does this make sense? Oliver
On Wed, 20 May 2009, Oliver Buerschaper wrote:
Proposed patch:
diff math-def.mkiv.orig math-def.mkiv 100,105c100,105 < \definemathcommand [integers] {\mathblackboard{Z}} < \definemathcommand [reals] {\mathblackboard{R}} < \definemathcommand [rationals] {\mathblackboard{Q}} < \definemathcommand [naturalnumbers]{\mathblackboard{N}} < \definemathcommand [complexes] {\mathblackboard{C}} < \definemathcommand [primes] {\mathblackboard{P}} ---
\definemathcommand [integers] {{\mathblackboard Z}} \definemathcommand [reals] {{\mathblackboard R}} \definemathcommand [rationals] {{\mathblackboard Q}} \definemathcommand [naturalnumbers]{{\mathblackboard N}} \definemathcommand [complexes] {{\mathblackboard C}} \definemathcommand [primes] {{\mathblackboard P}}
Hans, Aditya, does this make sense?
Yes, I should unlearn amsmath syntax at some stage. Aditya
Aditya Mahajan wrote:
On Wed, 20 May 2009, Oliver Buerschaper wrote:
Proposed patch:
diff math-def.mkiv.orig math-def.mkiv 100,105c100,105 < \definemathcommand [integers] {\mathblackboard{Z}} < \definemathcommand [reals] {\mathblackboard{R}} < \definemathcommand [rationals] {\mathblackboard{Q}} < \definemathcommand [naturalnumbers]{\mathblackboard{N}} < \definemathcommand [complexes] {\mathblackboard{C}} < \definemathcommand [primes] {\mathblackboard{P}} ---
\definemathcommand [integers] {{\mathblackboard Z}} \definemathcommand [reals] {{\mathblackboard R}} \definemathcommand [rationals] {{\mathblackboard Q}} \definemathcommand [naturalnumbers]{{\mathblackboard N}} \definemathcommand [complexes] {{\mathblackboard C}} \definemathcommand [primes] {{\mathblackboard P}}
Hans, Aditya, does this make sense?
Yes, I should unlearn amsmath syntax at some stage.
\unexpanded\def\mathscript {\setmathalphabet{script}} \unexpanded\def\mathfraktur {\setmathalphabet{fraktur}} \unexpanded\def\mathblackboard{\setmathalphabet{blackboard}} we can make these into \unexpanded\def\mathscript #1{{\setmathalphabet{script}#1}} \unexpanded\def\mathfraktur #1{{\setmathalphabet{fraktur}#1}} \unexpanded\def\mathblackboard#1{{\setmathalphabet{blackboard}#1}} \unexpanded\def\mathsr{\setmathalphabet{script}} \unexpanded\def\mathfr{\setmathalphabet{fraktur}} \unexpanded\def\mathbb{\setmathalphabet{blackboard}} does that make sense? ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------
On Thu, 21 May 2009, Hans Hagen wrote:
Aditya Mahajan wrote:
On Wed, 20 May 2009, Oliver Buerschaper wrote:
Proposed patch:
diff math-def.mkiv.orig math-def.mkiv 100,105c100,105 < \definemathcommand [integers] {\mathblackboard{Z}} < \definemathcommand [reals] {\mathblackboard{R}} < \definemathcommand [rationals] {\mathblackboard{Q}} < \definemathcommand [naturalnumbers]{\mathblackboard{N}} < \definemathcommand [complexes] {\mathblackboard{C}} < \definemathcommand [primes] {\mathblackboard{P}} ---
\definemathcommand [integers] {{\mathblackboard Z}} \definemathcommand [reals] {{\mathblackboard R}} \definemathcommand [rationals] {{\mathblackboard Q}} \definemathcommand [naturalnumbers]{{\mathblackboard N}} \definemathcommand [complexes] {{\mathblackboard C}} \definemathcommand [primes] {{\mathblackboard P}}
Hans, Aditya, does this make sense?
Yes, I should unlearn amsmath syntax at some stage.
\unexpanded\def\mathscript {\setmathalphabet{script}} \unexpanded\def\mathfraktur {\setmathalphabet{fraktur}} \unexpanded\def\mathblackboard{\setmathalphabet{blackboard}}
we can make these into
\unexpanded\def\mathscript #1{{\setmathalphabet{script}#1}} \unexpanded\def\mathfraktur #1{{\setmathalphabet{fraktur}#1}} \unexpanded\def\mathblackboard#1{{\setmathalphabet{blackboard}#1}}
\unexpanded\def\mathsr{\setmathalphabet{script}} \unexpanded\def\mathfr{\setmathalphabet{fraktur}} \unexpanded\def\mathbb{\setmathalphabet{blackboard}}
does that make sense?
Actually, better will be if we go for full ams compatibility: Leave \mathscript, \mathfraktur, and \mathblackboard as they are, and define \unexpanded\def\mathcal #1{{\setmathalphabet{script}#1}} \unexpanded\def\mathfrak#1{{\setmathalphabet{fraktur}#1}} \unexpanded\def\mathbb #1{{\setmathalphabet{blackboard}#1}} %TODO: Once bold is settled %unexpanded\def\mathbf #1{{\setmathalphabet{bold}#1}} % TODO: I need to actually see what exactly these commands to %unexpanded\def\mathrm #1{{....} %unexpanded\def\mathit #1{{....} % TODO: Probably better will be \mathss since we use ss for sans serif %unexpanded\def\mathsf #1{{....} % TODO: \mathscr is euler script. We can add this, but need to figure out % how to deal with two script families in a configurable way % For LM one can go with either euler script or RSFS (or both?) %unexpanded\def\mathscr #1{{...} Aditya
participants (3)
-
Aditya Mahajan -
Hans Hagen -
Oliver Buerschaper