12 Feb
2010
12 Feb
'10
4:02 a.m.
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