Sorry for joking in #2, I should have known that this doesn’t work on the web. But this was after a day of intense nLab editing. I felt I could be excused for leaving it at that. Will not do this again.
]]>Hopefully this works.
]]>Usually I would either revert to html code (Lindelöf), or I would do a copy-and-paste from an earlier umlaut (Lindelöf).
]]>I don’t have Umlaute on my keyboard anymore. Arabic, yes, Umlaute no.
]]>brief category:people
-entry for hyperlinking references