Mozilla bug: missing minus

updated 2006-05-25.

X = 1 ­ Y.

The above *appears* to be a minus character in some editors, but is completely invisible in Mozilla.

fix: use a real minus character "--" (0x2d), not the soft hyphen "­­" (0xad).