/itexToMML

To download this project, use:
bzr branch http://golem.ph.utexas.edu/~distler/code/itexToMML/

« back to all changes in this revision

Viewing changes to itex-src/itex2MML.y

  • Committer: Jacques Distler
  • Date: 2010-05-24 17:13:31 UTC
  • Revision ID: distler@golem.ph.utexas.edu-20100524171331-z5qt6kuigbvt01e4
Tags: 1.3.24
itex2MML 1.3.24: Fix \hat{} and \widehat{}

I give up. The MathML operator dictionary
indicates we should use U+005E, not U+0302.
So let's do that (which makes \widehat{}
work in Firefox).

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.y
1
 
/*             itex2MML 1.3.21
2
 
 *   itex2MML.y last modified 4/4/2010
 
1
/*             itex2MML 1.3.24
 
2
 *   itex2MML.y last modified 5/24/2010
3
3
 */
4
4
 
5
5
%{
1289
1289
};
1290
1290
 
1291
1291
hat: HAT closedTerm {
1292
 
  $$ = itex2MML_copy3("<mover>", $2, "<mo stretchy=\"false\">&#x302;</mo></mover>");
 
1292
  $$ = itex2MML_copy3("<mover>", $2, "<mo stretchy=\"false\">&#x5E;</mo></mover>");
1293
1293
  itex2MML_free_string($2);
1294
1294
}
1295
1295
| WIDEHAT closedTerm {
1296
 
  $$ = itex2MML_copy3("<mover>", $2, "<mo>&#x302;</mo></mover>");
 
1296
  $$ = itex2MML_copy3("<mover>", $2, "<mo>&#x5E;</mo></mover>");
1297
1297
  itex2MML_free_string($2);
1298
1298
};
1299
1299