On 2 October 2015 at 23:29, Oliver Heimlich <oh...@posteo.de> wrote: > Please note that my definition of 2713 is wrong, because I couldn't > figure out how to produce a check mark in Tex.
It depends on what glyphs are available in the fonts. The best I could come up with for a tick was the radical sign.
test.dvi
Description: TeX dvi file
test.texi
Description: TeXInfo document
