/[mojave]/metaprl/support/display/mpsymbols.ml
ViewVC logotype

Diff of /metaprl/support/display/mpsymbols.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 9654 by kopylov, Thu Jun 22 20:02:30 2006 UTC revision 9655 by nogin, Tue Oct 31 18:16:04 2006 UTC
# Line 313  Line 313 
313  dform times_df                  : mode[prl] :: times                     = atomic["╳"] (* or atomic["⋆"] or atomic["×"] or atomic["⨉"] or atomic["⋊"] or atomic["⨯"] *)  dform times_df                  : mode[prl] :: times                     = atomic["╳"] (* or atomic["⋆"] or atomic["×"] or atomic["⨉"] or atomic["⋊"] or atomic["⨯"] *)
314  dform div_df                    : mode[prl] :: "div"                     = atomic["÷"]  dform div_df                    : mode[prl] :: "div"                     = atomic["÷"]
315  dform box_df            : mode[prl] :: box                   = atomic["□"]  dform box_df            : mode[prl] :: box                   = atomic["□"]
316    dform diamond_df                : mode[prl] :: diamond                   = atomic["◇"]
317    dform lozenge_df                : mode[prl] :: lozenge                   = atomic["◊"]
318  dform circ_df           : mode[prl] :: circ                   = atomic["○"]  dform circ_df           : mode[prl] :: circ                   = atomic["○"]
319  dform bigcirc_df                : mode[prl] :: bigcirc                   = atomic["◯"]  dform bigcirc_df                : mode[prl] :: bigcirc                   = atomic["◯"]
320  dform supplus_df                : mode[prl] :: supplus                   = atomic["⁺"]  dform supplus_df                : mode[prl] :: supplus                   = atomic["⁺"]
# Line 399  Line 401 
401  dform times_df                  : mode[html] :: times                     = html_sym["times"]  dform times_df                  : mode[html] :: times                     = html_sym["times"]
402  dform div_df                    : mode[html] :: "div"                     = html_sym["divide"]  dform div_df                    : mode[html] :: "div"                     = html_sym["divide"]
403  dform box_df            : mode[html] :: box                   = html_uni[9633]  dform box_df            : mode[html] :: box                   = html_uni[9633]
404    dform diamond_df  : mode[html] :: diamond                = html_uni[9671]
405    dform lozenge_df  : mode[html] :: lozenge                = html_uni[9674]
406  dform circ_df           : mode[html] :: circ                   = html_uni[8728]  dform circ_df           : mode[html] :: circ                   = html_uni[8728]
407  dform bigcirc_df                : mode[html] :: bigcirc                   = html_uni[9711]  dform bigcirc_df                : mode[html] :: bigcirc                   = html_uni[9711]
408  dform supplus_df                : mode[html] :: supplus                   = sup["+"]  dform supplus_df                : mode[html] :: supplus                   = sup["+"]
# Line 484  Line 488 
488  dform omega_df                  : mode[tex] :: Omega                     = mathmacro["Omega"]  dform omega_df                  : mode[tex] :: Omega                     = mathmacro["Omega"]
489  dform times_df                  : mode[tex] :: times                     = mathmacro["times"]  dform times_df                  : mode[tex] :: times                     = mathmacro["times"]
490  dform div_df                    : mode[tex] :: "div"                     = mathmacro["div"]  dform div_df                    : mode[tex] :: "div"                     = mathmacro["div"]
491  dform box_df                    : mode[tex] :: box                      = mathmacro["square"]  dform box_df                    : mode[tex] :: box                      = mathmacro["Box"]
492    dform diamond_df                : mode[tex] :: diamond                  = mathmacro["Diamond"]
493    dform lozenge_df                : mode[tex] :: lozenge                  = mathmacro["Lozenge"]
494  dform circ_df                   : mode[tex] :: circ                      = mathmacro["circ"]  dform circ_df                   : mode[tex] :: circ                      = mathmacro["circ"]
495  dform bigcirc_df                        : mode[tex] :: bigcirc                      = mathmacro["bigcirc"]  dform bigcirc_df                        : mode[tex] :: bigcirc                      = mathmacro["bigcirc"]
496  dform supplus_df                : mode[tex] :: supplus                   = sup["+"]  dform supplus_df                : mode[tex] :: supplus                   = sup["+"]

Legend:
Removed from v.9654  
changed lines
  Added in v.9655

  ViewVC Help
Powered by ViewVC 1.1.26