Re: LSR, Latex, UTF-8

[Werner LEMBERG]

> For example, the down-arrow as a mark in
> http://lsr.dsi.unimi.it/LSR/Item?id=433

texinfo doesn't provide a definition for U+2193 because it doesn't
define \downarrow.  However, this is defined in plain TeX, thus
adding something like

  @tex
  \DeclareUnicodeCharacter{2193}{\downarrow}
  @end tex

in the limbo might help.  This is untested, of course.


    Werner