Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorTobyBartels
   • CommentTimeAug 18th 2012
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItexMaybe this is my browsers fault for doing MathML badly, but compare inline ‘$\hat{\otimes}$’ with displayed ‘ $$ \hat{\otimes} $$ ’. That hat is too far to the right (for me) on the inline version, but the displayed one is fine. With a different symbol, ‘$\hat{\times}$’ is also fine, even inline. This happens on both the Forum and the Lab. Compare the appearances of this symbol in [[tensor product of Banach spaces]] (inline) and [[Banach coalgebra]] (displayed).

   Maybe this is my browsers fault for doing MathML badly, but compare inline ‘$\hat{\otimes}$’ with displayed ‘

   $$\hat{\otimes}$$

   ’. That hat is too far to the right (for me) on the inline version, but the displayed one is fine. With a different symbol, ‘$\hat{\times}$’ is also fine, even inline.

   This happens on both the Forum and the Lab. Compare the appearances of this symbol in tensor product of Banach spaces (inline) and Banach coalgebra (displayed).

2. • CommentRowNumber2.
   • CommentAuthorAndrew Stacey
   • CommentTimeAug 20th 2012
   • PermaLink
   Author: Andrew Stacey
   Format: MarkdownItexI reported this to Jacques a while ago: <http://golem.ph.utexas.edu/forum/forums/itex2mml/topics/bugs#post_192> and it led to a bit of back-and-forth as to whether or not this was iTeX or Firefox. I'm not sure what Jacques decided to do.

   I reported this to Jacques a while ago: http://golem.ph.utexas.edu/forum/forums/itex2mml/topics/bugs#post_192 and it led to a bit of back-and-forth as to whether or not this was iTeX or Firefox. I’m not sure what Jacques decided to do.

3. • CommentRowNumber3.
   • CommentAuthorTobyBartels
   • CommentTimeAug 21st 2012
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItexIt shows up just fine on my phone!

   It shows up just fine on my phone!

4. • CommentRowNumber4.
   • CommentAuthorAndrew Stacey
   • CommentTimeAug 21st 2012
   • PermaLink
   Author: Andrew Stacey
   Format: MarkdownItexYour phone probably uses MathJaX to convert the MathML to HTML+CSS.

   Your phone probably uses MathJaX to convert the MathML to HTML+CSS.

5. • CommentRowNumber5.
   • CommentAuthorTobyBartels
   • CommentTimeAug 21st 2012
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItexYes, it does.

   Yes, it does.

6. • CommentRowNumber6.
   • CommentAuthorTobyBartels
   • CommentTimeAug 22nd 2012
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItexThis bug also shows up (on my Firefox) in displayed equations in scripstyle: $$ X_{\hat{\otimes}} $$ (This can also be seen in [[Banach coalgebra]].)

   This bug also shows up (on my Firefox) in displayed equations in scripstyle:

   $$X_{\hat{\otimes}}$$

   (This can also be seen in Banach coalgebra.)

7. • CommentRowNumber7.
   • CommentAuthorAndrew Stacey
   • CommentTimeAug 22nd 2012
   • PermaLink
   Author: Andrew Stacey
   Format: MarkdownItexWorkaround: put an explicit `\displaystyle` before the `\hat` (the scriptstyle overrode the outer displaystyle, I guess): $$ X_{\displaystyle \hat{\otimes}} $$ $ X {\displaystyle \hat{\otimes}} \hat{\otimes} $ (Not ideal, I know)

   Workaround: put an explicit \displaystyle before the \hat (the scriptstyle overrode the outer displaystyle, I guess):

   $$X_{\displaystyle \hat{\otimes}}$$

   $X {\displaystyle \hat{\otimes}} \hat{\otimes}$

   (Not ideal, I know)

