../../lib/texinputs/isabellesym.sty