some math symbols not working
Hi, I was trying some math symbols and stumbled over the following commands, that do not work in my context documents (the comments say what's not working exactly). The pasted document works at http://live.contextgarden.net/ . I'm using the latest context-minimals as provided on the website. Is this a MkIV issue? In addition: \ncong is not aligned with = and \cong Thanks in advance! Stefan \starttext \startformula % the following give "Undefined control sequence": \gneq % \lneq works \lhd \rhd \unlhd \unrhd \Diamond % the following produce no symbol: \mapsto \hookleftarrow \longleftarrow \Longleftarrow \longrightarrow \Longrightarrow \longleftrightarrow \Longleftrightarrow \longmapsto \hookrightarrow \Join \blacksquare \bowtie \models \ncong % \cong produces the wrong symbol: it shows a dot on top of a plus, but there should be a ~ on top of = \cong \stopformula \stoptext
On Mon, 8 Feb 2010, Warrence wrote:
Hi, I was trying some math symbols and stumbled over the following commands, that do not work in my context documents (the comments say what's not working exactly). The pasted document works at http://live.contextgarden.net/ . I'm using the latest context-minimals as provided on the website. Is this a MkIV issue?
Yes. The mappings in MkIV are incomplete. Whenever you find a missing symbol, send an email, and I will try to fix add it.
\cong
The mapping in math-vfu is wrong and it was mapping the unicode slot of cong to the glyph for dotplus. I am attaching a file that fixes this. However, I do not know how to proceed for \cong. \cong is one of the symbols thar are composed from other symbols in plain tex. So, most traditional tex math fonts (including LM) do not have that symbol. However, opentype math fonts do. Ideally, what we want to map \cong to a font glyph, if one exists; otherwise, we should fall back to a composed character. Hans, we need a mechanism to implement fallbacks for math characters.
\mapsto \hookleftarrow \longleftarrow \Longleftarrow \longrightarrow \Longrightarrow \longleftrightarrow \Longleftrightarrow \longmapsto \hookrightarrow \bowtie \models \Join
Same thing as \cong.
\blacksquare
Added
In addition: \ncong is not aligned with = and \cong
I am not sure what \ncong should map to: 0x2246 or 0x2247? There is inconsistency between the mappings in char-def and math-vfu which can be fixed easily once I figure out what is the correct mapping.
% the following give "Undefined control sequence": \gneq % \lneq works
Fixed.. was a typo
\Diamond \lozenge
I am not sure which unicode slot this should map to (0x25C7?). What is the difference between \diamond and \Diamond?
\lhd \rhd \unlhd \unrhd
I am not sure which unicode slot they should map to. In ams mappings \triangleleft is different from \lhd, and I cannot find the right symbols for both. I will investigate more for the last two sets. In the mean time, Hans can you apply the attached patch for \blacksquare and \gneq. Aditya
On 12-2-2010 0:10, Aditya Mahajan wrote:
Hans, we need a mechanism to implement fallbacks for math characters.
\mapsto \hookleftarrow \longleftarrow \Longleftarrow \longrightarrow \Longrightarrow \longleftrightarrow \Longleftrightarrow \longmapsto \hookrightarrow \bowtie \models \Join
grep for fallback in char-def.lua -) eventually I want to solve that by using virtual characters Hans ----------------------------------------------------------------- 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 Fri, 12 Feb 2010, Hans Hagen wrote:
On 12-2-2010 0:10, Aditya Mahajan wrote:
Hans, we need a mechanism to implement fallbacks for math characters.
\mapsto \hookleftarrow \longleftarrow \Longleftarrow \longrightarrow \Longrightarrow \longleftrightarrow \Longleftrightarrow \longmapsto \hookrightarrow \bowtie \models \Join
grep for fallback in char-def.lua -)
I mean a mechanism that actually does something :-). Try $\nsubset$.
eventually I want to solve that by using virtual characters
Should I just start adding stuff to fallback and assume that you will get the mechanism to work? IIRC, in the past we were not sure where to specify the fallback characters. Aditya
On 12-2-2010 4:02, Aditya Mahajan wrote:
Should I just start adding stuff to fallback and assume that you will get the mechanism to work? IIRC, in the past we were not sure where to specify the fallback characters.
indeed, if these chars are on other than tex fonts, i will make virtual lm glyphs .. eventually they will be in lm//gyre anyway Hans ----------------------------------------------------------------- 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 -----------------------------------------------------------------
participants (3)
-
Aditya Mahajan -
Hans Hagen -
Warrence