8. • CommentRowNumber8.
   • CommentAuthorTobyBartels
   • CommentTimeAug 22nd 2012
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItexI would like to search-and-replace, putting `\displaystyle` where needed, but inside braces so it won't affect the rest of the material, so inside a `\mathbin` to make the spacing correct. But `\mathbin` in iTeX is not `\mathbin`! It's more like `\verb`, or I guess `\mathbin{\verb …}`. That is, I'm inclined to say, terribly wrong. Anyway, I'm going to drop the `\mathbin`, since (unlike in real LaTeX) this doesn't seem to make a difference, but that's yet one more reason why we will never export these pages to real LaTeX.

   I would like to search-and-replace, putting \displaystyle where needed, but inside braces so it won’t affect the rest of the material, so inside a \mathbin to make the spacing correct. But \mathbin in iTeX is not \mathbin! It’s more like \verb, or I guess \mathbin{\verb …}. That is, I’m inclined to say, terribly wrong.

   Anyway, I’m going to drop the \mathbin, since (unlike in real LaTeX) this doesn’t seem to make a difference, but that’s yet one more reason why we will never export these pages to real LaTeX.

9. • CommentRowNumber9.
   • CommentAuthorTobyBartels
   • CommentTimeAug 22nd 2012
   • (edited Aug 22nd 2012)
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItexActually, `\displaystyle` appears to apply only to what immediately follows it. On the one hand, that means that no braces are necessary. On the other hand, that's yet another incompatibility between iTeX and LaTeX. Edit: No, that's not the rule either. Outside of braces, it applies to everything (or everything that follows), as in LaTeX; inside of braces, it applies only to its immediate argument. AFAICT. ??? (At least on the Lab; I can only tell this on the Lab because `\displaystyle` *also* incorrectly alters the size of `\otimes` there, but it doesn't do that on the Forum.) See the [[Sandbox]].

   Actually, \displaystyle appears to apply only to what immediately follows it. On the one hand, that means that no braces are necessary. On the other hand, that’s yet another incompatibility between iTeX and LaTeX.

   Edit: No, that’s not the rule either. Outside of braces, it applies to everything (or everything that follows), as in LaTeX; inside of braces, it applies only to its immediate argument. AFAICT. ??? (At least on the Lab; I can only tell this on the Lab because \displaystyle also incorrectly alters the size of \otimes there, but it doesn’t do that on the Forum.) See the Sandbox.

10. • CommentRowNumber10.
    • CommentAuthorTobyBartels
    • CommentTimeAug 22nd 2012
    • PermaLink
    Author: TobyBartels
    Format: MarkdownItexDespite my complaints, thanks for the work-around!

    Despite my complaints, thanks for the work-around!

11. • CommentRowNumber11.
    • CommentAuthorAndrew Stacey
    • CommentTimeAug 22nd 2012
    • PermaLink
    Author: Andrew Stacey
    Format: MarkdownItexI thought that `\displaystyle` was now working as it should: <http://golem.ph.utexas.edu/forum/forums/itex2mml/topics/bugs#post_121> (There may well be differences between the forum and the lab. I'll try to update the forum's version of itex soon.)

    I thought that \displaystyle was now working as it should:

    http://golem.ph.utexas.edu/forum/forums/itex2mml/topics/bugs#post_121

    (There may well be differences between the forum and the lab. I’ll try to update the forum’s version of itex soon.)

12. • CommentRowNumber12.
    • CommentAuthorTobyBartels
    • CommentTimeAug 23rd 2012
    • PermaLink
    Author: TobyBartels
    Format: MarkdownItexI think that `\displaystyle` *is* working on the Forum.

    I think that \displaystyle is working on the Forum.

13. • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeAug 23rd 2012
    • (edited Aug 23rd 2012)
    • PermaLink
    Author: zskoda
    Format: MarkdownItexBut firefox is partly an open project and they also have a system of reporting and numbering known bugs, not ? Can somebody file the bug ?

    But firefox is partly an open project and they also have a system of reporting and numbering known bugs, not ? Can somebody file the bug ?