Timeline for Problems with \not\equiv on Firefox 13.0
Current License: CC BY-SA 3.0
16 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 17, 2012 at 11:26 | history | edited | Davide Cervone | CC BY-SA 3.0 |
added 156 characters in body
|
| Jun 16, 2012 at 22:58 | comment | added | Davide Cervone | @Arturo, it does look like FF 13.0.1 fixes the problem, so the extension is no longer necessary. Nice that they acted so fast on this one. | |
| Jun 16, 2012 at 22:51 | comment | added | Davide Cervone | @Arturo, thanks for the info. I'll check it out myself and see what I can find out. | |
| Jun 16, 2012 at 18:52 | comment | added | Arturo Magidin |
@Davide: I updated to Firefox 13.0.1 last night; on a whim, I un-enabled greasemonkey and your script, and at least \not\equiv seems to be displaying correctly regardless. I don't know enough about greasemonkey to know whether unchecking it actually disables it, but it's possible the issue may have gotten fixed on the firefox side.
|
|
| Jun 13, 2012 at 16:48 | vote | accept | Arturo Magidin | ||
| Jun 13, 2012 at 13:34 | comment | added | Davide Cervone |
@Arturo: I have updated the extension linked in my answer above. You should remove the one you have (via GreaseMonkey's "Manage Scripts" panel accessible from the menu in the upper right of the window) and click the link again to get the new version. It takes care of the missing arrows and \asymp, but also handles bold versions of the problematic symbols. Let me know if you find anything else missing.
|
|
| Jun 12, 2012 at 16:43 | comment | added | Davide Cervone | @Arturo: Thanks, I had already figured out the arrows, but \asymp was not one I had seen, and it needs to be added to MathJax's official handling of \not as well. Thanks for catching that. I'll let you know when I have an update. I may not get it out until later today. | |
| Jun 12, 2012 at 16:32 | comment | added | Arturo Magidin |
@Davide: Okay: I tried all the relation and arrow symbols on page 43 of Lamport's book, plus a few other things. The ones that are still giving trouble are: \not\asymp, \not\leftarrow, \not\Leftarrow, \not\rightarrow, \not\Rightarrow, \not\leftrightarrow, and \not\Leftrightarrow
|
|
| Jun 12, 2012 at 16:27 | comment | added | Arturo Magidin | @Davide: I'm trying all the symbols on page 43 of Lamport's book. I'll let you know shortly which ones are messing up. | |
| Jun 12, 2012 at 16:24 | comment | added | Davide Cervone | OK, it looks like there are some other combinations that I missed. I'll have to make a more complete list, and post an update. | |
| Jun 12, 2012 at 16:21 | comment | added | Arturo Magidin |
Okay, I installed it: it cleared up the \not\equiv and the \not\subset issue; however, it is still messing up \not\to, \not\rightarrow, and \not\leftarrow (I haven't tried all symbols, of course...)
|
|
| Jun 12, 2012 at 16:21 | comment | added | Davide Cervone | @Arturo, in the Tools menu is an Add-Ons item. Select that and you should get Firefox's add-ons manager tab. Type "GreaseMonkey" into the search bar at the top. That should get you a list of add-ons, and GreaseMonkey should be one. There should be an "Install" button next to it. Clicking that should install it. I don't remember if it requires a restart or not. Once running, if you click on the link in my post, it should put up a window asking if you want to install my extension. Do so, then reload this page and see if the character shows up properly. Let me know if more is needed. | |
| Jun 12, 2012 at 16:15 | comment | added | Arturo Magidin | First: Thanks for taking the time to track this down! Second: No, I've never used greasemonkey. update: Okay, I just googled and found the add-on, and have installed greasemonkey. I'll try the extension and let you know if it works for me. Ubuntu now, Windows tonight at home. | |
| Jun 12, 2012 at 15:48 | history | edited | Davide Cervone | CC BY-SA 3.0 |
Added link to an extension that fixes the problem
|
| Jun 12, 2012 at 13:13 | comment | added | Willie Wong Mod | Holy detective work, batman! I'm sure glad you hang around MSE. | |
| Jun 12, 2012 at 12:37 | history | answered | Davide Cervone | CC BY-SA 3.0 |