/itexToMML : revision 42

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: 2009-11-18 18:34:37 UTC
Revision ID: distler@golem.ph.utexas.edu-20091118183437-gi86en0z13s7oizp

Tags: 1.3.18

itex2MML 1.3.18

Firefox doesn't stretch &OverBar; and &UnderBar;,
as they are now (re)defined. Change the macros for
\overline{} and \underline{}, accordingly.

files modified:
itex-src/itex2MML.h

itex-src/itex2MML.y

Show diffs side-by-side

added added

removed removed

itex-src/itex2MML.y

/* itex2MML 1.3.16

* itex2MML.y last modified 11/6/2009

/* itex2MML 1.3.18

* itex2MML.y last modified 11/18/2009

1223

};

1224

1225

munderline: UNDERLINE closedTerm {

1226

$$ = itex2MML_copy3("<munder>", $2, "<mo>&UnderBar;</mo></munder>");

1226

$$ = itex2MML_copy3("<munder>", $2, "<mo>̲</mo></munder>");

1227

itex2MML_free_string($2);

1228

};

1229

1233

};

1234

1235

bar: BAR closedTerm {

1236

$$ = itex2MML_copy3("<mover>", $2, "<mo stretchy=\"false\">&OverBar;</mo></mover>");

1236

$$ = itex2MML_copy3("<mover>", $2, "<mo stretchy=\"false\">¯</mo></mover>");

1237

itex2MML_free_string($2);

1238

}

1239

| WIDEBAR closedTerm {

1240

$$ = itex2MML_copy3("<mover>", $2, "<mo>&OverBar;</mo></mover>");

1240

$$ = itex2MML_copy3("<mover>", $2, "<mo>¯</mo></mover>");

1241

itex2MML_free_string($2);

1242

};

1243