Каир сам по себе не выполняет «формул» - он может работать с полным набором символов Юникода, но я думаю, что поддержка текста лучше, если вы используете библиотеку «Панго» вместе с Каиром.
Какдля импорта векторного формата есть «librsvg», который работает вместе с cairo, позволяя использовать его для рендеринга файлов SVG - это позволяет другим библиотекам - возможно, самому Tex, отображать сами математические формулы.
Что касается картинок, да, Cairo может импортировать и рисовать растровые изображения на себе.
У меня есть пример использования librsvg с Cairo в этом ответе , хотя он написан на Python, а не на C. Вам придется искать онлайн-документы по обеим библиотекам, чтобы получить примерыэто работало в C. (я помню, были такие, потому что не было примеров Python, я должен был заставить этот работать из примеров, приведенных в C).