Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Rather, it looks like your edit (here) made explicit again that objects are pointed.
Strictly speaking, since the notation that you removed is that which is being introduced a few lines above, it is less consistent now than it was before. But it’s not a big deal either way.
I have fixed the tikz
-rendering in the section The free loop space object by adding missing whitespace.
Also I have added the missing link to the dedicated entry free loop space object.
There would be much room to harmonize this, but I’ll leave it as is for the time being.
1 to 4 of 4